[TYPES/announce] CFP: RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025

[Najib, Muhammad]

==================================================================
Fourth International Workshop on Recent Advances in Concurrency and
Logic (RADICAL 2025)

https://urldefense.com/v3/__https://sites.google.com/site/radicalconcur__;!!IBzWLUs!QqtXY_hntYqSK58yY6qo8-A7weaNwMPUDOyo5VdIyXPYnm25G1BsKGOX3ZV_aBp4Uwc_-dwYDM9ciCpz76TwkKdpAX5HhKzn$ 

Aarhus (Denmark), August 25, 2025
(co-located with CONCUR 2025)

Submission deadline:
*Friday, 30 May 2025*

Invited speakers:
- Bahareh Afshari (University of Gothenburg)
- Lars Birkedal (Aarhus University)
==================================================================

++ SCOPE AND TOPICS
Concurrency and Logic are prominent research areas in theoretical computer science, offering extensive literature on reasoning about intelligent and distributed systems. Recently, their interplay with:

- Design, verification, and synthesis for concurrent systems (qualitative and quantitative).
- Strategic reasoning for distributed and multi-agent systems.
- Analysis and validation techniques for concurrent and distributed programs (e.g., advanced type systems, separation logics).

has gained significant attention, as seen in recent AI conferences. These areas share the challenge of developing novel theories and tools for automated reasoning in concurrent and multi-agent systems.

The workshop aims to unite researchers in logic and concurrency within AI, multi-agent systems, and computer science, promoting AI foundations in traditionally theoretical computer science communities.

Topics include, but are not limited to:

Concurrency Theory
Programming Languages and Semantics
Formal Models for Communication-based, Concurrent, and Distributed Systems
Logics in Concurrency
Logics for Verification of (Concurrent) Multi-agent Systems
Logical Foundations of Decision Theory for Multi-agent Systems
Knowledge Representation
Programming Languages


++ SUBMISSION GUIDELINES
Submitted contributions should be in PDF format, not exceeding 2 pages (excluding references), using the EasyChair format. Upload papers to EasyChair

https://urldefense.com/v3/__https://easychair.org/conferences/?conf=radical2025__;!!IBzWLUs!QqtXY_hntYqSK58yY6qo8-A7weaNwMPUDOyo5VdIyXPYnm25G1BsKGOX3ZV_aBp4Uwc_-dwYDM9ciCpz76TwkKdpAbITGtGm$ 

We invite submissions describing talk proposals on the intersection of logic and concurrency, including:

Ongoing work and preliminary results
Summaries of published papers
Overviews of PhD theses
Descriptions of research projects and consortia
Manifestos, calls to action, personal views on challenges
Overviews of underrepresented problems
This list is indicative, not exhaustive.

Submissions based on published works should include explicit references/links. Reviewers may read prior works but are not obliged to do so.

Submissions will be judged on significance, relevance, and potential for engaging talks. PC members are encouraged to submit.

For each accepted submission, one co-author must attend the workshop and present.

No Proceedings: RADICAL will be an informal venue focused on interaction, with no formal proceedings.

++ IMPORTANT DATES
** Submission deadline: 30 May 2025.
** Notification to authors: 4 July 2025.
** Workshop: 25 August 2025, in Aarhus (Denmark).

++ WORKSHOP CO-CHAIRS
Dan Frumin (University of Groningen, The Netherlands)
Muhammad Najib (Heriot-Watt University, UK)
Jorge A. Pérez (University of Groningen, The Netherlands)

++ PROGRAM COMITTEE
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)
Daniele Nantes Sobrinho (Imperial College London, 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)
________________________________

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250514/f0dbfe77/attachment-0001.htm>