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