Conferences

Conferences
Conferences
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: Armin Biere, Carsten Lutz, Sara Negri
Conference Chair: Carlos Caleiro
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