Donald Knuth
Turing Award winner will inaugurate the Vienna Goedel Lecture series
Category Talks
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
Reiner Hähnle
Abstract Symbolic Execution; March 7th, 2013
Torsten Schaub
Potassco, the Potsdam Answer Set Solving Collection; March 28th, 15:00
EunJung Kim
Linear kernels and single-exponential algorithms via protrusion
decompositions; Feb. 25th, 17:00
Diego Calvanese
Verification of Relational Data-Centric Dynamic Systems with External Services
February 21st, 17:00
Pietro Baroni
Abstract argumentation semantics: from limits to perspectives
Tuesday March 5th, 10:00 am