THE PEOPLE BEHIND THE CONFERENCE
SAT 2023
International Conference on Theory and Applications of Satisfiability Testing
Source-attributed rosters checked 2026-09-13. 41 collected records; 34 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
Local Organization
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Luca PulinaIdentity not yet linked | Local Organizer | University of Sassari | Conference website ↗Checked 2026-09-13 |
| Laura PandolfoIdentity not yet linked | Local Organizer | University of Sassari | Conference website ↗Checked 2026-09-13 |
| Dario GuidottiIdentity not yet linked | Local Organizer | University of Sassari | Conference website ↗Checked 2026-09-13 |
Program Chairs
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Meena MahajanIdentity not yet linked | Program Chair | IMSc Chennai | Conference website ↗Checked 2026-09-13 |
| Friedrich SlivovskyIdentity not yet linked | Program Chair | TU Wien | Conference website ↗Checked 2026-09-13 |
Program Committee
36 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Jeremias Berg | Program Committee | University of Helsinki | 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 Research | Conference website ↗Checked 2026-09-13 |
| Shaowei CaiIdentity not yet linked | Program Committee | Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Leroy ChewIdentity not yet linked | Program Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Johannes FichteIdentity not yet linked | Program Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Marijn Heule | Program Committee | Carnegie Mellon University | Conference website ↗Checked 2026-09-13 |
| Alexey Ignatiev | Program Committee | Monash University | Conference website ↗Checked 2026-09-13 |
| Markus IserIdentity not yet linked | Program Committee | University of Helsinki | Conference website ↗Checked 2026-09-13 |
| Mikoláš JanotaIdentity not yet linked | Program Committee | TU Prague | Conference website ↗Checked 2026-09-13 |
| Jie-Hong Roland JiangIdentity not yet linked | Program Committee | National Taiwan University | Conference website ↗Checked 2026-09-13 |
| Matti JärvisaloIdentity not yet linked | Program Committee | University of Helsinki | Conference website ↗Checked 2026-09-13 |
| Daniela KaufmannIdentity not yet linked | Program Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Benjamin Kiesl-ReiterIdentity not yet linked | Program Committee | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| Oliver KullmannIdentity not yet linked | Program Committee | Swansea University | Conference website ↗Checked 2026-09-13 |
| Daniel Le BerreIdentity not yet linked | Program Committee | CRIL-CNRS Université d’Artois | Conference website ↗Checked 2026-09-13 |
| Inês LynceIdentity not yet linked | Program Committee | INESC-ID/IST Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento · IST | Conference website ↗Checked 2026-09-13 |
| Meena MahajanIdentity not yet linked | Program Committee | The Institute of Mathematical Sciences | Conference website ↗Checked 2026-09-13 |
| Felip ManyàIdentity not yet linked | Program Committee | IIIA-CSIC | Conference website ↗Checked 2026-09-13 |
| Ruben Martins | Program Committee | Carnegie Mellon University | Conference website ↗Checked 2026-09-13 |
| Kuldeep MeelIdentity not yet linked | Program Committee | National University of Singapore | Conference website ↗Checked 2026-09-13 |
| Stefan MengelIdentity not yet linked | Program Committee | CNRS, CRIL, Lens CNRS · Centre de Recherche en Informatique de Lens · European Laboratory for Non-Linear Spectroscopy | Conference website ↗Checked 2026-09-13 |
| Alexander NadelIdentity not yet linked | Program Committee | Intel and Technion Intel · Technion – Israel Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Aina NiemetzIdentity not yet linked | Program Committee | Stanford University | Conference website ↗Checked 2026-09-13 |
| Jakob NordströmIdentity not yet linked | Program Committee | University of Copenhagen and Lund University University of Copenhagen · Lund University | Conference website ↗Checked 2026-09-13 |
| Tomáš PeitlIdentity not yet linked | Program Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Luca PulinaIdentity not yet linked | Program Committee | University of Sassari | Conference website ↗Checked 2026-09-13 |
| Christoph SchollIdentity not yet linked | Program Committee | University of Freiburg | 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 | Bordeaux Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Friedrich SlivovskyIdentity not yet linked | Program Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Mate SoosIdentity not yet linked | Program Committee | Ethereum Foundation | Conference website ↗Checked 2026-09-13 |
| Martin SudaIdentity not yet linked | Program Committee | Czech Technical University in Prague | 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 |