Committees
Program Committee
- Cláudia Nalon, University of Brasília, BR (PC co-chair)
- Martin Suda, Czech Technical University in Prague, CZ (PC co-chair)
- Márton Hajdu, TU Wien, AT (PC co-chair)
- Hans de Nivelle, Nazarbayev University, KZ
- Mathias Fleury, University of Freiburg, DE
- Pascal Fontaine, Université de Liège, BE
- Ulrich Furbach, University of Koblenz, DE
- Jan Jakubuv, Czech Technical University in Prague, CZ
- Cezary Kaliszyk, University of Melbourne, AU
- Daniela Kaufmann, TU Wien, AT
- Boris Konev, University of Liverpool, UK
- Daniel Le Berre, CNRS - Université d’Artois, FR
- Ondrej Lengal, Brno University of Technology, CZ
- Tomer Libal, Enidia AI, LU
- Michael Rawson, University of Southampton, UK
- Philipp Ruemmer, University of Regensburg, DE and Uppsala University, SE
- Renate A. Schmidt, The University of Manchester, UK
- Stephan Schulz, DHBW Stuttgart, DE
- Frieder Stolzenburg, Harz University of Applied Sciences, DE
- Geoff Sutcliffe, University of Miami, US
- Sophie Tourret, Inria, FR and MPI for Informatics, DE
- Zsolt Zombori, HUN-REN Alfréd Rényi Institute of Mathematics, HU
Steering Committee