Runtime Verification and Monitoring

[MYV <myv AT cs.rice.edu>]

=======================================================================

                     Amir Pnueli Memorial Symposium

                          New York University
                        New York, New York, USA

                             May 7-9, 2010

=======================================================================

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.  On November 2, 2009, Amir unexpectedly 
passed away. His loss is felt deeply by friends and colleagues around the 
world.

The Amir Pnueli Memorial Symposium is an opportunity for the computer 
science community to remember Amir by revisiting the ideas and challenges 
which inspired and defined his life's work.  It will feature talks by a 
select group of internationally acclaimed researchers, including 
colleagues and former students of Amir.

The symposium will take place at New York University on May 7-9, 2010.
It is open to all who wish to attend.  For more information and to
register, please visit http://www.cs.nyu.edu/acsys/pnueli.

==================
Schedule
==================

May 7, 4:00 - 6:00pm   - Remembering Amir Pnueli, with tributes from his
                         family, friends, colleagues, and students.

May 8, 8:15am - 6:00pm - Symposium Day 1

May 9, 8:30am - 5:30pm - Symposium Day 2


Symposium Speakers
==================

Rajeev Alur             University of Pennsylvania
Krzysztof Apt           Centrum Wiskunde and Informatica
Egon Brger             Universit di Pisa
Manfred Broy            Technische Universitt Mnchen
Patrick Cousot          New York University
Werner Damm             Carl von Ossietzky Universitt Oldenburg
Willem-Paul De Roever   Christian-Albrechts-Universitt zu Kiel
E. Allen Emerson        The University of Texas at Austin
Javier Esparza          Technische Universitt Mnchen
David Harel             The Weizmann Institute of Science
Tom Henzinger           EPFL
Robert Kurshan          Cadence Design Systems
Leslie Lamport          Microsoft Research
Oded Maler              CNRS-Verimag
Ken McMillan            Cadence Research Labs
Stephan Merz            INRIA Lorraine, LORIA
Jayadev Misra           University of Texas at Austin
Catuscia Palamidessi    cole Polytechnique
Krishna Palem           Rice University
Doron Peled             Bar Ilan University
Nir Piterman            Imperial College London
Roni Rosner             Intel Labs
Muli Safra              Tel Aviv University
Giora Slutzki           Iowa State University
Ofer Strichman          Technion
Moshe Vardi             Rice University
Lenore Zuck             University of Illinois at Chicago