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 29-Apr-2002 16:12:19 -0300,2530;000000000000-00000000