2025  |  24  |  23  |  22  |  21  |  20  |  19  |  18  |  17  |  16  |  15  |  14  |  13  |  12  |  11  |  10  |  09  |  08  |  07  |  06  |  05  |  04  |  03  |  02  |  01  |  00  |  99

2001 Events

ISR Colloquium Speaker

Kumiyo Nakakoji

Nara Institute of Science and Technology (NAIST) &
“When a Programmer Meets an Interaction Designer: A Case Study on the Interaction Design-based System Development Project”
Tuesday, November 27, 2001 - 9:30am to 11:00pm
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

Pages