2019  |  2018  |  2017  |  2016  |  2015  |  2014  |  2013  |  2012  |  2011  |  2010  |  2009  |  2008  |  2007  |  2006  |  2005  |  2004  |  2003  |  2002  |  2001  |  2000

Past Events

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
ISR Distinguished Speaker

Paola Inverardi

“Performance Analysis of Software Architecture”
Friday, February 23, 2001 - 2:00pm to 3:30pm
ISR Invited Talk

Michael Ernst

“Dynamically Detecting Likely Program Invariants”
Friday, February 23, 2001 - 10:00am

Pages