Committees
Program Committee
- Boris Konev, University of Liverpool, UK (PC co-chair)
- Claudia Schon, University of Koblenz-Landau, DE (PC co-chair)
- Alexander Steen, University of Greifswald, DE (PC co-chair)
- Simon Cruanes, Imandra, US
- Hans de Nivelle, Nazarbayev University, KZ
- Gabriel Ebner, Vrije Universiteit Amsterdam, NL
- Pascal Fontaine, Université de Liège, BE
- Ulrich Furbach, University of Koblenz, DE
- Cezary Kaliszyk, University of Innsbruck, AT
- Daniel Le Berre, CNRS - Université d’Artois, FR
- Ondrej Lengal, Brno University of Technology, CZ
- Tomer Libal, American University of Paris, FR and University of Luxembourg, LU
- Cláudia Nalon, University of Brasília, BR
- Jens Otten, University of Oslo, NO
- Philipp Ruemmer, Uppsala University, SE
- Renate A. Schmidt, The University of Manchester, UK
- Stephan Schulz, DHBW Stuttgart, DE
- Mihaela Sighireanu, ENS Paris-Saclay and CNRS, FR
- Frieder Stolzenburg, Harz University of Applied Sciences, DE
- Martin Suda, Czech Technical University in Prague, CZ
- Sophie Tourret, Inria and MPI for Informatics, DE
- Petar Vukmirović, Vrije Universiteit Amsterdam, NL
- Sarah Winkler, Free University of Bolzano-Bozen, IT
- Aleksandar Zeljić, Stanford University, US
PAAR Steering Committee