FME 2002: call for participation
Mon, 29 Apr 2002 15:27:07 +0200

Dear collegue,

FME 2002 is the eleventh in a series of symposia organised by Formal Methods
Europe (, an independent association whose aim is to
stimulate the use of, and research on, formal methods for software
development. These symposia have been notably successful in bringing
together a community of users, researchers, and developers of precise
mathematical methods for software development.

Registration for FME 2002 is now open!

Please visit and

for more information and and on-line registration.

Don't miss out on this event!

Mailinglist mailing list