...collaborate on

Feb. 17, 2004

May 14, 2004 is the deadline for submission to CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004

Feb 6, 2004

Students interested in the Overture Project please contact to JNO. (NB: the Overture Modelling Language has great resemblance with VDM++)

Jan 31, 2004

Novas propostas para estágios curriculares em EstagiosProfisionais

January 29, 2004

Invitation to Wiki.

January 21, 2004

We have a new Wiki server for educational purposes!

Welcome to our Education.Archive Wiki!

This Wiki is maintained by the LMF research group.

If you need help using the Wiki goto the TWiki Web. If you want to contribute please register here (this is the case, for instance, for students who have been invited to maintain the pages of a course).

To navigate this Wiki use the links in the side bar.

Powered by TWiki

r29 - 12 Feb 2007 - 19:20:18 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM