Meetings

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