ITiCSE Working Group on

Support for Teaching and Learning Formal Methods

ITiCSE 2000
(Conference on Innovation and Technology in Computer Science Education)

Helsinki, Finland, July 10-14, 2000

To appear: Work to create the new web-based resource (Fall 2000)

Materials generated during ITiCSE conference (look here for the final draft of the WG report)

ITiCSE 2000 Working Group #1 (thanks to Don Goelman) When ITiCSE ends, we know Jorma'll Review and assess (which is normal) Though the groups were all good, All the best in the 'hood Were the ones with the methods so formal!

Working Documents and Contributions

Templates for reviewing software and web-based resources

Motivation

Agenda

Plan of action

Working Group members

Advisory Board

Deliverables

Pages with information about formal methods (the basis for our on-line research efforts)

The mailing list for the Formal Methods Working Group is iticse-fmwg@lists.cc.utexas.edu. This mailing list will be our primary means of communication.

Web Pages Related to the Working Group and ITiCSE

The flyer for the working group can be found at: http://www.cs.utexas.edu/users/csed/FM/flyer.html.

The full call for participants can be found at: http://www.cs.utexas.edu/users/csed/formal_methods/CFP.html

Information about the conference is at: http://www.cs.helsinki.fi/events/iticse/

Working Group topics and reports from past ITiCSE conferences are at: http://www.cs.utexas.edu/users/csed/iticse/

Change History:

• 20 October 2000: Revised pages to reflect completion of the working group activities and shift into work on the proposed web area.
• 29 May 2000: Shift in WG title (from "...with software" to "support for..."); added link for pages about formal methods
• 25 May 2000: Baseline version