Prof. Amir Pnueli to speak on 'Abstraction Methods for Liveness' at De Montfort University

Leading computer expert and authority on temporal logic Professor Amir Pnueli of New York University will present the 2008 Annual Distinguished Seminar at De Montfort University (DMU) in Leicester next week. The annual seminar, a free public talk, is organised by DMU's Software Technology Research Laboratory (STRL). Entitled 'Abstraction Methods for Liveness', the seminar is being held in Lecture Theatre 2.13 at the DMU's Clephan Building on Tuesday 13 May at 2pm.

Professor Hussein Zedan, Technical Director of the STRL said: "We are very pleased that Professor Pnueli is giving this year's Annual Distinguished Seminar. Abstraction methods are of critical importance in software design. They are used to prevent design flaws which could lead to major system failures."

The De Montfort University Software Technology Research Laboratory (STRL) delivers world-class training, research and development in software systems. It focuses on the study, analysis and advancement of formal approaches to the specification, design and engineering of computing systems with emphasis on real-time, safety-critical and high-integrity applications.

For further information about the lecture contact Lindsey Trent or Lynn Ryan on (0116) 257 7579. Or see the seminars page on the STRL website.

(trk)