Lead Story
FM 2009
We are happy to announce FM2009, the 16th International Symposium on Formal Methods, Oct 30-Nov 7, 2009, Eindhoven, Netherlands. Celebrating 10 years after the World Congress in Toulouse, we envision a large conference with many workshops attached. FME has budgeted EUR 15,000 for sponsoring the co-events (e.g. invited speakers at workshops).
{More»}
Sponsored by FME
PSI 2009, Novosibirsk, Russia»The Seventh International Andrei Ershov Memorial Conference “Perspectives of System Informatics” was held in June 15-19, 2009, in Akademgorodok, Novosibirsk, Russia. The PSI’09 Conference was dedicated to the memory of a prominent scientist academician A.P. Ershov and to a significant date in the history of computer science in the country, namely, to the 50th anniversary of [...]
FME Meeting
FME Meeting in Pisa, 10 October 2008 (update)»The meeting was held succesfully. The minutes can be found in the Minutes section.
News
REFINE 2009»The 14th edition of the BCS-FACS Refinement Workshop will be held as part of the FM Week at Eindhoven, on 2 November 2009. Proceedings will appear in ENTCS, and a special issue of Formal Aspects of Computing will be produced afterwards, consisting of developments and extensions of workshop papers.
Carroll Morgan has agreed to be the invited speaker, with tentative title [...]
