About us

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. RADICAL will be an informal venue, oriented to interaction, with no formal proceedings.

Important Dates

Fri, Jun 5, 2026
Abstract registration deadline
Fri, Jun 5, 2026
Submission deadline

Call For Paper

Programming Languages
Knowledge Representation
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

We invite submissions describing talk proposals on the intersection of logic and concurrency, including reports of ongoing work, summaries of published papers, PhD thesis overviews, research project descriptions, or manifestos.

Committee

PC Co-Chairs

Dan Frumin

University of Groningen, The Netherlands

Muhammad Najib

Heriot-Watt University, UK

Speakers

Gethin Norman

University of Glasgow

Ana Sokolova

University of Salzburg