Call for Participation: Formal Methods 2014 (FM 2014), Singapore, May 12-16, 2014

[Jonathan Bowen]

Call for Participation: Formal Methods 2014 (FM 2014), Singapore, May 12-16, 2014

FM 2014 received a high number of high-quality submissions this year resulting in
a highly competitive selection of accepted papers, and we are proud to announce
an excellent program. Please join us at FM 2014!

GENERAL THEME

FM 2014 is the nineteenth in a series of symposia organized by Formal Methods
Europe, an independent association whose aim is to stimulate the use of, and
research on, formal methods for software development. The symposia have been
notably successful in bringing together innovators and practitioners in precise
mathematical methods for software and systems development, industrial users, as
well as researchers. In addition to high-quality main track papers, FM 2014
features 7 industry track papers which highlight industry applications of formal
methods.

VENUE

FM 2014 will be held in National University of Singapore, Singapore. Different
options for accommodations are available. Please refer to our website on how to
reserve rooms at special rates.

See: http://www.comp.nus.edu.sg/~pat/FM2014/conference_hotel.html

REGISTRATION

The deadline for early registration is March 31, 2014. After March 31, 2014,
late and on-site registration fees apply. Registrations for the main conference,
workshops and tutorials, include breakfast, lunch and coffee breaks. Please visit
the registration webpage for further details:

See: http://www.comp.nus.edu.sg/~pat/FM2014/registration.html

Visitors to Singapore from certain countries are required to apply for an entry
visa, typically through an embassy in their country. Kindly contact us if any
assistance from the conference organisor is needed.

PROGRAM OVERVIEW

* Workshops (May 12-13, 2014)
- AI4FM 2014: http://www.ai4fm.org/ai4fm-2014/
- ESSS 2014: http://pat.sce.ntu.edu.sg/esss14/
- FMTV 2014: http://www.merge-project.eu/?page_id=192
- FSFMA 2014: http://lipn.univ-paris13.fr/fsfma2014/
- QFM 2014: http://web.science.mq.edu.au/conferences/qfm14/
- UTP 2014: http://www.comp.nus.edu.sg/~pat/UTP2014/

* Tutorials (May 12-13, 2014): http://www.comp.nus.edu.sg/~pat/FM2014/tutorial.html
- Collaborative Modelling and Co-simulation: Tools and techniques for Designing Embedded Systems
- Unifying Theories of Programming in Isabelle/HOL
- Formal Model-Driven Engineering
- BACH: From Bounded Reachability Analysis of Linear Hybrid Automata To Online Verification of Industrial Cyber-Physical System
- The Correctness-by-Construction Approach to Programming

* Doctoral Symposium (May 13, 2014)

* Main Conference (May 14-16)
- Keynotes: http://www.comp.nus.edu.sg/~pat/FM2014/keynotes.html
- Main Track Papers: http://www.comp.nus.edu.sg/~pat/FM2014/accepted_main_track_papers.html
- Industry Track Papers: http://www.comp.nus.edu.sg/~pat/FM2014/accepted_industry_track_papers.html

See you in Singapore!