The International Joint Conference on
Automated Reasoning

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 2010, Edinburgh, United Kingdom (within FLoC 2010)
  • Program Chairs: Jürgen Giesl, Reiner Hähnle
  • Conference or Local Arrangements Chair: Alan Bundy
  • Invited speakers: Johan van Benthem, Leonardo de Moura.

Previous Conferences

• IJCAR 2008, Sydney, Australia, August 10-15, 2008 (Springer LNAI 5195)
  • Program Chairs: Alessandro Armando, Peter Baumgartner and Gilles Dowek
  • Conference or Local Arrangements Chair: Peter Baumgartner
  • Participants: 105 (plus 11 workshop/tutorial registrations only)
  • Submissions: 98
  • 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 LNAI 4130)
  • Program Chairs: Ulrich Furbach and Natarajan Shankar
  • Conference or Local Arrangements Chair: John Harrison
  • Participants: 164
  • Submissions: 133
  • Submissions: 133 papers + 18 system descriptions = 180
    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 Chair: Toby Walsh
  • 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 Chair: 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.