| 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]](cancelled.jpg)
|
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 |
(DLS-Fall99 | CSE | MSU)