Dr. Dimitra Giannakopoulou (senior researcher, NASA Ames Research Center, CA, USA) is going to lecture on State Space Exploration for NASA’s Safety Critical Systems at Auditorium III, Aristotle University Research Dissemination Center (September 3rd Ave., AUTH Campus) on Tuesday  June 28th, 2011 at 13:00. Details: State Space Exploration for NASA’s Safety Critical Systems – INVITED LECTURE