Program Committee

• Andreas Abel, University of Gothenburg, Sweden
• Zena M. Ariola, University of Oregon, USA
• Jeremy Avigad, Carnegie Mellon University, USA
• Christel Baier, Technische Universität Dresden, Germany (co-chair)
• Jasmin Blanchette, Vrije Universiteit Amsterdam, the Netherlands
• Jean Goubault-Larrecq, ENS Paris-Saclay, France (co-chair)
• Masahito Hasegawa, Kyoto University, Japan
• Jean-Baptiste Jeannin, University of Michigan, USA
• Michael Kaminski, Technion Haifa, Israel
• Delia Kesner, Université de Paris, France
• Laura Kovács, Vienna University of Technology, Austria
• Martin Lange, University of Kassel, Germany
• Sławomir Lasota, Warsaw University, Poland
• Florin Manea, Georg-August-Universität Göttingen, Germany
• Stefan Milius, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany
• Antoine Mottet, Charles University, Czech Republic
• Andrzej Murawski, University of Oxford, UK
• Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brasil
• Sophie Pinchinat, IRISA Rennes, France
• Simona Ronchi Della Rocca, Università di Torino, Italy
• Krishna S, IIT Bombay, India
• Peter Selinger, Dalhousie University, Canada
• Sebastian Siebertz, Universität Bremen, Germany
• Alex Simpson, University of Ljubljana, Slovenia (organizer)
• Marie Van Den Bogaard, Université Libre de Bruxelles
• Yde Venema, Universiteit van Amsterdam, the Netherlands

Local organising Committee:

• Alex Simpson (University of Ljubljana, chair)
• Andrej Bauer (University of Ljubljana)
• Danel Ahman (University of Ljubljana)

Local technical support:

• Katja Berčič (University of Ljubljana)
• Filip Koprivec (University of Ljubljana)
• Anja Petković (University of Ljubljana)
• Egbert Rijke (University of Ljubljana)