SAT 2018 - Key Persons

Alexander Nadel

Job Titles:
  • Member of the Program Committee

Armin Biere

Job Titles:
  • Member of the Program Committee

Carsten Sinz

Job Titles:
  • Member of the Program Committee

Daniel Le Berre

Job Titles:
  • Member of the Program Committee

Fahiem Bacchus

Job Titles:
  • Member of the Program Committee

Florian Lonsing

Job Titles:
  • Member of the Program Committee

Friedrich Slivovsky

Job Titles:
  • Member of the Program Committee

George Katsirelos

Job Titles:
  • Member of the Program Committee

Gilles Audemard

Job Titles:
  • Member of the Program Committee

Inês Lynce

Job Titles:
  • Member of the Program Committee

Jacobo Torán

Job Titles:
  • Member of the Program Committee

Jakob Nordström

Job Titles:
  • Member of the Program Committee

Joao Marques Silva

Job Titles:
  • Member of the Program Committee

John Franco

Job Titles:
  • Member of the Program Committee

Laurent Simon

Job Titles:
  • Member of the Program Committee

Marijn Heule

Job Titles:
  • Member of the Program Committee

Markus N. Rabe

Job Titles:
  • Member of the Program Committee

Martina Seidl

Job Titles:
  • Member of the Program Committee

Massimo Lauria

Job Titles:
  • Member of the Program Committee

Matti Järvisalo

Job Titles:
  • Member of the Program Committee

Mikoláš Janota

Job Titles:
  • Member of the Program Committee

Nadia Creignou

Job Titles:
  • Member of the Program Committee

Nikolaj Bjørner

Job Titles:
  • Member of the Program Committee

Oliver Kullmann

Job Titles:
  • Member of the Program Committee

Ralf Wimmer

Job Titles:
  • Member of the Program Committee

Ruben Martins

Job Titles:
  • Member of the Program Committee

Serge Gaspers

Job Titles:
  • Member of the Program Committee

Stefan Mengel

Job Titles:
  • Member of the Program Committee

Stefan Szeider

Job Titles:
  • Member of the Program Committee

Takehide Soh

Job Titles:
  • Member of the Program Committee

Uwe Egly

Job Titles:
  • Member of the Program Committee

Vijay Ganesh

Job Titles:
  • Member of the Program Committee

Xishun Zhao

Job Titles:
  • Member of the Program Committee