Automata-theoretic approach to the equivalence checking problem for sequential programs
June 1st, 2012

Equivalence Checking Problem: 1953 - 2011 (survey)
May 31st, 2012

Mini-Workshop on Logic, Proofs and Algorithms
June 6th, 2012

Taking Satisfiability to the Next Level with Z3
May 30th, at 17:00

A new approach to temporal property verification
May 25th, 2012

On the bridge between Constraint Satisfaction and Boolean Satisfiability
May 30th, 2012, at 12pm (s.t.)

From FVS to F-deletion: the Story of a Simple Algorithm
May 21st, 2012 at 16:00

Decomposing First-Order Logic
May 7th, 2:00pm in seminar room Zemanek

Improved Bounds for Byzantine Self-stabilizing Clock Synchronization
RiSE Seminar talk on April 26th, 2012

Alexander Leitsch, Professor of Mathematics and Theoretical Computer Science, at TU Vienna, will turn 60 on May 20th, 2012. The workshop is held in honor of his many major contributions to logic, mathematics and computer science and their interactions.