2020  |  19  |  18  |  17  |  16  |  15  |  14  |  13  |  12  |  11  |  10  |  09  |  08  |  07  |  06  |  05  |  04  |  03  |  02  |  01  |  00  |  99

Past Events

ISR Distinguished Speaker

Leon J. Osterweil

Dean, College of Natural Sciences and Mathematics
“Reasoning About Precise Process Definitions ”
Friday, November 9, 2001 - 2:00pm to 3:30pm
ISR Distinguished Speaker

Jim Hollan

Distributed Cognition and HCI Lab &
Department of Cognitive Science
“Image-Based Information Access”
Friday, September 21, 2001 - 2:00pm to 3:30pm
ISR Distinguished Speaker

Lori Clarke

Laboratory for Advanced Software Engineering Research
“Finite State Verification for Software Systems”
Wednesday, August 15, 2001 - 2:00pm to 3:30pm
ISR Distinguished Speaker

David Notkin

Department of Computer Science & Engineering
“Symbolic Model Checking for Large Software Specifications: Case Studies, Optimization, and Extension”
Wednesday, April 4, 2001 - 2:00pm to 3:30pm
ISR Distinguished Speaker

Constantine Stephanidis

Institute of Computer Science
Foundation for Research and Technology - Hellas (ICS-FORTH)
“Universal Access in the Information Society: Achievements, Challenges and Promises”
Friday, March 23, 2001 - 10:30am to 12:00pm
ISR Invited Talk

Jim Herbsleb

“From Instant Messaging to Services for Converged Networks: The Bell Labs Collaboratory”
Wednesday, March 14, 2001 - 1:30pm

Pages