A preliminary programme is now a vailable.
Early registration discount expires on 31 July 2007!!
In 2007, FroCoS will be held for the sixth time. The first FroCoS workshop was hold in Munich (1996) followed by Amsterdam (1998), Nancy (2000), Santa Margherita Ligure (2002), and Vienna (2005). In 2004 and 2006 FroCoS was a part of the IJCAR, International Joint Conference on Automated Reasoning.