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 |