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 [...]