LPAR-16 Committees

Organising Committee Chair

• Waly Faye

Programme Committee

Chairs

• Ed Clarke
• Andrei Voronkov

Programme Committee

• Rajeev Alur
• Matthias Baaz
• Peter Baumgartner
• Armin Biere
• Nikolaj Bjorner
• Iliano Cervesato
• Agata Ciabattoni
• Edmund Clarke
• Hubert Comon-Lundh
• Nachum Dershowitz
• Jürgen Giesl
• Guillem Godoy
• Georg Gottlob
• Jean Goubault-Larrecq
• Reiner Haehnle
• Claude Kirchner
• Michael Kohlhase
• Konstantin Korovin
• Laura Kovacs
• Orna Kupferman
• Leonid Libkin
• Aart Middeldorp
• Luke Ong
• Frank Pfenning
• Andreas Podelski
• Andrey Rybalchenko
• Helmut Seidl
• Geoff Sutcliffe
• Ashish Tiwari
• Andrei Voronkov
• Toby Walsh
• Christoph Weidenbach

LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR LPAR