1996-97 Colloquium Series

Fall 1996

Date	Room	Speaker	Talk
January 19 Friday 11 a.m. - 12 noon	FL320	Prof. Stanley M. Selkow WPI Computer Science Department	An Introduction to Public Key Cryptography
February 2 Friday 11 a.m. - 12 noon	FL320	Nimish Doshi Versant Corporation	Introduction to Object Databases And ODMG '93
February 16 Friday 11 a.m. - 12 noon	FL320	Dr. Gabor N. Sarkozy Department of Mathematics University of Pennsylvania	On a New Method in Graph Theory
February 19 Monday 11 a.m. - 12 noon	FL320	Dr. Frank Stomp AT&T Bell Laboratories	Formalizing Inductive Proofs of Network Algorithms
February 23 Friday 11 a.m. - 12 noon	FL320	Dr. Carolina Ruiz Department of Computer Science University of Maryland at College Park	Knowledge Based Systems with Multiple Forms of Negation
February 26 Monday 11 a.m. - 12 noon	FL320	Dr. Satyanarayana V. Lokam Department of Computer Science University of Chicago	Communication Complexity Theory: Models, Techniques, Applications
March 11 Monday 11 a.m. - 12 noon	FL320	Prof. Elke Angelika Rundensteiner Electrical Engineering and Computer Science Software Systems Research Laboratory University of Michigan	The Multiview Project: Object-Oriented View Technology and Applications
March 15 Friday 11 a.m. - 12 noon	FL320	George T. Heineman Department of Computer Science Columbia University	A Transaction Manager Component For Extended Transaction Models
March 22 Friday 11 a.m. - 12 noon	FL320	Robert Simon Department of Computer Science University of Pittsburgh	The Design of an Integrated Multimedia Communication Architecture
April 9 Tuesday 11 a.m. - 12 noon	FL320	Prof. Isabel F. Cruz Department of Electrical Engineering and Computer Science Tufts University	Database Visualization
April 19 Friday 11 a.m. - 12 noon	FL320	Robert F. Dugan Computer Science Department Rensselaer Polytechnic Institute	A Computational Model For Geographic Information Systems
April 22 Monday 11 a.m. - 12 noon	FL320	Prof. Anna C. Thornton Mechanical Engineering Department Massachusetts Institute of Technology	Constraint Based Design: Tools and Methods to Improve The Search For Feasible Designs
June 6 Wednesday 11 a.m. - 12 noon	FL320	Howie Dow Digital Equipment Corporation	Detailed Product Knowledge Is Not a Prerequisite For an Effective Formal Software Inspection
October 4 Friday 11 a.m. - 12 noon	FL320	Prof. David Finkel WPI Computer Science Department	Windows 95 As An Operating System
October 11 Friday 11 a.m. - 12 noon	FL320	Jim Miller World Wide Web Consortium Massachusetts Institute of Technology	The World Wide Web Consortium: Helping The Web Reach Its Maximum Potential
October 18 Friday 11 a.m. - 12 noon	FL320	Prof. Carolina Ruiz WPI Computer Science Department	Fixpoints And Minimal Model Reasoning
November 1 Friday 11 a.m. - 12 noon	FL320	Keith Barker University of Connecticut	A Structured Approach, Using Multiple Frames, For Web-Based Laboratory Courseware Delivery
November 11 Friday 11 a.m. - 12 noon	FL320	Prof. Azer Bestavros Computer Science Department Boston University	Taming The World Wide Web
November 22 Friday 11 a.m. - 12 noon	FL320	James G. Schmolze Department of Electrical Engineering and Computer Science Tufts University	Validation And Verification Of Production Rules Using Rewrite Semantics
November 25 Monday 11 a.m. - 12 noon	FL320	Thomas C. Bressoud Stratus Computer	Hypervisor-Based Fault-Tolerance
December 06 Friday 11 a.m. - 12 noon	FL320	Prof. David C. Brown WPI Computer Science Department	Research Methodology In Computer Science: A Guide For Graduate Students And Others Too

Maintained by webmaster@wpi.edu
Last modified: Sep 27, 2006, 16:05 EDT