[Apologies for cross-posting; please forward this call to interested parties] ================================================================== Call for Talk Proposals: RADICAL 2026 Fifth International Workshop on Recent Advances in Concurrency and Logic Website: https://sites.google.com/site/radicalconcur Date: September 5, 2026 Location: Liverpool, UK (Co-located with CONFEST 2026) ++ IMPORTANT DATES Submission deadline: Friday, 5 June 2026 (AoE) Notification to authors: Friday, 10 July 2026 (approx.) Workshop date: Saturday, 5 September 2026 ++ INVITED SPEAKERS Gethin Norman (University of Glasgow) Ana Sokolova (University of Salzburg) ++ MOTIVATION AND SCOPE Concurrency and Logics are two of the most active research areas in theoretical computer science, providing a plethora of models for reasoning about intelligent, distributed systems. Recently, the interplay of concurrency and logic with modern Artificial Intelligence has expanded dramatically. The RADICAL workshop aims to bring together researchers working on different aspects of logic and concurrency in AI, multi-agent systems, and computer science. We share the challenge of developing novel theories and tools for automated reasoning that account for the behaviour of concurrent and multi-agent entities. We particularly welcome submissions addressing the intersection of concurrency, logic, and: - Modern AI & Learning Systems: Verification and synthesis of learning-enabled systems, neuro-symbolic reasoning, and autonomous multi-agent workflows. - Concurrent Systems: Design, verification, and synthesis (both qualitative and quantitative). - Multi-Agent Systems: Strategic reasoning, distributed decision theory, and knowledge representation. - Program Analysis: Advanced type systems, separation logics, and validation techniques for concurrent and distributed programs. Topics covered include, but are not limited to: Concurrency Theory Formal models for communication-based and distributed systems Logics in concurrency Logics for verification of multi-agent systems Logical foundations of decision theory Programming languages and semantics ++ SUBMISSION GUIDELINES RADICAL offers an innovative, informal format heavily oriented toward interaction. Rather than full research papers, we invite short talk proposals. - Format: Up to 2 pages (excluding references) formatted in PDF using the standard EasyChair format. - Submission Link: https://easychair.org/conferences/?conf=radical2026 A submission to RADICAL would typically fall within one of the following categories: Reports of ongoing work and/or preliminary results Summaries of an already published paper (or series of papers) Overviews of (recent) PhD theses, research projects, or consortia Manifestos, calls to action, or personal views on future challenges Note: Submissions based on already published works should include explicit references/links. Submissions will be judged by the PC on the basis of significance, relevance, and the potential to deliver an engaging, compelling talk. Submissions from PC members are encouraged. ++ NO PROCEEDINGS RADICAL will be an informal venue. There will be no formal proceedings, making this an ideal space to present early-stage ideas and cross-pollinate with neighbouring communities. ++ ATTENDANCE POLICY RADICAL 2026 is planned as a highly interactive, in-person event in Liverpool. It is understood that for each accepted submission, at least one co-author will register, attend the workshop, and present the talk. ++ DIVERSITY & INCLUSION RADICAL is committed to fostering an inclusive and welcoming environment. We highly encourage submissions from researchers of all backgrounds, especially those from underrepresented groups in Theoretical Computer Science. ++ WORKSHOP CO-CHAIRS Dan Frumin (University of Groningen, The Netherlands) Muhammad Najib (Heriot-Watt University, UK) Contact: For any inquiries regarding the workshop or the submission process, please contact the organisers at: 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/ * **********************************************************