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)
When ITiCSE ends, we know Jorma'll
Working Documents and Contributions
Templates for reviewing software and web-based resources
Plan of action
Working Group members
Pages with information about formal methods (the basis for our on-line research efforts)
The mailing list for the Formal Methods Working Group is email@example.com. This mailing list will be our primary means of communication.
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/