20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark

In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.

The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.

The following conferences, as well as a large number of workshops, will participate in FLoC.

• Conference on Automated Deduction (July 27-30)
• Conference on Computer-Aided Verification (July 27-31)
• Formal Methods Europe (July 22-24)
• International Conference on Logic Programming (July 29th - August 1st)
• IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
• Conference on Rewriting Techniques and Applications (July 22-24)
• Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)

Deadline for early registration: 15 June 2002

For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/