We are delighted to invite you to participate in the Fourth International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2025), co-located with CONFEST 2025 in Aarhus, Denmark, on Monday, August 25, 2025.
Workshop website: https://sites.google.com/site/radicalconcur
About the Workshop
==================
RADICAL brings together researchers working at the intersection of concurrency and logic, broadly construed. Topics of interest include (but are not limited to):
Design, verification, and synthesis of concurrent systems
Strategic reasoning in distributed and multi-agent systems
Advanced type systems, separation logic, and runtime verification
Applications in programming languages, AI, security, and knowledge representation
The workshop aims to foster cross-community dialogue and highlight concurrency as a unifying theme across diverse research areas.
Invited Speakers
================
Bahareh Afshari (University of Gothenburg)
Lars Birkedal (Aarhus University)
Tentative Programme
===================
Available here: https://sites.google.com/site/radicalconcur/Home/program?authuser=0
Registration Fees
=================
Early (until July 25): €100 (Regular) / €80 (Student)
Late (from July 26): €120 (Regular) / €100 (Student)
Details: https://conferences.au.dk/confest2025/registration
If you have any questions or need further information, feel free to contact us at: m.najib 'at' hw.ac.uk
Please feel free to share this announcement with anyone who might be interested.
We look forward to welcoming you in Aarhus!
Kind regards,
Dan Frumin, Muhammad Najib, and Jorge Pérez
RADICAL 2025 Co-Chairs
________________________________
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/
*
**********************************************************