|
|
Committees
| ♦ |
|
Steering Committee 2023 - 2024 |
|
|
Consists of the chairs of the last four SAT conferences.
|
|
|
| 2023 |
| • |
Meena Mahajan
Institute of Mathematical Sciences, Chennai |
| • |
Friedrich Slivovsky
TU Wien |
| 2022 |
| • |
Kuldeep Meel
National University of Singapore |
| • |
Ofer Strichman
Technion |
| 2021 |
| • |
Chu-Min Li
Université de Picardie Jules Verne |
| • |
Felip Manyà
IIIA-CSIC, Spanish National Research Council (CSIC) |
| 2020 |
| • |
Luca Pulina
University of Sassari |
| • |
Martina Seidl
Johannes Kepler University Linz |
|
| |
|
|
|
|
|
