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 2014, Vienna, Austria, 2014 (within FLoC 2014)
• IJCAR 2012, Manchester, United Kingdom, 25-29 June 2012
  • Program Chairs: Bernhard Gramlich, Dale Miller, Ulrike Sattler
  • Conference or Local Arrangements Chairs: Konstantin Korovin, Andrei Voronkov

Previous Conferences

• IJCAR 2010, Edinburgh, United Kingdom, 16-19 July 2010 (within FLoC 2010)
  • 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 LNAI 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:
  • 2011: Maria Paola Bonacina (joint with FTP), Ulrich Furbach, Felix Klaedtke (joint with FTP), Kazushige Terui
  • 2009: Patrick Blackburn, Peter Jeavons, Pierre Wolper
  • 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 and Elaine Pimentel
  • 2001 -> IJCAR
  • 2000: Franz Baader, Melvin Fitting, Alasdair Urquhart
  • 1999: Randy Bryant, David S. Warren
  • 1998: G. de Bruijn, Alan Bundy, Edmund Clarke

• FTP
  • 2011: Maria Paola Bonacina (joint with TABLEAUX), Felix Klaedtke (joint with TABLEAUX)
  • 2009: Silvio Ghilardi
  • 2007: Bernd Fischer, Martin Giese
  • 2003: Thomas Hillenbrand, Enrico Giunchiglia
  • 2000: David Crocker, Deepak Kapur
  • 1998: Gilles Dowek, Melvin Fitting, Alexander Leitsch
  • 1997: Bruno Buchberger

• FroCoS
  • 2011: Alessandro Artale, Martin Lange, Tobias Nipkow
  • 2009: Alessandro Armando, Thomas Eiter, Boris Motik, Ashish Tiwari
  • 2007: Viorica Sofronie
  • 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