IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.

Future Conferences

  • IJCAR 2026, Lisbon, Portugal, 26th-29th July 2026 (within FLoC 2026) (Springer )
    • Program Chairs: TBA
    • Conference Chair: TBA
    • Publicity: TBA
    • Submissions: ?? papers + ?? system descriptions = ??
    • Accepted: ?? papers + ?? system descriptions = ??
    • ?? workshops + ?? competitions
    • Registrations: ?? regular + ?? student = ??
    • Invited speakers: TBA
    • CADE president’s report and the treasurer’s report.

Previous Conferences

  • IJCAR 2024, Nancy, France, 1st-6th July 2024 (Springer LNAI 14739)
    • Program Chairs: Christoph Benzmüller, Marijn Heule, Renate Schmidt (Chairs’ Report)
    • Conference Chair: Didier Galmiche, Stephan Merz, Christophe Ringeissen (Chairs’ Report)
    • Publicity: Peter Lammich
    • Submissions: 96 papers + 19 system descriptions = 115
    • Accepted: 39 papers + 6 system descriptions = 45
    • 10 workshops + 2 competitions
    • Registrations: 89 regular + 37 student = 126
    • Invited speakers: Jeremy Avigad, Laura Kovacs, Geoff Sutcliffe
    • CADE president’s report and the treasurer’s report.
  • IJCAR 2022, Haifa, Israel, August 2022 (within FLoC 2022) (Springer LNCS 13385)
    • Program Chairs: Jasmin Blanchette, Laura Kovacs, Dirk Pattinson (Chairs’ Report)
    • Conference Chair: Arnon Avron
    • Submissions: 67 papers + 28 system descriptions = 85
    • Accepted: 32 papers + 9 system descriptions = 41
    • 9 workshops + 4 competitions
    • Registrations: 83 regular + 36 student = 119
    • Invited speakers: Elvira Albert, Gilles Dowek, Aarti Gupta (FLoC keynote)
  • IJCAR 2020, Online, Earth (was to be Paris, France), 1st June - 4th July 2020 (Springer LNAI 12166 and 12167)
    • Program Chairs: Viorica Sofronie-Stokkermans, Nicolas Peltier (Chairs’ Report)
    • Conference Chair: Kaustuv Chaudhuri (Chair’s Report)
    • Local Arrangements Chairs: Stefano Guerrini, Giulio Manzonetto
    • Submissions: 150 papers + 21 system descriptions + 25 short papers = 196
    • Accepted: 62 papers + 11 system descriptions + 6 short papers = 79
    • 12 workshops + 2 competitions
    • Registrations: 858 regular + 0 student (all regular) = 858
    • Invited speakers: John Harrison (joint with FSCD), René Thiemann (joint with FSCD), Clark Barrett, Elaine Pimentel, Rizica Piskac
  • IJCAR 2018, Oxford, United Kingdom, 14-19 July 2018 (within the 2018 Federated Logic Conference) (Springer LNAI 10900)
    • Program Chairs: Didier Galmiche, Stephan Schulz, Roberto Sebastiani (Chairs’ Report)
    • Conference Chair: Ian Horrocks
    • Local Arrangements Chairs: Daniel Kroening, Marta Kwiatkowska
    • Submissions: 92 papers + 16 system descriptions = 108
    • Accepted: 38 papers + 8 system descriptions = 46
    • 11 workshops + 2 competitions
    • Registrations: 95 regular + 56 student + 229 workshop only = 380
    • Invited speakers: Erika Ábrahám, Martin Giese
  • IJCAR 2016, Coimbra, Portugal, 27 June - 2 July, 2016 (Springer LNAI 9706)
    • Program Chairs: Nicola Olivetti, Ashish Tiwari (Chairs’ Report)
    • Conference Chair: Pedro Quaresma (Chairs’ Report)
    • Workshop Chair: Reinhard Kahle
    • Submissions: 65 papers + 14 system descriptions = 79
    • Accepted: 26 papers + 9 system descriptions = 35
    • Registrations: 110 regular + 36 student = 146 (inlcudes 16 workshop only)
    • Invited speakers: Arnon Avron, Gilles Barthe, Sumit Gulwani, André Platzer
  • IJCAR 2014, Vienna, Austria, 2014 (within Vienna Summer of Logic) (Springer LNAI 8562)
    • Program Chairs: Stéphane Demri, Deepak Kapur, Christoph Weidenbach (Chairs’ Report)
    • Conference Chairs: Christian Fermüller, Stefan Hetzl
    • Conference or Local Arrangements Chairs: Giselle Reis + VSL’14 organizing committee
    • Submissions: 63 papers + 20 system descriptions = 83
    • Accepted: 26 papers + 11 system descriptions = 37
    • Registrations: 91 regular + 32 student = 123
    • Invited speakers: Ken McMillan, Rajeev Goré
  • IJCAR 2012, Manchester, United Kingdom, 25-29 June 2012 (Springer LNCS 7364)
    • Program Chairs: Bernhard Gramlich, Dale Miller, Ulrike Sattler (Chairs’ Report)
    • Conference or Local Arrangements Chairs: Konstantin Korovin, Andrei Voronkov
    • Submissions: 103 papers + 12 system descriptions = 115
    • Accepted: 32 papers + 10 system descriptions = 42
    • Registrations: 86 regular + 56 student + 81 workshop only = 221
    • Invited speakers: Yuri Matiyasevich, Robert Nieuwenhuis, Nicole Schweikardt, Nikolaj Bjorner.
    • Guest lecturers: Peter Andrews, Martin Davis, John Alan Robinson.
  • IJCAR 2010, Edinburgh, United Kingdom, 16-19 July 2010 (within FLoC 2010) (Springer LNCS 6173)
    • Program Chairs: Jürgen Giesl, Reiner Hähnle
    • Conference or Local Arrangements Chairs: Alan Bundy (in the context of the FLoC organization)
    • Submissions: 63 papers + 26 system descriptions = 89
    • Accepted: 28 papers + 12 system descriptions = 40
    • 13 workshops
    • Registrations: 95 full + 53 student + 311 workshop only = 458
    • Invited speakers: David Basin (FLoC), Johan van Benthem, Deepak Kapur (FLoC), Leonardo de Moura.
  • IJCAR 2008, Sydney, Australia, August 10-15, 2008 (Springer LNAI 5195)
    • Program Chairs: Alessandro Armando, Peter Baumgartner and Gilles Dowek
    • Conference or Local Arrangements Chairs: Peter Baumgartner
    • Submissions: 81 papers + 17 system descriptions = 98
    • Accepted: 26 papers + 13 system descriptions = 39
    • 4 Workshops, 4 Tutorials
    • Registrations: 105 conference + 11 workshop only = 116
    • Invited speakers: Hubert Comon-Lundh, Nachum Dershowitz, Aarti Gupta, Carsten Lutz.
  • IJCAR-2006, Seattle, USA, August 16-20, 2006 (Springer LNCS 4130)
    • Program Chairs: Ulrich Furbach and Natarajan Shankar
    • Conference or Local Arrangements Chairs: John Harrison
    • Submissions: 133 papers + 18 system descriptions = 151
    • Accepted: 41 papers + 8 system descriptions = 49
    • 12 workshops and tutorials
    • Registrations: 164
    • Invited speakers: Bruno Buchberger, Adnan Darwich, Dale Miller, David Dill (CAV/IJCAR/ICLP).
  • IJCAR-2004, Cork, Ireland, July 4-8, 2004 (Springer LNAI 3097)
    • Program Chairs: David Basin and Michael Rusinowitch
    • Conference or Local Arrangements Chairs: Toby Walsh and Barry O’Sullivan
    • Submissions: 74 papers + 12 system descriptions = 86
    • Accepted: 26 papers + 6 system descriptions = 32
    • 9 workshops, 5 tutorials
    • Registrations: 172 conference + 68 workshop only = 240
    • Invited speakers: Georg Gottlob, Jose Meseguer, Wolfgang Weispfenning.
  • IJCAR-2001, Siena, Italy, June 18-23, 2001 (Springer LNAI 2083)
    • Program Chairs: Rajeev Gore, Alexander Leitsch and Tobias Nipkow
    • Conference or Local Arrangements Chairs: Fabio Massacci
    • Submissions: 88 papers + 24 system descriptions = 112
    • Accepted: 37 papers + 19 system descriptions = 56
    • 10 workshops, 4 tutorials
    • Registrations: 160 conference + 90 workshop only = 250
    • Invited speakers: Neil Jones, Larry Paulson, Helmut Schwichtenberg, Andrei Voronkov, Doron Zeilberger.

Invited Speakers by Other IJCAR Constituents

  • CADE: See the CADE Inc web pages

  • TABLEAUX:
    • 2016 -> IJCAR
    • 2015: Christoph Benzmüller, Roy Dyckhoff, Oliver Ray
    • 2014 -> IJCAR
    • 2013: Stéphane Demri (joint with FroCoS), Sara Negri, Tobias Nipkow (and Andrei Popescu)
    • 2012 -> IJCAR
    • 2011: Maria Paola Bonacina (joint with FTP), Ulrich Furbach, Felix Klaedtke (joint with FTP), Kazushige Terui
    • 2010 -> IJCAR
    • 2009: Patrick Blackburn, Peter Jeavons, Pierre Wolper
    • 2008 -> IJCAR
    • 2007: Piero Bonatti, John-Jules Meyer, Cesare Tinelli
    • 2006 -> IJCAR
    • 2005: Ian Horrocks, Diego Calvanese, Hans Jürgen Ohlbach, Erik Rosenthal
    • 2003: Vito Michele Abrusci, Thierry Coquand, Claude Kirchner, Douglas J. Howe
    • 2002: Matthias Baaz, Dale Miller
    • 2001 -> IJCAR
    • 2000: Franz Baader, Melvin Fitting, Alasdair Urquhart
    • 1999: Randy Bryant, David S. Warren
    • 1998: G. de Bruijn, Alan Bundy, Edmund Clarke
    • 1997: Ryuzo Hasegawa, Grigori Mints
    • 1996: Peter Andrews, Dov Gabbay
    • 1995: Wolfgang Bibel, Ricardo Caferra, Erik Rosenthal (banquet speech)
    • 1994: Jaakko Hintikka, Robert Kowalski
    • 1993: Melvin Fitting, Mark Stickel
    • 1992: Donald W. Loveland
  • FTP:
    • 2011: Maria Paola Bonacina (joint with TABLEAUX), Felix Klaedtke (joint with TABLEAUX)
    • 2009: Silvio Ghilardi
    • 2007: Bernd Fischer, Martin Giese, Viorica Sofronie-Stokkermans (joint with FroCoS)
    • 2003: Thomas Hillenbrand, Enrico Giunchiglia
    • 2000: David Crocker, Deepak Kapur
    • 1998: Gilles Dowek, Melvin Fitting, Alexander Leitsch
    • 1997: Bruno Buchberger
  • FroCoS:
    • 2013: Stéphane Demri (joint with TABLEAUX), Konstantin Korovin, Joel Ouaknine, Lawrence C. Paulson
    • 2011: Alessandro Artale, Martin Lange, Tobias Nipkow
    • 2009: Alessandro Armando, Thomas Eiter, Boris Motik, Ashish Tiwari
    • 2007: Sava Krstic, Roberto Sebastiani, Viorica Sofronie-Stokkermans (joint FTP), Michael Zakharyaschev
    • 2006 -> IJCAR
    • 2005: Luca de Alfaro, Silvio Ghilardi, Fausto Giunchiglia, Eric Monfroy
    • 2004 -> IJCAR
    • 2002: Alessandro Cimatti, Deepak Kapur, Tom Melham, Greg Nelson
    • 2000: Alexander Bockmayr, Nachum Dershowitz, Gilles Dowek, Klaus Schulz, Tomas Uribe, Richard Zippel
  • TPHOLS:
    • 2006 -> IJCAR
    • 2005: Wolfgang Paul, Andrew Pitts
    • 2004: Ken McMillan, Thomas Hales, Al Davis
    • 2003: Jean-Raymond Abrial, Dominique Cansell, Dale Miller
    • 2002: Ricky Butler, Gerard Huet
    • 2001: Bart Jacobs, Steven D. Johnson, Natarajan Shankar
    • 2000: Bob Colwell, Larry Wos, Robin Milner
    • 1999: Thomas Kropf, Arjeh Cohen, Dominique Bolignano