Note: Workshops are listed next to their sponsoring conferences.

List of Workshops

1. Implicit computational complexity
   
2. Symbolic Model Checking
   
3. Run-Time Result Verification
   
4. Workshop on Security Protocol Verification
   
5. Intuitionistic Modal Logics and Applications
   
6. Strategies in Automated Deduction
   
7. CALCULEMUS - Systems for Integrated Computation and Deduction
   
8. Grobner bases and rewriting techniques
   
9. The Second International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs
   
10. A Tutorial Workshop on Realizability Semantics
    
11. ERCIM WG on Formal Methods for Industrial Critical Systems
    
12. Complexity-theoretic and Recursion-theoretic methods in Databases, Artificial Intelligence and Finite Model Theory
    
13. Automation of Proofs by Mathematical Induction
    
14. Finite Model Theory And Its Applications
    
15. The 5th International SPIN Workshop on Theoretical Aspects of Model Checking
    

Other Events

• FMT - joint session of invited talks for workshops #1, 12 and 14.
  
• MCT - Model-Checking Tutorial.
  
• CAVT - CAV Tutorial.
  
• K - Keynote events, including
  • K1 - "Using formal verification methods in an industrial environment for a decade. Conclusions and perspectives." by Gerard Roucairol, Groupe Bull R&D President.
  • K2 - Panel on: "Current trends in research funding in the use of logic and formal methods in computer science".