Professor Joseph Sifakis (École Polytechnique Fédérale de Lausanne, Switzerland & Verimag Laboratory, France), the 2007 ACM Turing Award recipient, is going to lecture on From Programs to Systems – Building a Smarter World at the Auditorium II of Aristotle University Research Dissemination Center – ΚΕΔΕΑ ΑΠΘ (September 3rd Ave., University Campus) on Friday May 4th, 2012 at 12:00.