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 2018, Oxford, United Kingdom, 14-19 July 2018 (within the 2018 Federated Logic Conference) (Springer LNAI ????)
    • Program Chairs: Didier Galmiche, Stephan Schulz, Roberto Sebastiani
    • Conference Chair: Ian Horrocks
    • Local Arrangements Chairs: Daniel Kroening, Marta Kwiatkowska
    • Submissions: ?? papers + ?? system descriptions = ??
    • Accepted: ?? papers + ?? system descriptions = ??
    • Registrations: ?? regular + ?? student = ???
    • Invited speakers:

Previous Conferences

  • 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
    • 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
    • Many student volunteers not spcifically assigned to IJCAR.
    • 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: 148 regular + 73 student = 221
    • 140 conference (86 full registrations) + 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)
    • Participants: 95 full + 53 student = 147 conference
    • 13 workshops, 311 participants
    • Submissions: 63 papers + 26 system descriptions = 89
    • Accepted: 28 papers + 12 system descriptions = 40
    • 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
    • Participants: 105 (plus 11 workshop/tutorial registrations only)
    • Submissions: 81 papers + 17 system descriptions = 98
    • Accepted: 26 papers + 13 system descriptions = 39
    • 4 Workshops, 4 Tutorials
    • 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
    • Participants: 164
    • Submissions: 133 papers + 18 system descriptions = 151
    • Accepted: 41 papers + 8 system descriptions = 49
    • 12 workshops and tutorials
    • 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
    • Participants: 240 (172 IJCAR + rest satellite events)
    • Submissions: 74 papers + 12 system descriptions = 86
    • Accepted: 26 papers + 6 system descriptions = 32
    • 9 workshops, 5 tutorials
    • 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
    • Participants: 250 (160 IJCAR + rest satellite events)
    • Submissions: 88 papers + 24 system descriptions = 112
    • Accepted: 37 papers + 19 system descriptions = 56
    • 10 workshops, 4 tutorials
    • 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