Upcoming Conferences

• PC Member of HVC 2010: Haifa Verification Conference 2010
  October 5-7, 2010
  

Upcoming Workshops

• PC Chair of LfSA 2010: Workshop on Logics for System Analysis
  July 15th, 2010 (Affiliated with LICS and IJCAR at FLoC)
  
• PC Member of PAAR-2010: Workshop on Practical Aspects of Automated Reasoning
  July 14th, 2010 (Affiliated with IJCAR at FLoC)
  
• PC Member of SMT 2010: 8th International Workshop on Satisfiability Modulo Theories
  July 14-15, 2010 (Affiliated with CAV and SAT at FLoC)