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 Invited Talk

Michael Ernst

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

Mehdi Jazayeri

Technical University of Vienna and
“Evolution of Programming Languages (viewed through three editions of a textbook)”
Friday, January 26, 2001 - 2:00pm to 3:30pm

ISR-supported conference.

Monday, November 6, 2000 to Friday, November 10, 2000
ISR Distinguished Speaker

Jeffrey Kramer

Department of Computing
“Modelling for Mere Mortals: Mixing Architecture with Analysis & Animation”
Friday, November 3, 2000 - 2:00pm to 3:30pm
ISR Colloquium Speaker

Ira D. Baxter

Cheif Technology Officer
“Improving Software Quality with Airomated Program Tranformation Tools”
Tuesday, October 31, 2000 - 2:00pm to 4:00pm
ISR Distinguished Speaker

Joseph Goguen

Dept. of Computer Science & Engineering
“Algebraic Semiotics and User Interface Design”
Friday, October 20, 2000 - 10:30am to 12:00pm

Pages