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. We feel an urgent need to reexamine his work to ensure that the genius and vision he shared with us are not lost. The Amir Pnueli Memorial Symposium is an opportunity to convene the top minds in logic, verification, and formal methods to not only 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.

Full information about the event

• Is available online here.

Réalisation Axome - Création de sites Internet