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
[EMAIL PROTECTED]
http://www.fmeurope.org/mailman/listinfo/mailinglist
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
