<div class="gmail_quote">FM 2011: 17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS<br>
<a href="http://fm2011.lero.ie" target="_blank">http://fm2011.lero.ie</a><br>
June 20-24, 2011<br>
Lero, Limerick, Ireland<br>
<br>
Submission of Technical Papers: January 10th, 2011<br>
<a href="http://www.easychair.org/conferences/?conf=fm2011" target="_blank">http://www.easychair.org/conferences/?conf=fm2011</a><br>
<br>
FM 2011 is the seventeenth in a series of symposia organized by<br>
Formal Methods Europe, an independent association whose aim is<br>
to stimulate the use of, and research on, formal methods for<br>
software development. The symposia have been notably successful<br>
in bringing together innovators and practitioners in precise<br>
mathematical methods for software and systems development,<br>
industrial users as well as researchers. Submissions are<br>
welcomed in the form of original papers on research and<br>
industrial experience, proposals for workshops and tutorials,<br>
entries for the exhibition of software tools and projects, and<br>
reports on ongoing doctoral work.<br>
<br>
The FM 2011 Symposium will be based around the theme<br>
Formal Methods Come of Age<br>
<br>
It will have the goal of highlighting and celebrating advances<br>
and maturity in formal methods research, education, and<br>
deployment via tool support and industrial best practice, and<br>
their role in a variety of industries, domains, and in<br>
certification and assurance. FM 2011 particularly welcomes<br>
papers on experience with practical applications of formal<br>
methods in industrial and research settings, experimental<br>
validation of tools and methods as well as construction and<br>
evolution of formal methods tools.<br>
<br>
The broad topics of interest for FM 2011 are:<br>
<br>
* Formal methods in practice: industrial applications of formal<br>
methods, experience with introducing formal methods in industry,<br>
tool usage reports, experiments with challenge problems.<br>
Authors are encouraged to explain how the use of formal methods<br>
has overcome problems, lead to improvements in design or<br>
provided new insights.<br>
<br>
* Tools for formal methods: advances in automated verification and<br>
model-checking, integration of tools, environments for formal<br>
methods, experimental validation of tools. Authors are<br>
encouraged to demonstrate empirically that the new tool or<br>
environment advances the state of the art.<br>
<br>
* Role of formal methods in software and systems engineering;<br>
development processes with formal methods, usage guidelines for<br>
formal methods, method integration. Authors are encouraged to<br>
demonstrate that process innovations lead to qualitative or<br>
quantitative improvements.<br>
<br>
* Theoretical foundations: all aspects of theory related to<br>
specification, verification, refinement, and static analysis.<br>
Authors are encouraged to explain how their results contribute<br>
to the solution of practical problems with methods or tools.<br>
<br>
PAPER SUBMISSION<br>
<br>
Papers will be evaluated by the Programme Committee according to<br>
their originality, significance, soundness, quality of<br>
presentation and relevance with respect to the main issues of<br>
the symposium.<br>
<br>
There are 2 categories of paper:<br>
<br>
* Regular papers not exceeding 15 pages including appendices using<br>
Springer LNCS format. Authors of papers reporting experimental<br>
work are strongly encouraged to make their experimental results<br>
available for use by reviewers.<br>
<br>
* Tools papers not exceeding 4 pages should describe the tool and<br>
its contribution. Authors of tools papers should make their tool<br>
available for use by reviewers.<br>
<br>
Reviewers will be asked to take account of any available data or<br>
tools in assessing the contribution of the paper. There will be<br>
a short rebuttal phase during which authors may provide a short<br>
response to the reviews of their paper before final decisions<br>
are made.<br>
<br>
Accepted papers will be published in the Symposium Proceedings,<br>
to appear in Springer's Lecture Notes in Computer Science.<br>
Submitted papers should have not been submitted elsewhere for<br>
publication, should be in Springer's format.<br>
<br>
INDUSTRY DAY<br>
<br>
FM 2011 will include an Industry Day that will be dedicated to<br>
sharing experience with using formal methods in industrial<br>
environments. The Industry Day Chairs will solicit presentations<br>
from industry. Abstracts will appear in the Symposium<br>
Proceedings.<br>
<br>
WORKSHOPS<br>
<br>
We welcome proposals for one-day or one-and-a-half-day workshops<br>
in subjects related to FM 2011. In particular, but not<br>
exclusively, we encourage proposals for workshops on various<br>
application domains.<br>
<br>
TUTORIALS<br>
<br>
We are soliciting proposals for full-day or half-day tutorials.<br>
The tutorial contents can be selected from a wide range of<br>
topics that reflect the conference themes and provide clear<br>
utility to practitioners. Each proposal will be evaluated on<br>
importance, relevance, timeliness, audience appeal and past<br>
experience and qualification of the instructors.<br>
<br>
DOCTORAL SYMPOSIUM<br>
<br>
PhD students are invited to submit papers describing their work<br>
(in progress). The authors of the accepted papers will present<br>
their work at the symposium in the presence of the members of an<br>
Examination Committee, who will act as "friendly examiners",<br>
providing detailed feedback. Students whose submissions are<br>
accepted will be able to participate in the Doctoral Symposium.<br>
<br>
IMPORTANT DATES<br>
<br>
Submission of Technical Papers: January 10th, 2011<br>
Submission of Tutorial and Workshop Proposals: January 24th, 2011<br>
Notification for Technical Papers: March 8th, 2011<br>
Notification for Tutorial and Workshop Proposals: March 22nd, 2011<br>
<br>
Information on the format of workshop and tutorial proposals and<br>
on Doctoral Symposium submissions will be made available on the<br>
Symposium website.<br>
<br>
GENERAL CHAIR<br>
Mike Hinchey, Lero, Ireland<br>
<br>
PC CHAIRS<br>
Michael Butler, University of Southampton, UK<br>
Wolfram Schulte, Microsoft Research, USA<br>
<br>
PROGRAMME COMMITTEE<br>
See <a href="http://www.lero.ie/fm2011/programcommittee.html" target="_blank">http://www.lero.ie/fm2011/programcommittee.html</a><br>
<br>
WORKSHOP CHAIRS<br>
Emil Vassev, Lero, Ireland<br>
David Sinclair, Lero, Ireland<br>
<br>
TUTORIALS CHAIR<br>
Nico Plat, West Consulting, The Netherlands<br>
<br>
INDUSTRY DAY CHAIR<br>
Andrew Butterfield, Trinity College Dublin, Ireland<br>
<br>
DOCTORAL CHAIR<br>
Norah Power, Lero, Ireland<br>
<br>
PUBLICITY CHAIR<br>
Jonathan Bowen, Museophile Limited, UK<br>
<font color="#888888"><br><br></font></div><br>-- <br>Prof. Jonathan Bowen<br>Emeritus Professor, London South Bank University<br>Visiting Professor, University of Westminster<br>Chairman, Museophile Limited<br><a href="http://www.jpbowen.com" target="_blank">http://www.jpbowen.com</a><br>
<br>