Faculty
Staff and Students
Research
Seminars and Events
Courses
Postdocs and Student Information
Visitor Information
Links
Profile
Home Page
 



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.

 


Faculty of Mathematics and Computer Science
The Weizmann Institute of Science
POB 26, Rehovot 76100, ISRAEL
Tel: 972-8-934-3540     Fax: 972-8-934-4122

This file was last modified on Wednesday, 13-Jul-2011 08:07:44 IDT.