Bringing Computer Science
Logic to all parts
of the world


Committees


Programme Committee

Eyal Amir (University of Illinois at Urbana-Champaign)
Franz Baader (Technische Universität Dresden)
Matthias Baaz (Technische Universität Wien)
Peter Baumgartner (NICTA)
Nikolaj Bjorner (Microsoft Research)
Maria Paola Bonacina (Università degli Studi di Verona)
Alessandro Cimatti (IRST)
Michael Codish (Ben-Gurion University of the Negev)
Simon Colton (Imperial College)
Byron Cook (Microsoft Research)
Nachum Dershowitz (Tel Aviv University)
Thomas Eiter (Technische Universität Wien)
Chris Fermüller (Technische Universität Wien)
Georg Gottlob (Oxford University)
Reiner Hähnle (Chalmers University)
John Harrison (Intel)
Brahim Hnich (İzmir University of Economics )
Tudor Jebelean (RISC-Linz)
Deepak Kapur (University of New Mexico)
Delia Kesner (Université Paris 7)
Hélène Kirchner (LORIA)
Michael Kohlhase (International University Bremen)
Konstantin Korovin (University of Manchester)
Viktor Kuncak (EFPL)
Leonid Libkin (University of Edinburgh)
Christopher Lynch (Clarkson University)
Hrant B. Marandjian (Institute for Informatics and Automation Problems)
Maarten Marx (Universiteit van Amsterdam)
Luke Ong (Oxford University)
Peter F. Patel-Schneider (Bell Labs Research)
Brigitte Pientka (McGill University)
I.V. Ramakrishnan (State University of New York at Stony Brook)
Albert Rubio (Universidad Politécnica de Cataluña)
Ulrike Sattler (University of Manchester)
Geoff Sutcliffe (University of Miami)
Cesare Tinelli (The University of Iowa)
Ralf Treinen (ENS Cachan)
Andrei Voronkov (University of Manchester)
Toby Walsh (NICTA and UNSW)
Christoph Weidenbach (Max-Planck Institute)
Frank Wolter (University of Liverpool)

Organising Committee

Hrant Marandjian
Artak Petrosyan
Vladimir Sahakyan
Yuri Shoukourian