|
|
Committees
| ♦ |
|
Steering Committee 2018 - 2019 |
|
|
Consists of the chairs of the last four SAT conferences.
|
|
|
| 2018 |
| • |
Olaf Beyersdorff
Friedrich Schiller University Jena, Germany |
| • |
Christoph Wintersteiger
Microsoft, United Kingdom |
| 2017 |
| • |
Serge Gaspers
UNSW Sydney and Data61, CSIRO |
| • |
Toby Walsh
UNSW Sydney and Data61, CSIRO |
| 2016 |
| • |
Nadia Creignou
Laboratoire d'Informatique Fondamentale de Marseille, France |
| • |
Daniel Le Berre
Université d'Artois, France |
| 2015 |
| • |
Marijn Heule
The University of Texas at Austin, USA |
| • |
Sean Weaver
Trusted Systems Research Group, USA |
|
| |
|
|
|
|
|
