Wednesday, May 5, 2010

Amir Pnueli Memorial Symposium

Amir Pnueli was one of the most influential computer scientists of our time. He published more than 250 papers, many of them groundbreaking, including the 1977 paper, The Temporal Logic of Programs for which he won the 1996 ACM Turing Award, the highest honor that can be received by a computer scientist. On November 2, 2009, Amir unexpectedly passed away. His loss is felt deeply by friends and colleagues around the world.

Among those who knew and were influenced by him, it is a time for reflection. The Amir Pnueli Memorial Symposium is an opportunity to convene the top minds in logic, verification, and formal methods not only to revisit, but to build upon the ideas which inspired and defined his life's work.

The symposium will take place at New York University on May 7-9, 2010. It will be a singular opportunity for researchers, students, and the broader intellectual community to learn from and be inspired by individuals who are shaping the future of their fields.