Information Science and Technology Seminar

Wednesday January 23, 2008 4:00 PM

Abstraction Methods for Liveness

Speaker: Amir Pnueli, New York University
Location: Jorgensen 74

"Abstraction Methods for Liveness," Amir Pnueli, professor of computer science, New York University.

Contact: Rachel Barnes at x2246 rbarnes@caltech.edu