Second International Workshop on
Recent Advances in Concurrency and Logic
RADICAL 2019
Amsterdam (The Netherlands), August 26, 2019
Latest NEWS
August 3, 2019: Workshop programme is online.
July 22, 2019: Invited speakers abstracts online.
July 5, 2019: Registration is open, see the secure registration form.
Early registration deadline: July 7, 2019, August 1, 2019 (AoE)
MOTIVATION AND SCOPE
Following the success of the first edition in 2017, 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 three-page talk proposals.
No proceedings:
RADICAL will be an informal venue, oriented to interaction, and so it will have no formal proceedings.
INVITED SPEAKERS
Marieke Huisman (University of Twente, NL)
Johan van Benthem (ILLC University of Amsterdam, NL / Stanford University, USA)
IMPORTANT DATES
Submission deadline: Friday, 21 June 2019 Friday, 5 July, 2019 (Deadline extended!)
Notification to authors: Friday, 26 July, 2019
Workshop: Monday, 26 August 2019, in Amsterdam.
ORGANIZERS
Ornela Dardha (University of Glasgow, UK, PC Co-Chair)
Giuseppe Perelli (University of Göteborg, Sweden, PC Co-Chair)
PROGRAM COMMITTEE
Antonis Achilleos (Reykjavik University, Iceland)
Natasha Alechina (University of Nottingham, UK)
Stephanie Balzer (Carnegie Mellon University, USA)
Benedikt Bollig (CNRS, LSV, ENS Paris-Saclay, France)
Edwin Brady (University of St. Andrews, UK)
James Brotherston (University College London, UK)
Krishnendu Chatterjee (IST, Austria)
Silvia Crafa (University of Padua, Italy)
Ornela Dardha (University of Glasgow, UK, PC Co-Chair)
Valeria de Paiva (Samsung Research America and University of Birmingham, UK)
Mariangiola Dezani (University of Torino, Italy)
Emmanuel Filiot (Université libre de Bruxelles and FNRS, Belgium)
Bernd Finkbeiner (University of Saarland, Germany)
Adrian Francalanza (University of Malta)
Julian Gutierrez (University of Oxford, UK)
Paul Harrenstein (University of Oxford, UK)
Sophia Knight (University of Minnesota Duluth, USA)
Orna Kupferman (Hebrew University, Israel)
Garrett Morris (University of Kansas, USA)
Aniello Murano (University of Naples, Italy)
Giuseppe Perelli (University of Göteborg, Sweden, PC Co-Chair)
Anna Philippou (University of Cyprus, Cyprus)
Elaine Pimentel (UFRN, Brazil)
Sophie Pinchinat (IRISA Rennes, France)
Nir Piterman (University of Göteborg, Sweden)
Jorge A. Perez (University of Groningen, The Netherlands)
Bernardo Toninho (NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa, Portugal)
Philip Wadler (University of Edinburgh, UK)