| 9:30 | Intelligent RAM and Intelligent Disk David A. Patterson, Pardee Professor of Computer Science, University of California, Berkeley |
| 10:30 | Coffee Break |
| 11:00 | Transmission and Processing of Quantum
Information Charles H. Bennet, IBM T. J. Watson Research Center |
| 12:00 | A Decision-Theoretic Approach to the
Design, Analysis, and Specification of Systems Joseph Y. Halpern, Professor of Computer Science and Co-director of the Cognitive Studies Program, Cornell University |
| 1:00 | Lunch Break |
| 2:30 | Translation Validation and the Power of
Uninterpreted Functions Amir Pneuli, Weizmann Institute of Science |
| 3:30 | Coffee Break |
| 4:00 | Performance and Portability in Numerical
Computing William Gropp, Argonne National Laboratory |
| 5:30 | Reception |
| Program Co-chairs: | Vijay Karamcheti Krishna V. Palem |
General Chair: | Zvi M. Kedem |
| Advisory Panel: | Frances E. Allen, Arvind, K. Mani Chandy, Richard M. Karp, F. Thomas Leighton, Michael O. Rabin (chair) |
||
The symposium is open to the public and will be held in Room 703, Main Building, New York University located at 100 Washington Square East, New York City. For further details, including free registration, maps and directions, please visit the PARCON Web page at http://www.cs.nyu.edu/parcon.