Vladimir Zakharov
Automata-theoretic approach to the equivalence checking problem for sequential programs
June 1st, 2012
Vladimir Zakharov
Equivalence Checking Problem: 1953 – 2011 (survey)
May 31st, 2012
Mini-Workshop
Mini-Workshop on Logic, Proofs and Algorithms
June 6th, 2012
Nikolaj Bjorner
Taking Satisfiability to the Next Level with Z3
May 30th, at 17:00
Byron Cook
A new approach to temporal property verification
May 25th, 2012
Justyna Petke
On the bridge between Constraint Satisfaction and Boolean Satisfiability
May 30th, 2012, at 12pm (s.t.)
Neeldhara Misra
From FVS to F-deletion: the Story of a Simple Algorithm
May 21st, 2012 at 16:00