| Erika AbrahamIdentity not yet linked | Program Committee |
RWTH Aachen University
| Conference website ↗Checked 2026-09-13 |
| Carlos AnsóteguiIdentity not yet linked | Program Committee |
Universitat de Lleida
| Conference website ↗Checked 2026-09-13 |
| Olaf Beyersdorff | Program Committee |
Friedrich Schiller University Jena
| Conference website ↗Checked 2026-09-13 |
| Armin Biere | Program Committee |
University of Freiburg
| Conference website ↗Checked 2026-09-13 |
| Nikolaj BjørnerIdentity not yet linked | Program Committee |
Microsoft
| Conference website ↗Checked 2026-09-13 |
| Bart BogaertsIdentity not yet linked | Program Committee |
KU Leuven
| Conference website ↗Checked 2026-09-13 |
| Ilario BonacinaIdentity not yet linked | Program Committee |
UPC Universitat Politecnica de Catalunya
| Conference website ↗Checked 2026-09-13 |
| Shaowei CaiIdentity not yet linked | Program Committee |
Institute of Software, Chinese Academy of Sciences
Institute of Software · Chinese Academy of Sciences
| Conference website ↗Checked 2026-09-13 |
| Supratik ChakrabortyIdentity not yet linked | Program Committee |
IIT Bombay
| Conference website ↗Checked 2026-09-13 |
| Leroy ChewIdentity not yet linked | Program Committee |
University of Leeds
| Conference website ↗Checked 2026-09-13 |
| Katalin FazekasIdentity not yet linked | Program Committee |
TU Wien
| Conference website ↗Checked 2026-09-13 |
| Johannes K. FichteIdentity not yet linked | Program Committee |
Linköping University
| Conference website ↗Checked 2026-09-13 |
| Noah FlemingIdentity not yet linked | Program Committee |
Memorial University
| Conference website ↗Checked 2026-09-13 |
| Mathias FleuryIdentity not yet linked | Program Committee |
University of Freiburg
| Conference website ↗Checked 2026-09-13 |
| Priyanka GoliaIdentity not yet linked | Program Committee |
Indian Institute of Technology Delhi
| Conference website ↗Checked 2026-09-13 |
| Marijn Heule | Program Committee |
Carnegie Mellon University
| Conference website ↗Checked 2026-09-13 |
| Markus IserIdentity not yet linked | Program Committee |
Karlsruhe Institute of Technology
| Conference website ↗Checked 2026-09-13 |
| Jie-Hong Roland Jiang | Program Committee |
National Taiwan University, Taiwan
| Conference website ↗Checked 2026-09-13 |
| Matti JärvisaloIdentity not yet linked | Program Committee |
University of Helsinki
| Conference website ↗Checked 2026-09-13 |
| George KatsirelosIdentity not yet linked | Program Committee |
MIA Paris, INRAE, AgroParisTech
Mathématiques et Informatique Appliquées · Institut National de Recherche pour l'Agriculture, l'Alimentation et l'Environnement · AgroParisTech
| Conference website ↗Checked 2026-09-13 |
| Daniela KaufmannIdentity not yet linked | Program Committee |
TU Wien
| Conference website ↗Checked 2026-09-13 |
| Massimo LauriaIdentity not yet linked | Program Committee |
Sapienza University of Rome
| Conference website ↗Checked 2026-09-13 |
| Daniel Le BerreIdentity not yet linked | Program Committee |
CNRS - Université d’Artois
| Conference website ↗Checked 2026-09-13 |
| Jordi LevyIdentity not yet linked | Program Committee |
IIIA - CSIC
| Conference website ↗Checked 2026-09-13 |
| Meena MahajanIdentity not yet linked | Program Committee |
The Institute of Mathematical Sciences, HBNI, Chennai
The Institute of Mathematical Sciences · Homi Bhabha National Institute
| Conference website ↗Checked 2026-09-13 |
| Stefan MengelIdentity not yet linked | Program Committee |
CNRS, CRIL
CNRS · Centre de Recherche en Informatique de Lens
| Conference website ↗Checked 2026-09-13 |
| Aina NiemetzIdentity not yet linked | Program Committee |
Stanford University
| Conference website ↗Checked 2026-09-13 |
| Albert OliverasIdentity not yet linked | Program Committee |
Universitat Politècnica de Catalunya
| Conference website ↗Checked 2026-09-13 |
| Kristin Yvonne Rozier | Program Committee |
Iowa State University
| Conference website ↗Checked 2026-09-13 |
| Andre SchidlerIdentity not yet linked | Program Committee |
Uni Freiburg
| Conference website ↗Checked 2026-09-13 |
| Tanja SchindlerIdentity not yet linked | Program Committee |
University of Basel
| Conference website ↗Checked 2026-09-13 |
| Dominik SchreiberIdentity not yet linked | Program Committee |
Karlsruhe Institute of Technology
| Conference website ↗Checked 2026-09-13 |
| Roberto SebastianiIdentity not yet linked | Program Committee |
University of Trento
| Conference website ↗Checked 2026-09-13 |
| Martina SeidlIdentity not yet linked | Program Committee |
Johannes Kepler University Linz
| Conference website ↗Checked 2026-09-13 |
| Laurent SimonIdentity not yet linked | Program Committee |
Labri, Bordeaux Institute of Technology
Laboratoire Bordelais de Recherche en Informatique · Bordeaux Institute of Technology
| Conference website ↗Checked 2026-09-13 |
| Friedrich Slivovsky | Program Committee |
University of Liverpool
| Conference website ↗Checked 2026-09-13 |
| Takehide SohIdentity not yet linked | Program Committee |
Information Science and Technology Center, Kobe University
Information Science and Technology Center · Kobe University
| Conference website ↗Checked 2026-09-13 |
| Stefan Szeider | Program Committee |
TU Wien
| Conference website ↗Checked 2026-09-13 |
| Marc VinyalsIdentity not yet linked | Program Committee |
University of Auckland
| Conference website ↗Checked 2026-09-13 |