<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=iso-8859-1" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 8.00.6001.18928">
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>FM 2011: 17TH INTERNATIONAL SYMPOSIUM ON FORMAL 
METHODS<BR><A href="">http://fm2011.lero.ie</A><BR>June 20-24, 2011<BR>Lero, 
Limerick, Ireland<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>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 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.&nbsp; 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.&nbsp; 
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.&nbsp; 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>&nbsp; Mike Hinchey, Lero, Ireland<BR><BR>PC CHAIRS<BR>&nbsp; Michael 
Butler, University of Southampton, UK<BR>&nbsp; Wolfram Schulte, Microsoft 
Research, USA<BR><BR>PROGRAMME COMMITTEE<BR>&nbsp; To be 
finalised<BR><BR>WORKSHOP CHAIRS<BR>&nbsp; Emil Vassev, Lero, Ireland<BR>&nbsp; 
David Sinclair, Lero, Ireland<BR><BR>TUTORIALS CHAIR<BR>&nbsp; 
TBD<BR><BR>INDUSTRY DAY CHAIRS<BR>&nbsp; Andrew Butterfield, Trinity College 
Dublin, Ireland<BR>&nbsp; TBD<BR><BR>DOCTORAL CHAIR<BR>&nbsp; Norah Power, Lero, 
Ireland<BR><BR>PUBLICITY CHAIR<BR>&nbsp; Jonathan Bowen, Museophile Limited, 
UK<BR>
<DIV><FONT face=Arial></FONT>&nbsp;</DIV></BODY></HTML>