In the frame of the Open Seminar Series at SEERC, we are pleased to announce a seminar to be delivered on the topic: "Modelling, specification and verification. Why do we need them?". The seminar will be delivered by Dr. Marian Gheorghe, Dept. of Computer Science, University of Sheffield. The seminar is scheduled to take place on Tuesday 4 March 2014, 15:00-136:00, at Multi-Purpose Room, 5th floor, L.Sofou Bldg.
