Upcoming Conferences

• PC Member of LCTES 2012: Languages, Compilers, Tools and Theory for Embedded Systems
  Beijing, China, June 12-13, 2012
  

Past Conferences

• PC Member of FroCoS 2011: 8th International Symposium on Frontiers of Combining Systems
  Saarbrücken, Germany, October 5-7, 2011
• PC Member of HVC 2010: Haifa Verification Conference 2010
  October 5-7, 2010
  

Past 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)