[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==================================================================
CALL FOR TALK PROPOSALS — DEADLINE EXTENDED
RADICAL 2026
Fifth International Workshop on Recent Advances in Concurrency and Logic
Website:
https://urldefense.com/v3/__https://sites.google.com/site/radicalconcur__;!!IBzWLUs!QvDbFyMwg-O7YfDaPbMMiMxI8I8ph9Tsj2JgXS08VjIlSvfcjxqNX-Jj57-0-_xYm7awcKpYhVpwFX2fwdWv2pCEcsYBOhtf$
Date: Saturday, 5 September 2026
Location: Liverpool, UK
Co-located with CONFEST 2026
Submission:
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=radical2026__;!!IBzWLUs!QvDbFyMwg-O7YfDaPbMMiMxI8I8ph9Tsj2JgXS08VjIlSvfcjxqNX-Jj57-0-_xYm7awcKpYhVpwFX2fwdWv2pCEcuCtbC_j$
++ 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://urldefense.com/v3/__https://easychair.org/conferences/?conf=radical2026__;!!IBzWLUs!QvDbFyMwg-O7YfDaPbMMiMxI8I8ph9Tsj2JgXS08VjIlSvfcjxqNX-Jj57-0-_xYm7awcKpYhVpwFX2fwdWv2pCEcuCtbC_j$
++ 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:
[email protected]<mailto:[email protected]>
________________________________
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.
