Committees

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

Organization Committee:

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