Hubie Chen

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

Christoph Lenzen

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

Workshop: Concepts and Meaning

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.

Meghyn Bienvenu

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