17th LPAR Conference

17th International Conference on

Logic for Programming, Artificial Intelligence and Reasoning

Matthias Baaz, Technische Universität Wien (Austria)
Chris Fermüller, Technische Universität Wien (Austria)
Geoff Sutcliffe, University of Miami (USA)
Andrei Voronkov, University of Manchester (UK), Chair

Steering Committee

Yogyakarta, Indonesia

October 10th - 15th, 2010

General Chair

Steffen Hölldobler, Technische Universität Dresden (Germany)

Local Chairs

Taufiq Hidayat, Technische Universität Dresden (Germany)
Yudi Prayudi, Head of Department of Informatics, Universitas Islam Indonesia (Indonesia)
Reza Pulungan, Universitas Gadjah Mada (Indonesia)

Publicity Chair

Geoff Sutcliffe, University of Miami (USA)

Workshop Chair

Laura Kovács, Technische Universität Wien (Austria)

Program Chairs

Christian Fermüller, Technische Universität Wien (Austria)

Andrei Voronkov, University of Manchester (UK)

Program Committee

Franz Baader (Technische Universität Dresden, Germany)

Matthias Baaz (Technische Universität Wien, Austria)

Michael Backes (Saarland University, Germany)

Gilles Barthe (Madrid Institute for Advanced Studies, Spain)

Peter Baumgartner (Australian National University, Australia)

Nikolaj Bjorner (Microsoft Research Redmond, USA)

Agata Ciabattoni (Technische Universität Wien, Austria)

Alessandro Cimatti (IRST, Fondazione Bruno Kessler, Italy)

Thierry Coquand (University of Gothenburg, Sweden)

Nachum Dershowitz (Tel Aviv University, Israel)

Thomas Eiter (Technische Universität Wien, Austria)

Javier Esparza (Technische Universität München, Germany)

Christian Fermüller (Technische Universität Wien, Austria)

Thom Frühwirth (Universität Ulm, Germany)

Lluis Godo (IIIA-CSIC, Spain)

Georg Gottlob (University of Oxford, UK)

Martin Grohe (Humboldt-Universität zu Berlin, Germany)

John Harrison (Intel Corporation, USA)

Miki Hermann (LIX CNRS, France)

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

Neil Immerman (University of Massachusetts, USA)

Joxan Jaffar (National University of Singapore, Singapore)

Deepak Kapur (University of New Mexico, USA)

Claude Kirchner (INRIA, France)

Michael Kohlhase (Jacobs University, Germany)

Konstantin Korovin (University of Manchester, UK)

Laura Kovács (Technische Universität Wien, Austria)

Aart Middeldorp (University of Innsbruck, Austria)

Dale Miller (INRIA, France)

Joachim Niehren (INRIA, France)

Michel Parigot (Université Paris 7, France)

Frank Pfenning (Carnegie Mellon University, USA)

Torsten Schaub (Universität Potsdam, Germany)

Natarajan Shankar (SRI International, USA)

Geoff Sutcliffe (University of Miami, USA)

Wolfgang Thomas (RWTH Aachen, Germany)

Cesare Tinelli (University of Iowa, USA)

Andrei Voronkov (University of Manchester, UK)

Toby Walsh (University of New South Wales, Australia)

Christoph Weidenbach (Max-Planck-Institut Informatik, Germany)

Frank Wolter (University of Liverpool, UK)