FLoC 2002 Call for Participation 
Author Message
 FLoC 2002 Call for Participation

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

                           Call for Participation

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 second Federated Logic Conference (FLoC'99) was
held in Trento, Italy, in July 1999.

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 29 - August 1)
    IEEE Symposium on Logic in Computer Science (July 22-25)
    Conference on Rewriting Techniques and Applications (July 22-24)
    Automated Reasoning with Analytic Tableaux and
      Related Methods (July 30 - August 1)

Online registration for FLoC is now open, see


Note that the deadline for early registration is

                            June 15, 2002.

Tue, 12 Oct 2004 10:59:42 GMT  
 [ 1 post ] 

 Relevant Pages 

1. FLoC 2002 Call for Participation

2. FLoC'96: Second Call for Participation

3. FLoC'96: Second Call for Participation

4. ESUG'2002 Call for Participation

5. Smalltalk Solutions 2002 - Call For Participation

6. APL 2002 Madrid Call for Participation

7. OOPSLA 2002: Call for Participation

8. ILC 2002 - Last Call For Participation

9. Call for Papers/Participation: 2002 International Symposium on Memory Management (ISMM)

10. MPOOL 2002 - Call for Participation

11. ILC 2002 - Last Call for Participation



Powered by phpBB® Forum Software