Joel Ouaknine
A Survey of Classical and Real-Time Verification; June 14th, 16:00
Christoph Weidenbach
The Design of Automated Reasoning Systems; June 4, 2013 - 10:00
Alexey Gotsman
Abstraction for Weakly Consistent Systems; May 23rd, 2013
Doron Peled
Concurrent Software Synthesis: Old Challenge - New Ideas; May 23rd, 2013
Donald Knuth
Turing Award winner will inaugurate the Vienna Goedel Lecture series
Peter Robinson
Sublinear Bounds for Randomized Leader Election
April 18th, 2013
Andre Platzer
How to prove your robot safe
April 15th, 2013
Hubie Chen
Meditations on Quantified Constraint Satisfaction
April 22nd, 2013
Wilfried Steiner
Model-Checking Fault-Tolerant Clock Synchronization Protocols
April 11th, 17:00
Lecture by Robert Sedgewick
“If You Can Specify It, You Can Analyze It” ---The Lasting Legacy of Philippe Flajolet
May 21st, 2013