News
Postdoc positions available
Two postdoc positions (Algorithms & Complexity and Probabilistic Reasoning) are available for the ERC Starting Grant: COMPLEX REASON.
Talks
Upcoming talk: Neeldhara Misra
From FVS to F-deletion: the Story of a Simple Algorithm
May 21st, 2012 at 16:00
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.
