ISR Events NavBar
ISR Events:
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
ISR Research Forum
ISR Distinguished Speaker Schedules:
2012-2013
2011-2012
2010-2011
2009-2010
2008-2009
2007-2008
2006-2007
2005-2006
2004-2005
2003-2004
2002-2003
2001-2002
2000-2001
External Events
1999 (IRUS Events)
|
| |
January
26 |
ISR
Distinguished Speaker: Mehdi Jazayeri, TU Vienna
Evolution
of Programming Languages (viewed through three editions of a textbook) |
| |
February
23 |
ISR
Distinguished Speaker: Paola Inverardi, University of L'Aquila
Performance
Analysis of Software Architecture |
| |
March
23 |
ISR
Distinguished Speaker: Constantine Stephanidis, University of Crete
Universal
Access in the Information Society:
Achievements, Challenges and Promises |
| |
April
4 |
ISR
Distinguished Speaker: David Notkin, University of Washington
Symbolic
Model Checking for Large Software Specifications:
Case Studies, Optimization, and Extension |
| |
May
2 |
ISR
Distinguished Speaker: Lori
Clarke, University of Massachusetts, Amherst
Finite
State Verification for Software Systems (cancelled) |
| |
August
15 |
ISR
Distinguished Speaker: Lori
Clarke, University of Massachusetts, Amherst
Finite
State Verification for Software Systems (rescheduled from
May 2) |
| |
September
21 |
ISR
Distinguished Speaker: Jim
Hollan, University
of California, San Diego
Image-Based
Information Access |
| |
November
9 |
ISR
Distinguished Speaker: Leon J. Osterweil, University of Massachusetts,
Amherst
Reasoning
About Precise Process Definitions |
| |
November
27 |
ISR
Colloquium: Kumiyo Nakakoji, Nara Institute of Science and Technology
(NAIST) & SRA Key Technology Laboratory, Inc.
When
a Programmer Meets an Interaction Designer: A Case Study on the Interaction-Design
Based System Development Project |
|