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