Faculty of Mathematics & Computer Science

The Faculty of Mathematics and Computer Science
The Weizmann Institute of Science
announces the second

Amir Pnueli Memorial Lecture

to be delivered by

Professor Moshe Y. Vardi

Rice University

Sponsored by the Arthur and Rochelle Belfer Institute of Mathematics and Computer Science
at The Weizmann Institute of Science

The title:

Amir Pnueli: Ahead of His Time

on Sunday, 4 December 2011, at 16:00
in the Dolfi and Lola Ebner Auditorium, on campus

A reception in honor of Prof. Vardi will be held after the lecture

Abstract

One of the surprising developments in the area of program verification is how ideas introduced by logicians in the first part of the 20th century , and by philosophers in the middle part of the 20 century, ended up yielding at the start of the 21st century industry-standard property-specification languages. Amir Pnueli played a key role in this development. This talk attempts to trace the tangled threads of this story.