From events at fmeurope.org Wed Jun 18 20:54:15 2008 From: events at fmeurope.org (Announcements of FME events) Date: Wed, 18 Jun 2008 20:54:15 +0200 (CEST) Subject: Call for =?iso-8859-1?Q?FM=9211_Symposium_Proposals?= Message-ID: <24715.82.95.105.36.1213815255.squirrel@webmail.xs4all.nl> Call for FM?11 Symposium Proposals 17th International Symposium on Formal Methods 2011 (FM?11) Spring/Summer 2011 - Preliminary announcement Formal Methods Europe (FME, www.fmeurope.org) is a worldwide association bringing together researchers and practitioners in formal methods for developing computing systems and software. We aim to encourage both research and application by disseminating research findings and industrial experience through symposia, sponsored events and special interest groups. We organize a symposium every 18 months, approximately. Each symposium attracts between 125 and 500 participants from all over the world. We anticipate holding the 17th such symposium in Spring/Summer 2011 and now invite proposals from any group or institution wishing to host this major event. We stress that the location of the symposium is not restricted to Europe. The event combines a regular scientific symposium with related activities such as tutorials, events for research students, exhibitions of tools, products, research projects and publishers. Innovation in the format and content is encouraged. IMPORTANT DATES ? March 15, 2009: Symposium proposals due. Following submission, proposers should be available to answer queries from the evaluators. ? April 30, 2009: Notification of evaluation. Proposals will be evaluated by FME?s board in consultation with the symposium steering group and other members of the association. FME and the successful proposers sign a formal agreement (contract). REQUIREMENTS FOR PROPOSALS Proposals should be no more than 4 pages in length and should contain: ? A brief description of why the symposium is of interest to the proposer. ? The vision for the event, including its aims, the expected format and scale. ? A description of the relevant qualifications and experience of the proposers, especially regarding conference organization logistics. ? A description of the facilities that will be available for the symposium and to support the organizers. ? The contact information of the proposed organizing committee. Note that an informative document called ?Rough Guide to the FME Symposium? is available on www.fmeurope.org. SUBMITTING YOUR PROPOSAL Please send your proposal (in PDF format) and any enquiries to info at fmeurope.org. From events at fmeurope.org Wed Jun 18 23:24:06 2008 From: events at fmeurope.org (Announcements of FME events) Date: Wed, 18 Jun 2008 23:24:06 +0200 (CEST) Subject: No subject Message-ID: <24006.82.95.105.36.1213824246.squirrel@webmail.xs4all.nl> -- Nico Plat -- E mail at nicoplat.com -- F +31 (8) 42281026 -- B http://blogger.xs4all.nl/nplat/