Katarina Singer

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.

On the complexity of querying data through ontologies
Tuesday, April 24th, 2012

TUTORIAL: Social Choice - problems, results, tools and recent extensions
Friday, April 13th, 9:00 - 13:00 Seminar room Goedel

Expression Complexity of Conjunctive Queries
Fr, 23 March, 12:30, seminar room von Neumann

Course on Abstract Interpretation: from theory to applications

March 28 to April 3, 2012 in seminar room Gödel