loading...

UC.PT

International Joint Conference on Automated Reasoning

Past Conferences

IJCAR.org home page

  • IJCAR 2014, Vienna, Austria, 2014 (within Vienna Summer of Logic)
  • IJCAR 2012, Manchester, United Kingdom, 25-29 June 2012
  • IJCAR 2010, Edinburgh, United Kingdom, 16-19 July 2010 (within FLoC 2010)
  • IJCAR 2008, Sydney, Australia, August 10-15, 2008
  • IJCAR-2006, Seattle, USA, August 16-20, 2006 (within FLoC 2006)
  • IJCAR-2004, Cork, Ireland, July 4-8, 2004
  • IJCAR-2001, Siena, Italy, June 18-23, 2001