<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 12 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Comic Sans MS";
panose-1:3 15 7 2 3 3 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0cm;
margin-bottom:.0001pt;
font-size:10.5pt;
font-family:"Comic Sans MS";}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:"Comic Sans MS";}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-US link=blue vlink=purple><div class=WordSection1><p class=MsoPlainText>[Apologies if you receive multiple copies of this message]<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>The iFM&ABZ 2012 web site (<a href="http://ifm-abz.isti.cnr.it/">http://ifm-abz.isti.cnr.it/</a>) now provides, <o:p></o:p></p><p class=MsoPlainText>in the Download section (http://ifm-abz.isti.cnr.it/downloads/download.html),<o:p></o:p></p><p class=MsoPlainText>a B5 and a A4 poster, ready to be printed.<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>Feel free used them for more "concrete" publicity if you wish.<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>CALL FOR PAPERS<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>**********************************************************************<o:p></o:p></p><p class=MsoPlainText>9th International Conference on Integrated Formal Methods (iFM 2012) in conjunction with ABZ 2012, in honor of Egon Boerger's 65th birthday for his contribution to state-based formal methods<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText><b><span lang=IT style='font-size:14.0pt'>June 18 - 22, 2012 - CNR - Pisa - ITALY http://ifm.isti.cnr.it<o:p></o:p></span></b></p><p class=MsoPlainText><span lang=IT><o:p> </o:p></span></p><p class=MsoPlainText><span lang=IT>Consiglio Nazionale delle Ricerche<o:p></o:p></span></p><p class=MsoPlainText><span lang=IT>Istituto di Scienza e Tecnologie dell'Informazione ``A. Faedo''<o:p></o:p></span></p><p class=MsoPlainText>Formal Methods && Tools Lab.<o:p></o:p></p><p class=MsoPlainText>Via Moruzzi 1 - 56124 Pisa<o:p></o:p></p><p class=MsoPlainText>**********************************************************************<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>OBJECTIVES AND SCOPE<o:p></o:p></p><p class=MsoPlainText>Applying formal methods may involve the modeling of different aspects of a system that are expressed through different paradigms. <o:p></o:p></p><p class=MsoPlainText>Correspondingly, different analysis techniques will be used to examine differently modeled system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. <o:p></o:p></p><p class=MsoPlainText>The iFM conference series seeks to further research into the combination of (formal and semi-formal) methods for system development, regarding modeling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their <o:p></o:p></p><p class=MsoPlainText>integration into software engineering practice Areas of interest <o:p></o:p></p><p class=MsoPlainText>include but are not limited to: <o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>- Case Studies;<o:p></o:p></p><p class=MsoPlainText>- Experience reports;<o:p></o:p></p><p class=MsoPlainText>- Formal and semiformal modelling notations;<o:p></o:p></p><p class=MsoPlainText>- Integration of formal methods into software engineering practice;<o:p></o:p></p><p class=MsoPlainText>- Logics;<o:p></o:p></p><p class=MsoPlainText>- Model checking;<o:p></o:p></p><p class=MsoPlainText>- Model transformations;<o:p></o:p></p><p class=MsoPlainText>- Semantics;<o:p></o:p></p><p class=MsoPlainText>- Static Analysis;<o:p></o:p></p><p class=MsoPlainText>- Refinement;<o:p></o:p></p><p class=MsoPlainText>- Theorem proving;<o:p></o:p></p><p class=MsoPlainText>- Tools;<o:p></o:p></p><p class=MsoPlainText>- Type Systems;<o:p></o:p></p><p class=MsoPlainText>- Verification<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>SUBMISSION GUIDELINES<o:p></o:p></p><p class=MsoPlainText>iFM 2012 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. <o:p></o:p></p><p class=MsoPlainText>The conference proceedings will be published by Springer Lecture Notes in Computer Science series. All papers must be original, unpublished, and not submitted for publication elsewhere. All submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). Submissions should be made using the iFM 2012 Easychair web site. Papers should not exceed 15 pages in length. Each paper will undergo a thorough review process. <o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. <o:p></o:p></p><p class=MsoPlainText>At least one author of each accepted paper must register to the conference by the early date indicated by the organizers, and present the paper.<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>IMPORTANT DATES<o:p></o:p></p><p class=MsoPlainText><b><span style='font-size:12.0pt'>Paper submission: January 14, 2012<o:p></o:p></span></b></p><p class=MsoPlainText>Paper notification: March 1, 2012<o:p></o:p></p><p class=MsoPlainText>Final version paper: March 20, 2012<o:p></o:p></p><p class=MsoPlainText>Poster/Demo submission: April 1, 2012<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>INVITED SPEAKERS<o:p></o:p></p><p class=MsoPlainText>Egon Boerger, University of Pisa, Italy<o:p></o:p></p><p class=MsoPlainText>Muffy Calder, University of Glasgow, United Kingdom Ian J. Hayes, University of Queensland, Australia<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>ABZ-iFM 2012 GENERAL CHAIRS<o:p></o:p></p><p class=MsoPlainText>John Derrick, University of Sheffield, United Kingdom Stefania Gnesi, CNR-ISTI, Italy<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>iFM PROGRAMME COMMITTEE CHAIRS: <o:p></o:p></p><p class=MsoPlainText>Diego Latella, CNR-ISTI, Italy<o:p></o:p></p><p class=MsoPlainText>Helen Treharne, University of Surrey, United Kingdom <o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText><span lang=IT>ABZ-iFM 2012 FINANCE CHAIR<o:p></o:p></span></p><p class=MsoPlainText><span lang=IT>Alessandro Fantechi, Universita' di Firenze, Italy<o:p></o:p></span></p><p class=MsoPlainText><span lang=IT><o:p> </o:p></span></p><p class=MsoPlainText>ABZ-iFM 2012 TUTORIALS CHAIR<o:p></o:p></p><p class=MsoPlainText>Jonathan Bowen, Museophile Limited, United Kingdom<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>ABZ-iFM 2012 WORKSHOPS CHAIR<o:p></o:p></p><p class=MsoPlainText>Maurice ter Beek, CNR-ISTI, Italy<o:p></o:p></p><p class=MsoPlainText><span lang=IT>Angelo Gargantini, Universita' di Bergamo, Italy<o:p></o:p></span></p><p class=MsoPlainText><span lang=IT><o:p> </o:p></span></p><p class=MsoPlainText>ABZ-iFM 2012 POSTERS & TOOL DEMO CHAIRS<o:p></o:p></p><p class=MsoPlainText><span lang=IT>Franco Mazzanti, CNR-ISTI, Italy<o:p></o:p></span></p><p class=MsoPlainText><span lang=IT>Gianluca Trentanni, CNR-ISTI, Italy<o:p></o:p></span></p><p class=MsoPlainText><span lang=IT><o:p> </o:p></span></p><p class=MsoPlainText>ABZ-iFM 2012 ORGANIZING COMMITTEE CHAIR Maurice ter Beek, CNR-ISTI, Italy<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>PROGRAM COMMITTEE<o:p></o:p></p><p class=MsoPlainText>Marc Benveniste, STMicroelectronics Rousset, France<o:p></o:p></p><p class=MsoPlainText>Eerke Boiten, University of Kent, UK<o:p></o:p></p><p class=MsoPlainText>Jonathan Bowen, Museophile Limited, UK <o:p></o:p></p><p class=MsoPlainText>Jim Davies, Oxford University, UK<o:p></o:p></p><p class=MsoPlainText>John Derrick, University of Sheffield, UK<o:p></o:p></p><p class=MsoPlainText>Jin Song Dong, National University of Singapore<o:p></o:p></p><p class=MsoPlainText>Kerstin Eder, University of Bristol, UK<o:p></o:p></p><p class=MsoPlainText><span lang=IT>Alessandro Fantechi, Univ. Florence & CNR/ISTI, Italy<o:p></o:p></span></p><p class=MsoPlainText>John Fitzgerald, University of Newcastle, UK<o:p></o:p></p><p class=MsoPlainText>Andy Galloway, University of York, UK<o:p></o:p></p><p class=MsoPlainText>Einar Broch Johnsen, University of Oslo, Norway<o:p></o:p></p><p class=MsoPlainText><span lang=IT>Rajeev Joshi, NASA Jet Propulsion Laboratory, USA<o:p></o:p></span></p><p class=MsoPlainText><span lang=IT>Diego Latella, CNR/ISTI, Italy<o:p></o:p></span></p><p class=MsoPlainText>Michael Leuschel, University of Duesseldorf, Germany<o:p></o:p></p><p class=MsoPlainText>Michele Loreti, University of Florence, Italy<o:p></o:p></p><p class=MsoPlainText><span lang=IT>Silvia Mazzini, Intecs S.p.A., Italy<o:p></o:p></span></p><p class=MsoPlainText>Dominique Mery, Nancy University and LORIA, France<o:p></o:p></p><p class=MsoPlainText>Stephan Merz, INRIA Nancy and LORIA, France<o:p></o:p></p><p class=MsoPlainText>Alexandre Mota, CIn-UFPE, Brasil<o:p></o:p></p><p class=MsoPlainText>Flemming Nielson, Technical University of Denmark <o:p></o:p></p><p class=MsoPlainText><span lang=FR>Luigia Petre, Abo Akademi University, Turku, Finland<o:p></o:p></span></p><p class=MsoPlainText><span lang=FR>David Pichardie, INRIA Rennes, France <o:p></o:p></span></p><p class=MsoPlainText>Thomas Santen, Microsoft Research, Aachen, Germany<o:p></o:p></p><p class=MsoPlainText>Steve Schneider, University of Surrey, UK <o:p></o:p></p><p class=MsoPlainText><span lang=IT>Kaisa Sere, Abo Akademi University, Turku, Finland<o:p></o:p></span></p><p class=MsoPlainText>Graeme Smith, University of Queensland, Australia<o:p></o:p></p><p class=MsoPlainText>Kenji Taguchi, AIST, Japan <o:p></o:p></p><p class=MsoPlainText>Helen Treharne, University of Surrey, UK <o:p></o:p></p><p class=MsoPlainText>Mirco Tribastone, LMU, Germany<o:p></o:p></p><p class=MsoPlainText>Marina Walden, Abo Akademi Univ., Turku, Finland <o:p></o:p></p><p class=MsoPlainText>Heike Wehrheim, University of Paderborn, Germany <o:p></o:p></p><p class=MsoPlainText>Kirsten Winter, University of Queensland, Australia<o:p></o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText><o:p> </o:p></p><p class=MsoPlainText>**********************************************************************<o:p></o:p></p><p class=MsoPlainText>This call for papers and additional information about the conference <o:p></o:p></p><p class=MsoPlainText>can be found at http://ifm.isti.cnr.it<o:p></o:p></p><p class=MsoPlainText>For information regarding the conference you can contact:<o:p></o:p></p><p class=MsoPlainText>iFM2012@isti.cnr.it<o:p></o:p></p></div></body></html>