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)