==================================================================
Fourth International Workshop on Recent Advances in Concurrency and
Logic (RADICAL 2025)
https://sites.google.com/site/radicalconcur
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 Logics are two of the most active research areas in the
theoretical computer science domain. The literature in these fields is
extensive and provides a plethora of logics and models for reasoning
about intelligent and distributed systems. More recently, the interplay
of concurrency and logic with areas such as:
1. design, verification, synthesis for concurrent systems, both qualitative
and quantitative;
2. strategic reasoning for distributed and multi-agent systems;
3. analysis and validation techniques for concurrent and distributed programs,
such as advanced type systems and separation logics;
has received much attention, as witnessed by recent editions of AI
conferences. All these examples share the challenge of developing novel
theories and tools for automated reasoning that take into account the
behaviour of concurrent and multi-agent entities.
The workshop aims to bring together researchers working on different aspects
of logic and concurrency in AI, multi-agent systems, and computer science,
both from a theoretical and a practical point of view. Besides, it aims to
promote research on Foundation of AI in other research communities that are
traditionally Theoretical Computer Science-oriented.
The topics covered by the workshop include, but are not limited to, the
following:
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 not exceed 2 pages (not including references)
using the EasyChair format. Submitted papers should be formatted in PDF and
uploaded to
https://easychair.org/conferences/?conf=radical2025
We invite submissions describing talk proposals on the intersection of
logic and concurrency. A submission to RADICAL would typically fall within
one of the following categories:
reports of an ongoing work and/or preliminary results;
summaries of an already published paper (or series of papers);
overviews of (recent) PhD theses;
descriptions of research projects and consortia;
manifestos, calls to action, personal views on current and future challenges;
overviews of interesting yet underrepresented problems.
This list is by no means exhaustive but merely indicative.
Submissions based on already published works should include explicit references/links as appropriate. Reviewers may read such prior published works, but are not obliged to do so.
Submissions will be judged by the program committee on the basis of significance, relevance, and potential of an engaging, compelling talk at the workshop.
Submission from PC members is encouraged.
It is understood that for each accepted submission one of the co-authors will attend the workshop and give the talk.
No Proceedings: RADICAL will be an informal venue, oriented to interaction, so there will be 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)
________________________________
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/
*
**********************************************************
Posts
