FM 2009: Call for Workshops
This is a multi-part message in MIME format.
————–050805090500020909010507
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
(Apologies if you receive this announcement multiple times)
****************************************************************************
Call for Workshop Proposals
Formal Methods 2009
4-6 November, Eindhoven, The Netherlands
****************************************************************************
FM2009 is the sixteenth international symposium of the Formal
Methods Europe association. Ten years after the world congress
in Toulouse in 1999, FM2009 will be organized as a world congress
again, […]