Second Workshop on
Recent Advances in Concurrency and Logic
RADICAL 2019
ORGANIZERS
Ornela Dardha (University of Glasgow, UK)
Giuseppe Perelli (University of Göteborg, Sweden)
INVITED SPEAKERS
Marieke Huisman (University of Twente, NL)
Johan van Benthem (ILLC University of Amsterdam, NL / Stanford University, USA)
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 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 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)