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
Abstraction for Weakly Consistent Systems; May 23rd, 2013
Concurrent Software Synthesis: Old Challenge – New Ideas; May 23rd, 2013
Turing Award winner will inaugurate the Vienna Goedel Lecture series