25 April 2012 Lecture of Prof. Sifakis on May 4th, 2012 at 12 (Auditorium II, AUTH Research Committee)