Program Chairs

Andrew Ireland (Heriot-Watt University, UK)

Laura Kovács (EPFL, Switzerland)

Program Committee

Nikolaj Bjørner (Microsoft Research, USA)

Martin Giese (University of Oslo, Norway)

Reiner Hähnle (Chalmers University of Technology, Sweden)

Paul Jackson (University of Edinburgh, UK)

Jens Knoop (Technical University of Vienna, Austria)

Francesco Logozzo (Microsoft Research, USA)

Wolfgang Schreiner (RISC-Linz, Austria)

Helmut Veith (Technical University of Darmstadt, Germany)

Andrei Voronkov (Manchester University, UK)

Thomas Wies (EPFL, Switzerland)

Page maintained by Laura Kovács.