25 April 2012
Lecture of Prof. Sifakis on May 4th, 2012 at 12 (Auditorium II, AUTH Research Committee)
Professor Joseph Sifakis (École Polytechnique Fédérale de Lausanne, Switzerland and Verimag Laboratory, France), the 2007 ACM Turing Award recipient, is going to lecture on
From Programs to Systems – Building a Smarter W...