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