Logic to all parts
of the world
Committees
| overview | committees | programme |
| dates | invited speakers | hotel and travel information |
| call for papers | submission | registration |
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
|
|
| © 2007 LPAR |