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!