[Haskell] Call for Proposals: FM’08: The 15th International Symposium on Formal Method s

events-admin at fmeurope.org events-admin at fmeurope.org
Mon Nov 28 11:56:55 EST 2005

                        Formal Methods Europe
                          Call for Proposals
      FM’08: The 15th International Symposium on Formal Methods

Formal Methods Europe invites proposals from organisations interested in
hosting the 15th International Symposium on Formal Methods (FM’08), to be
held in Europe in Spring 2008.

Formal Methods Europe (FME, http://www.fmeurope.org/) is a worldwide
association bringing together researchers and practitioners in all aspects
of formal methods for the evelopment, analysis and maintenance of
computing systems and software. Its activities include the dissemination
of research findings and industrial experience through symposia and
sponsored events, notably the long running and highly regarded series of
“FM” symposia. The 14th symposium in the series (http://fm06.mcmaster.ca/)
is being organised by McMaster University, Ontario, Canada for August
2006. We invite enquiries and proposals from potential hosts for the 15th
Symposium (FM’08), which will be held at a European location, in spring
Symposia take place approximately every 18 months and have at their core
an international technical conference based on high quality refereed
papers with published proceedings. A programme of workshops, tutorials and
exhibitions adds to the event. However, there are few fixed rules
regarding the format and potential hosts are invited to discuss options
with FME. Attendances typically range from 125 to 260 participants.

Important Dates
- January 15, 2006 Proposals due
Following receipt of proposals, FME’s board will discuss proposals by
email with the proposers.

- April 15, 2006 Latest date for notification of proposal acceptance
Proposal Submission
Proposals should be regarded as expressions of interest and will serve as
a basis for discussion. They are not binding agreements and acceptance of
a proposal does not constitute a final commitment on either side.
Proposals should be no more than 3 pages in length and should contain:
• A brief description of why hosting the symposium is of interest to the
proposing institution.
• The names and contact information (web page, email address) of the
proposed organising committee.
• Previous experience in events organisation.
• A description of the facilities that will be available for the symposium.
We welcome informal enquiries. Please send your proposals and any
enquiries by electronic mail to: info at fmeurope.org. Proposals should be
submitted in PDF.

events mailing list
events at fmeurope.org

More information about the Haskell mailing list