RADICAL 2025

A workshop co-located with CONFEST 2025

Aarhus (Denmark), August 25, 2025

MOTIVATION AND SCOPE

Following the success of the first three editions in 2017, 2019, and 2023 RADICAL proposes a workshop aligned within the intersection between concurrency and logic, broadly construed. Admittedly broad, such an intersection has been explored from very diverse angles for many years now. More recently, the interplay of concurrency and logic with areas/applications such as, for instance,

• design, verification, synthesis for concurrent systems, both qualitative and quantitative;

• strategic reasoning for distributed and multi-agent systems;

• analysis and validation techniques for concurrent and distributed programs and systems (e.g., separation logic, advanced type systems, and runtime verification techniques);

has received much attention, as witnessed by recent CONCUR editions. These areas/applications have become increasingly consolidated, and start to have profound impact in neighboring communities such as

• programming languages

• artificial intelligence

• computer security

• knowledge representation

As an unfortunate side effect, however, the important unifying role that concurrency plays in all of them seems hard to find in a single scientific event. Indeed, there do not seem to exist appropriate venues in which different research communities interested in concurrency and logic can meet closely, cross-fertilize, and share their most exciting recent results. RADICAL intends to fill a gap between CONCUR researchers that now also typically publish and interact in other different venues; it also aims at attracting researchers from neighboring communities whose work naturally intersects with CONCUR.

AN INNOVATIVE FORMAT: BACK TO THE BASICS

RADICAL will offer an innovative format for a one-day workshop for researchers involved in all aspects of concurrency and logic including, but not limited to, the areas mentioned above.

Distinctive innovative aspects of RADICAL include:

Format: 

• RADICAL will feature a combination of invited and (short) contributed talks. 

• We would like to recover the informal character of scientific workshops.

Focus: 

• Rather than regular paper submissions, authors should submit talk proposals (up to 2 pages, excluding references). 

• See the submission page for details. 

No proceedings: 

• RADICAL will be an informal venue, oriented to interaction, and so it will have no formal proceedings.

INVITED SPEAKERS

• Bahareh Afshari (Gothenburg)

• Lars Birkedal (Aarhus)

IMPORTANT DATES

• Submission deadline (extended): June 5, 2025

• Notification to authors: July 4, 2025

• Workshop: Monday,  August 25 in Aarhus (Denmark)

ORGANIZERS

• Dan Frumin (University of Groningen, The Netherlands, PC Co-Chair)

• Muhammad Najib (Heriot-Watt University, UK, PC Co-Chair)

• Jorge A. Pérez (University of Groningen, The Netherlands, PC Co-Chair)

PROGRAM 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)

• Ornela Dardha (University of Glasgow, UK)

• Mariangiola Dezani-Ciancaglini (University of Turin, Italy)

• Bernd Finkbeiner (Saarland University, Germany)

• Adrian Francalanza (University of Malta, Malta)

• Dan Frumin (University of  Groningen, The Netherlands)

• Hannah Gommerstadt (Vassar College, USA)

• Simon Gregersen (New York University, USA)

• Julian Gutierrez (University of Sussex, UK)

• Tobias Kappé (LIACS, Leiden University, The Netherlands)

• Robbert Krebbers (Radboud University, The Netherlands)

• Damiano Mazza (CNRS, LIPN, Université Sorbonne Paris Nord, France)

• Tobias Meggendorfer (Lancaster University Leipzig, Germany)

• Muhammad Najib (Heriot-Watt University, UK)

• Luca Padovani (University of Bologna, Italy)

• Giuseppe Perelli (Sapienza University of Rome, Italy)

• Elaine Pimentel (University College London, UK)

• Sophie Pinchinat (IRISA Rennes, France)

• Nir Piterman (University of Gothenburg, Sweden)

• Jorge A. Pérez (University of Groningen, The Netherlands)

• Daniel Stan (LRDE, Epita Paris, France)

• Bernardo Toninho (NOVA University Lisbon, Portugal)

• Philip Wadler (University of Edinburgh, UK)

• Jana Wagemaker (University College London, UK)

• Valeria de Paiva (Topos Institute, USA and University of Birmingham, UK)