2000-2001 CSE Lectures

2000 - 2001 Distinguished Lecture Series

Most speakers will be on campus for the day of their talks. You can schedule times to meet them by contacting their hosts.


 

Dr. Lori Clarke
Laboratory for Advanced Software Engineering Research
University of Massachusetts, Amherst
"Formal Verification: Can we move beyond academic toys to practitioners' tools?"
abstract
January 20
Recept: 3:30-4 p.m.
Talk: 4-5:00 p.m.
Room 2135, Engineering Building
Host: L. Dillon
Dr. Shamkant Navathe
College of Computing
Georgia Institute of Technology
"Scalability Techniques for An Emerging Breed of Applications using Intermittently Synchronized Databases"
abstract
February 10
Recept: 3:30-4 p.m.
Talk: 4-5:00 p.m.
Room 2135, Engineering Building
Host: C. Owen
CANCELLED We regret that the talk by
Dr. Dave Parnas has been cancelled
February 24
Dr. David Notkin
Department of Computer Science and Engineering
University of Washington
"What do we and what don't we know about software evolution?"
abstract
March 23
Recept: 3:30-4 p.m.
Talk: 4-5:00 p.m.
Room 2135, Engineering Building
Host: L. Dillon
Dr. Alex (Sandy) Pentland
MIT Media Laboratory
Massachusetts Institute of Technology
"Next Generation Computing"
abstract
April 6
Talk: 7-8:00 p.m.
Recept: 8-8:30 p.m.
Room 2135, Engineering Building
Host: G. Stockman
Dr. Edmund Clarke
FORE Systems Professor of Computer Science
Carnegie Mellon University
"Symbolic Model Checking with and without BDDs"
abstract
April 20
Recept: 3:30-4 p.m.
Talk: 4-5:00 p.m.
Room 2135, Engineering Building
Host: K. Stirewalt