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



Plan of action

Working Group members

Advisory Board


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

The mailing list for the Formal Methods Working Group is 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:

The full call for participants can be found at:

Information about the conference is at:

Working Group topics and reports from past ITiCSE conferences are at:

Change History:

Page prepared by Vicki L. Almstrum. Department of Computer Sciences at UT Austin
Send suggestions, comments to