[DMANET] [RADICAL 2026] Call for talk proposals — deadline extended to 12 June

================================================================== CALL FOR TALK PROPOSALS — DEADLINE EXTENDED RADICAL 2026 Fifth International Workshop on Recent Advances in Concurrency and Logic Website: https://sites.google.com/site/radicalconcur Date: Saturday, 5 September 2026 Location: Liverpool, UK Co-located with CONFEST 2026 Submission: https://easychair.org/conferences/?conf=radical2026 ++ IMPORTANT DATES Extended submission deadline: Friday, 12 June 2026 (AoE) Notification to authors: Friday, 10 July 2026 Workshop: Saturday, 5 September 2026 ++ INVITED SPEAKERS Gethin Norman (University of Glasgow) Ana Sokolova (University of Salzburg) ++ MOTIVATION AND SCOPE Concurrency and logic are central to the modelling, analysis, and verification of complex computational systems. They provide foundations and tools for reasoning about distributed, interactive, strategic, and intelligent behaviour. RADICAL aims to bring together researchers working at the intersection of concurrency, logic, and neighbouring areas, including artificial intelligence, multi-agent systems, programming languages, verification, and computer security. The workshop is intended as an informal and interactive venue for exchanging recent results, early-stage ideas, and broader perspectives on current and future challenges. We particularly welcome submissions related to the intersection of concurrency, logic, and: * modern AI and learning-enabled systems, including verification and synthesis of autonomous systems, neuro-symbolic reasoning, and multi-agent workflows; * concurrent and distributed systems, including qualitative and quantitative verification and synthesis; * multi-agent systems, including strategic reasoning, distributed decision making, and knowledge representation; * program analysis and semantics, including type systems, separation logic, runtime verification, and validation techniques for concurrent and distributed programs. Topics of interest include, but are not limited to: * concurrency theory; * formal models for communication-based and distributed systems; * logics for concurrency; * logics for verification of multi-agent systems; * logical foundations of decision theory; * programming languages and semantics; * verification and synthesis; * quantitative and probabilistic models; * applications of logic and concurrency in AI, security, and distributed systems. ++ SUBMISSION GUIDELINES RADICAL has an informal format centred on interaction and discussion. Rather than full research papers, we invite short talk proposals. Submissions should be in PDF, up to 2 pages excluding references, using the standard EasyChair format. A submission to RADICAL may, for example, be: * a report on ongoing work or preliminary results; * a summary of an already published paper, or series of papers; * an overview of a recent PhD thesis, research project, or consortium; * a manifesto, call to action, or personal view on current and future challenges; * a discussion of an interesting but underrepresented problem. This list is indicative rather than exhaustive. Submissions based on already published work should include explicit references or links where appropriate. Submissions will be judged by the programme committee on the basis of significance, relevance, and potential to support an engaging talk and discussion at the workshop. Submissions from PC members are welcome. Submission link: https://easychair.org/conferences/?conf=radical2026 ++ NO PROCEEDINGS RADICAL is an informal venue and will have no formal proceedings. This makes it a suitable place to present early-stage ideas, recent published work, and perspectives intended to encourage discussion and cross-fertilisation between communities. ++ ATTENDANCE POLICY RADICAL 2026 is planned as an in-person workshop in Liverpool. For each accepted submission, at least one co-author is expected to register, attend the workshop, and present the talk. ++ DIVERSITY AND INCLUSION RADICAL is committed to fostering an inclusive and welcoming environment. We strongly encourage submissions from researchers of all backgrounds, especially those from underrepresented groups in theoretical computer science and related areas. ++ WORKSHOP CO-CHAIRS Dan Frumin (University of Groningen, The Netherlands) Muhammad Najib (Heriot-Watt University, UK) ++ PROGRAMME COMMITTEE Antonis Achilleos (Reykjavik University, Iceland) Henning Basold (LIACS, Leiden University, The Netherlands) Marco Bernardo (University of Urbino, Italy) Benedikt Bollig (CNRS, LSV, ENS Paris-Saclay, France) James Brotherston (University College London, UK) Georgiana Caltais (University of Twente, The Netherlands) Marco Carbone (IT University of Copenhagen, Denmark) Valentina Castiglioni (Eindhoven University of Technology, The Netherlands) Mariangiola Dezani-Ciancaglini (University of Turin, Italy) Hannah Gommerstadt (Vassar College, USA) Simon Gregersen (CISPA Helmholtz Center for Information Security, Germany) Julian Gutierrez (University of Sussex, UK) Tobias Kappé (Open University of the Netherlands, The Netherlands) Robbert Krebbers (Radboud University, The Netherlands) Damiano Mazza (CNRS, LIPN, Université Sorbonne Paris Nord, France) Tobias Meggendorfer (Lancaster University Leipzig, Germany) Luca Padovani (University of Bologna, Italy) Giuseppe Perelli (Sapienza University of Rome, Italy) Elaine Pimentel (University College London, UK) Jorge A. Pérez (University of Groningen, The Netherlands) Daniel Stan (LRDE, EPITA, France) Valeria de Paiva (Topos Institute, USA and University of Birmingham, UK) Jana Wagemaker (Radboud University, The Netherlands) ++ CONTACT For questions about the workshop or the submission process, please contact the organisers at: m.najib@hw.ac.uk<mailto:m.najib@hw.ac.uk> ________________________________ Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences. This email is generated from the Heriot-Watt University Group, which includes: 1. Heriot-Watt University, a Scottish charity registered under number SC000278 2. Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS. The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then delete it (including any attachments) from your system. ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************