Teaching Formal Methods: Curriculum Development
Workshop
Hamilton College
July 30 - August 5, 1994
Formal Methods in the Early Computer Science
Curriculum: an Informal Workshop
Graduate Center of the City University of New York
September 16, 1995
Formal Methods in the Computer Science Curriculum
Stevens Institute of Technology
July 24 - 25, 1996
The 21st Century
Engineering Consortium: announcement;
report
Melbourne, Florida
March 18 -- 19, 1998