IJCAR 2020

June 29 – July 6, 2020, Paris, France, co-located with FSCD 2020

Menu
  • Overview
  • Topics and Programme
  • Committees
  • Deadlines
  • Submission
  • Awards
  • Workshops & Competitions
Menu

Committees

Program Committee

CO-CHAIRS

  • Nicolas Peltier (CNRS, LIG, Univ. Grenoble Alpes, Grenoble, France)
  • Viorica Sofronie-Stokkermans (University Koblenz-Landau, Koblenz, Germany)

MEMBERS

  • Takahito Aoto (Niigata University, Japan)
  • Carlos Areces (FaMAF Universidad Nacional de Cordoba, Argentina)
  • Jeremy Avigad (Carnegie Mellon University, USA)
  • Franz Baader (TU Dresden, Germany)
  • Peter Baumgartner (Data 61 and CSIRO, Australia)
  • Christoph Benzmueller (Freie Universitaet Berlin, Germany)
  • Yves Bertot (Inria)
  • Armin Biere (Johannes Kepler University Linz, Austria)
  • Nikolaj Bjorner (Microsoft Research, USA)
  • Jasmin Blanchette (Vrije Universiteit Amsterdam, Netherlands)
  • Maria Paola Bonacina (Università degli Studi di Verona, Italy)
  • James Brotherston (University College London, UK)
  • Serenella Cerrito (IBISC, Univ. Evry, Paris Saclay University, France)
  • Agata Ciabattoni (Vienna University of Technology, Sweden)
  • Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden)
  • Leonardo de Moura (Microsoft Research, USA)
  • Stéphane Demri (CNRS, LSV, ENS Paris-Saclay, France)
  • Gilles Dowek (Inria and ENS Paris-Saclay, France)
  • Marcelo Finger (University of Sao Paulo, Brazil)
  • Pascal Fontaine (Université de Liège, Belgium)
  • Didier Galmiche (Université de Lorraine – LORIA, France)
  • Silvio Ghilardi (Università degli Studi di Milano, Italy)
  • Martin Giese (Universitetet i Oslo, Norway)
  • Juergen Giesl (RWTH Aachen University, Germany)
  • Valentin Goranko (Stockholm University, Sweden)
  • Rajeev Gore (The Australian National University, Australia)
  • Stefan Hetzl (Vienna University of Technology, Austria)
  • Marijn J. H. Heule (Carnegie Mellon University, USA)
  • Cezary Kaliszyk (University of Innsbruck, Austria)
  • Deepak Kapur (University of New Mexico, USA)
  • Laura Kovacs (Vienna University of Technology, Austria)
  • Andreas Lochbihler (Digital Asset, Switzerland)
  • Christopher Lynch (Clarkson University, USA)
  • Assia Mahboubi (Inria, France)
  • Panagiotis Manolios (Northeastern University, USA)
  • Dale Miller (Inria and LIX/Ecole Polytechnique, France)
  • Claudia Nalon (University of Brasilia, Brazil)
  • Tobias Nipkow (Technical University of Munich, Germany)
  • Albert Oliveras (Universitat Politècnica de Catalunya, Spain)
  • Jens Otten (University of Oslo, Norway)
  • Lawrence Paulson (University of Cambridge, UK)
  • Frank Pfenning (Carnegie Mellon University, USA)
  • Andrei Popescu (Middlesex University London, UK)
  • Andrew Reynolds (University of Iowa, USA)
  • Christophe Ringeissen (LORIA-INRIA, France)
  • Christine Rizkallah (University of New South Wales, Australia)
  • Katsuhiko Sano (Hokkaido University, Japan)
  • Renate Schmidt (The University of Manchester, UK)
  • Stephan Schulz (DHBW Stuttgart, Germany)
  • Roberto Sebastiani (DISI, University of Trento, Italy)
  • Matthieu Sozeau (Inria)
  • Martin Suda (Czech Technical University, Czech Republic)
  • Geoff Sutcliffe (University of Miami, USA)
  • Sofiene Tahar (Concordia University, Canada)
  • Cesare Tinelli (The University of Iowa, USA)
  • Christian Urban (King’s College London, UK)
  • Josef Urban (Czech Technical University in Prague, Czech Republic)
  • Uwe Waldmann (Max Planck Institute for Informatics, Germany)
  • Christoph Weidenbach (Max Planck Institute for Informatics, Germany)

Organizers

CONFERENCE CHAIR

  • Kaustuv Chaudhuri (Inria & Ecole polytechnique, France)

WORKSHOPS CHAIRS

  • Giulio Manzonetto (Université Paris-Nord, France)
  • Andrew Reynolds (University of Iowa, USA)

Support

AWS Logo
Springer LNAI
© 2025 IJCAR 2020 | Powered by Minimalist Blog WordPress Theme