LPAR 2023: Program Committee

Person	Affiliation
Wolfgang Ahrendt	Chalmers University of Technology
Elvira Albert	Universidad Complutense de Madrid
Franz Baader	TU Dresden
Matthias Baaz	TU Wien
Ahmed Bhayat	University of Leicester
Armin Biere	Freiburg
Nikolaj Bjørner	Microsoft
Jasmin Blanchette	Ludwig-Maximilians-Universität München
Krishnendu Chatterjee	Institute of Science and Technology (IST)
Agata Ciabattoni	TU Wien
Koen Claessen	Chalmers University of Technology
Ruy De Queiroz	Universidade Federal de Pernambuco
Joaquin Diazboils	Universitat de València
Bernd Finkbeiner	CISPA Helmholtz Center for Information Security
Jürgen Giesl	RWTH Aachen University
Marijn Heule	Carnegie Mellon University
Nao Hirokawa	JAIST
Peter Höfner	Australian National University
Predrag Janicic	University of Belgrade
Mikolas Janota	Czech Technical University in Prague
Dejan Jovanović	Amazon Web Services
Orna Kupferman	Hebrew University
Kuldeep S. Meel	National University of Singapore
Aart Middeldorp	University of Innsbruck
Dale Miller	INRIA and LIX/Institut Polytechnique de Paris
Georg Moser	University of Innsbruck
Jorge A Navas	SRI International
Albert Oliveras	Universitat Politècnica de Catalunya
Ruzica Piskac	Yale University
Giles Reger	Amazon Web Services
Andrew Reynolds	University of Iowa
Philipp Rümmer	University of Regensburg
Lakhdar Sais	CRIL, Université d'Artois
Stephan Schulz	DHBW Stuttgart
Helmut Seidl	Technical University of Munich
Natarajan Shankar	SRI International
Martin Suda	Czech Technical University in Prague
Josef Urban	Czech Technical University in Prague
Margus Veanes	Microsoft
Andrei Voronkov	The University of Manchester
Christoph Weidenbach	Max Planck Institute for Informatics
Bruno Woltzenlogel Paleo	Djed Alliance