Organization

Program Committee Chair
Pascal Fontaine, Université de Lorraine, CNRS, Inria, LORIA, France

Conference Chair
Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brazil

Organization
Carlos Olarte, Universidade Federal do Rio Grande do Norte, Brazil
João Marcos, Universidade Federal do Rio Grande do Norte, Brazil
Cláudia Nalon, Universidade de Brasilia, Brazil
Giselle Reis, CMU, Qatar

Publicity Chair
Geoff Sutcliffe, University of Miami, USA

Workshop, Tutorial, and Competition Chair
Giles Reger, The University of Manchester, UK

Program Committee
Carlos Areces, FaMAF – Universidad Nacional de Córdoba, Argentina
Franz Baader, TU Dresden, Germany
Clark Barrett, Stanford University, USA
Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, The Netherlands
Maria Paola Bonacina, Università degli Studi di Verona, Italy
Leonardo Mendonça de Moura, Microsoft Research, USA
Hans de Nivelle, Nazarbayev University, Astana, Kazakhstan
Clare Dixon, University of Liverpool, UK
Mnacho Echenim, Université de Grenoble, France
Marcelo Finger, Universidade de São Paulo, Brazil
Pascal Fontaine, Université de Lorraine, CNRS, Inria, LORIA, France
Silvio Ghilardi, Università degli Studi di Milano, Italy
Jürgen Giesl, RWTH Aachen, Germany
Rajeev Goré, The Australian National University, Australia
Stefan Hetzl, Technische Universität Wien, Austria
Marijn J. H. Heule, The University of Texas at Austin, USA
Nao Hirokawa, JAIST, Japan
Moa Johansson, Chalmers Tekniska Högskola, Sweden
Cezary Kaliszyk, Universität Innsbruck, Austria
Deepak Kapur, University of New Mexico, USA
Benjamin Kiesl, Technische Universität Wien, Austria
Konstantin Korovin, The University of Manchester, UK
Laura Kovács, Technische Universität Wien, Austria
Ramana Kumar, DeepMind, UK
Cláudia Nalon, Universidade de Brasília, Brazil
Vivek Nigam, Federal University of Paraíba & Fortiss, Brazil & Germany
Carlos Olarte, Universidade Federal do Rio Grande do Norte, Brazil
Jens Otten, Universitetet i Oslo, Norway
André Platzer, Carnegie Mellon University, USA
Andrew Reynolds, The University of Iowa, USA
Philipp Rümmer, Uppsala University, Sweden
Renate A. Schmidt, The University of Manchester, UK
Stephan Schulz, DHBW Stuttgart, Germany
Roberto Sebastiani, Università di Trento, Italy
Natarajan Shankar, SRI International, USA
Viorica Sofronie-Stokkermans, Universität Koblenz-Landau, Germany
Martin Suda, Czech Technical University, Czech Republic
Geoff Sutcliffe, University of Miami, USA
René Thiemann, Universität Innsbruck, Austria
Uwe Waldmann, Max-Planck-Institut für Informatik, Germany
Christoph Weidenbach, Max-Planck-Institut für Informatik, Germany
Sarah Winkler, Universität Innsbruck, Austria