FME 2002: call for participation

[mailinglist@fmeurope.org]

Dear collegue,

FME 2002 is the eleventh in a series of symposia organised by Formal Methods
Europe (www.fmeurope.org), 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

    http://floc02.diku.dk/FME/ and
    http://floc02.diku.dk/floc/register.html

for more information and and on-line registration.

Don't miss out on this event!

_______________________________________________
Mailinglist mailing list
Mailinglist@fmeurope.org
http://www.fmeurope.org/mailman/listinfo/mailinglist