|
|
Committees
| ♦ |
|
Steering Committee - 2017/2018 |
|
|
Consists of the chairs of the last four SAT conferences.
|
|
|
| • |
Serge Gaspers
UNSW Sydney and Data61, CSIRO |
| • |
Toby Walsh
UNSW Sydney and Data61, CSIRO |
| • |
Daniel Le Berre
Université d'Artois, France |
| • |
Nadia Creignou
Laboratoire d'Informatique Fondamentale de Marseille, France |
| • |
Daniel Le Berre
Université d'Artois, France |
| • |
Marijn Heule
The University of Texas at Austin, USA |
| • |
Sean Weaver
Trusted Systems Research Group, USA |
| • |
Uwe Egly
Vienna Institute of Technology, Austria |
| • |
Carsten Sinz
Karlsruhe Institute of Technology, Germany |
|
| |
|
|
|
|
|
