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.