FroCos series
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
* Merged with other meetings (such as CADE, FTP and TABLEAUX) into IJCAR, the International Joint Conference on Automated Reasoning.