CoLogNet / Formal Methods Europe Symposium 2004

[mailinglist@fmeurope.org]

Dear Colleagues,

The preliminary announcement and Call for Papers for the

      CoLogNet / Formal Methods Europe Symposium
             on Teaching Formal Methods
                          2004

can be found at the following site:

http://www.intec.rug.ac.be/groupsites/formal/Sympos2004/Sympos2004.htm

Sincerely yours,

Raymond Boute