posted by user: mpstew || 2518 views || tracked by 6 users: [display]

FM 2011 : Call for FM Symposium Proposals; 17th International Symposium on Formal Methods

FacebookTwitterLinkedInGoogle

Link: http://www.fmeurope.org/mailman/listinfo/events
 
When N/A
Where TBD
Submission Deadline Mar 15, 2009
Notification Due Apr 30, 2009
 

Call For Papers

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.

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 \221Rough Guide to the FME
Symposium\222 is available on www.fmeurope.org.

SUBMITTING YOUR PROPOSAL

Please send your proposal (in PDF format) and any enquiries to
info@fmeurope.org.

Related Resources

FM 2024   Formal Methods
ICFEM 2024   International Conference on Formal Engineering Methods
FL@FM-TheWebConf 2024   International Workshop on Federated Foundation Models for the Web 2024
Mathematically Modeling Early Christian 2024   Call for Papers - Mathematically Modeling Early Christian Literature: Theories, Methods, and Future Directions
FL@FM-IJCAI 2024   International Workshop on Federated Learning in the Age of Foundation Models In Conjunction with IJCAI 2024
FL@FM-ICME 2024   International Workshop on Federated Learning and Foundation Models for Multi-Media
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
FL@FM-IJCNN 2024   IJCNN'24 Special Session on Trustworthy Federated Learning: in the Era of Foundation Models
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning