Third International Workshop on
Recent Advances in Concurrency and Logic
RADICAL 2023
Antwerp (Belgium), September 18, 2023
MOTIVATION AND SCOPE
Following the success of the first two editions in 2017 and 2019, RADICAL proposes a workshop aligned within the intersection between concurrency and logic, broadly construed. Admittedly broad, such an intersection has been explored from very diverse angles for many years now. More recently, the interplay of concurrency and logic with areas/applications such as, for instance,
design, verification, synthesis for concurrent systems, both qualitative and quantitative;
strategic reasoning for distributed and multi-agent systems;
analysis and validation techniques for concurrent and distributed programs and systems (e.g., separation logic, advanced type systems, and runtime verification techniques);
has received much attention, as witnessed by recent CONCUR editions. These areas/applications have become increasingly consolidated, and start to have profound impact in neighboring communities such as
programming languages
artificial intelligence
computer security
knowledge representation
As an unfortunate side effect, however, the important unifying role that concurrency plays in all of them seems hard to find in a single scientific event. Indeed, there do not seem to exist appropriate venues in which different research communities interested in concurrency and logic can meet closely, cross-fertilize, and share their most exciting recent results. RADICAL intends to fill a gap between CONCUR researchers that now also typically publish and interact in other different venues; it also aims at attracting researchers from neighboring communities whose work naturally intersects with CONCUR.
AN INNOVATIVE FORMAT: BACK TO THE BASICS
RADICAL will offer an innovative format for a one-day workshop for researchers involved in all aspects of concurrency and logic including, but not limited to, the areas mentioned above.
Distinctive innovative aspects of RADICAL include:
Format:
RADICAL will feature a combination of invited and (short) contributed talks.
We would like to recover the informal character of scientific workshops.
Focus:
Rather than regular paper submissions, authors should submit talk proposals (up to 3 pages). See the submission page for details.
No proceedings:
RADICAL will be an informal venue, oriented to interaction, and so it will have no formal proceedings.
INVITED SPEAKERS
Natasha Alechina (Utrecht University, NL)
Damiano Mazza (CNRS and LIPN, Université Sorbonne Paris Nord, FR)
IMPORTANT DATES
Submission deadline: 30 June 2023 6 July 2023
Notification to authors: 28 July 2023 31 July 2023
Workshop: Monday, 18 September 2023, in Antwerp (Belgium).
ORGANIZERS
Giuseppe Perelli (Sapienza University of Rome, Italy, PC Co-Chair)
Jorge A. Pérez (University of Gronigen, The Netherlands, PC Co-Chair)
PROGRAM COMMITTEE
Antonis Achilleos, Reykjavik University
Natasha Alechina, Utrecht University
Benedikt Bollig, LSV, ENS Cachan, CNRS
Patricia Bouyer, CNRS & ENS Paris-Saclay
James Brotherston, University College London
Marco Carbone, IT University of Copenhagen
Zoé Christoff, University of Groningen
Emanuele D'Osualdo, Max Planck Institute for Software Systems
Ornela Dardha, School of Computing Science -- University of Glasgow
Valeria de Paiva, Samsung Research America and University of Birmingham
Mariangiola Dezani-Ciancaglini, Dipartimento di Informatica, Università di Torino
Claudio Di Ciccio, Sapienza University of Rome
Adrian Francalanza, University of Malta
Julian Gutierrez, Monash University
Paul Harrenstein, University of Oxford
Ross Horne, University of Luxembourg
Tobias Kappé, Open University of the Netherlands and ILLC, University of Amsterdam
Robbert Krebbers, Radboud University Nijmegen
Munyque Mittelmann, University of Naples Federico II
Daniele Nantes-Sobrinho, Imperial College London
Giuseppe Perelli, Sapienza University of Rome (co-chair)
Jorge Perez, University of Groningen (co-chair)
Anna Philippou, University of Cyprus
Elaine Pimentel, UCL
Sophie Pinchinat, IRISA Rennes
Nir Piterman, University of Gothenburg
Sasha Rubin, The University of Sydney
Bernardo Toninho, Universidade Nova de Lisboa and NOVA-LINCS
Philip Wadler, The University of Edinburgh