Meetings

IJCAR 2018 (*) July 14‐17, 2018, Oxford, United Kingdom.
FroCoS 2017 25‐29 September 2017, Brasília, Brazil
IJCAR 2016 (*) 27 June‐2 July, 2016, Coimbra, Portugal
FroCoS 2015 September 19‐24, 2015, Wroclaw, Poland
IJCAR 2014 (*) July 19‐22, 2014, Vienna, Austria
FroCoS 2013 September 18‐20, 2013, Nancy, France
IJCAR 2012 (*) June 26‐July 1, 2012, Manchester, UK
FroCoS 2011 October 5‐7, 2011, Saarbrücken, Germany
IJCAR 2010 (*) July 16‐19, 2010, Edinburgh, UK
FroCoS 2009 September 16‐18, 2009, Trento, Italy
IJCAR 2008 (*) August 12‐15, 2008, Sidney, Australia
FroCoS 2007 September 10-12, 2007, Liverpool, UK
IJCAR 2006 (*) August 16‐21, 2006, Seattle, USA
FroCoS 2005 September 19-21, Vienna, Austria
IJCAR 2004 (*) July 4‐8, 2004, Cork, Ireland
FroCoS 2002 April 8‐10, 2002, Santa Margherita Ligure, Italy
FroCoS 2000 March 22‐24, 2000 Nancy, France
FroCoS 1998 October 2‐4, 1998, Amsterdam, the Netherlands
FroCoS 1996 March 26‐29, 1996, Munich, Germany
(*) Merged with other meetings (such as CADE, FTP and TABLEAUX) into IJCAR, the International Joint Conference on Automated Reasoning.