Home
Committee
Submission
Registration
Accepted Papers
Program
General Chair
Bruno Buchberger
(RISC, Austria)
Program Chairs
Tudor Jebelean
(RISC, Austria)
Martin Giese
(RISC, Austria)
Local Chair
Laura Kovács
(RISC, Austria)
Program Committee
Nikolaj S. Bjørner
(Microsoft Research, USA)
Ewen Denney
(NASA Ames Research Center, USA)
Jens Knoop
(Technical University of Vienna, Austria)
Enric Rodríguez Carbonell
(Technical University of Catalonia, Barcelona, Spain)
Wolfgang Schreiner
(RISC, Austria)
Helmut Seidl
(Technical University of Münich, Germany)
Andrei Voronkov
(Manchester University, UK)
Page maintained by
Laura Kovács