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!