[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
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://urldefense.com/v3/__https://sites.google.com/site/radicalconcur__;!!IBzWLUs!RdsbC8N8hWI5BinRxJV4xrhzr_8JdOAhPR0tnXjCow5pb8BCJB_F0OUJaA1tw4T1vGwyHDVYYCvYog0mkGISSWu5N6LXC8Da$
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://urldefense.com/v3/__https://sites.google.com/site/radicalconcur/Home/program?authuser=0__;!!IBzWLUs!RdsbC8N8hWI5BinRxJV4xrhzr_8JdOAhPR0tnXjCow5pb8BCJB_F0OUJaA1tw4T1vGwyHDVYYCvYog0mkGISSWu5NwXvoWAx$
Registration Fees
=================
Early (until July 25): €100 (Regular) / €80 (Student)
Late (from July 26): €120 (Regular) / €100 (Student)
Details:
https://urldefense.com/v3/__https://conferences.au.dk/confest2025/registration__;!!IBzWLUs!RdsbC8N8hWI5BinRxJV4xrhzr_8JdOAhPR0tnXjCow5pb8BCJB_F0OUJaA1tw4T1vGwyHDVYYCvYog0mkGISSWu5N0YzY6dm$
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.
