<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><span style="font-family: Menlo-Regular; font-size: 11px;">**********************************************************************</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">11th International Conference on integrated Formal Methods, iFM 2014</span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">Co-located with the 11th International Symposium on Formal Aspects of</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">Component Software, FACS 2014</span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">September 9 - 12, 2014 - Bertinoro, Italy</span><br style="font-family: Menlo-Regular; font-size: 11px;"><a href="http://ifm2014.cs.unibo.it" style="font-family: Menlo-Regular; font-size: 11px;">http://ifm2014.cs.unibo.it</a><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">**********************************************************************</span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">IMPORTANT DATES</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Abstract Submission: April 17, 2014</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Paper submission: April 25, 2014</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Paper notification: June 6, 2014</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Final version paper: June 27, 2014</span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">OBJECTIVES AND SCOPE</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">Applying formal methods may involve modeling different aspects of a</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">system which are best expressed using different formalisms.</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">Correspondingly, different analysis techniques may be used to examine</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">different system views, different kinds of properties, or simply in</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">order to cope with the sheer complexity of the system. The iFM</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">conference series seeks to further research into hybrid approaches to</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">formal modeling and analysis; i.e., the combination of (formal and</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">semi-formal) methods for system development, regarding modeling and</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">analysis, and covering all aspects from language design through</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">verification and analysis techniques to tools and their integration</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">into software engineering practice. </span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">Areas of interest include but are not limited to: </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Formal and semiformal modelling notations; </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Integration of formal methods into software engineering practice; </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Refinement; </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Theorem proving;</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Tools; </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Logics; </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Model checking; </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Model transformations; </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Semantics; </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Static Analysis; </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Type Systems; </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Verification;</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Case Studies; </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Experience reports </span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">CONFERENCE LOCATION</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">iFM 2014 is organized by the University of Bologna and will take</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">place at the Centro Residenziale Universitario in Bertinoro, a small</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">medieval hilltop town 50km east of Bologna.</span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">INVITED SPEAKERS</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">iFM 2014 will have the following keynote speakers jointly with FACS 2014: </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Rocco De Nicola (IMT Lucca)</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Sophia Drossopoulou (Imperial College)</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Jean-Bernard Stefani (INRIA)</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Helmut Veith (TU Wien)</span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">WORKSHOPS</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">There are two days of workshops and tutorials. iFM will take place</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">September 9 - 11, 2014, FMCO will take place September 10 - 12, and</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">the tutorials and workshops on September 9 and September 12:</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Harnessing Theories for Tool Support in Software (TTSS)</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Logics and Model-checking for Self-* Systems (MOD*)</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Tools and Methods for Cyber-Physical Systems of Systems</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- ENVISAGE Contracts for SLAs</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">Further information is on the web site.</span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">SUBMISSION GUIDELINES</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">iFM 2013 solicits high quality papers reporting research results</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">and/or experience reports related to the overall theme of method</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">integration. The conference proceedings will be published in</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">Springer's Lecture Notes in Computer Science series. All submissions</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">must be original, unpublished, and not submitted for publication</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">elsewhere. Submissions must be in PDF format, using the Springer LNCS</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">style files; we suggest to use the LaTeX2e package (the llncs.cls</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">class file, available in llncs2e.zip and the typeinst.dem available</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">in typeinst.zip as a template for your contribution). Papers should</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">not exceed 15 pages in length. Each paper will undergo a thorough</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">review process. Submissions should be made using the iFM 2014</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">Easychair web site:</span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><a href="https://www.easychair.org/account/signin.cgi?conf=ifm2014" style="font-family: Menlo-Regular; font-size: 11px;">https://www.easychair.org/account/signin.cgi?conf=ifm2014</a><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">All accepted papers must be presented at the conference. The authors</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">must be prepared to sign a copyright transfer statement. At least one</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">author of each accepted paper must register to the conference by the</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">early date, to be indicated by the organizers, and present the paper. </span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">GENERAL CHAIR </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Gianluigi Zavattaro, University of Bologna, Italy</span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">iFM PROGRAMME COMMITTEE CHAIRS: </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Elvira Albert, Complutense University of Madrid, Spain</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Emil Sekerinski, McMaster University, Canada</span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">FMCO and iFM WORKSHOP CHAIR</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Elena Giachino, University of Bologna, Italy</span><br style="font-family: Menlo-Regular; font-size: 11px;"><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">iFM PROGRAM COMMITTEE</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Erika Abraham, RWTH Aachen University, Germany</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Clara Benac, Technical University of Madrid, Spain</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Ana Cavalcanti, University of York, UK</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Frank de Boer, CWI Amsterdam, Netherlands</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Eerke Boiten, University of Kent, UK</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Michael Butler, University of Southampton, UK</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- David Déharbe, Federal University of Rio Grande do Norte, Brazil</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- John Derrick, University of Sheffield, UK</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Marc Frappier, University of Sherbrooke, Canada</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Elena Giachino, University of Bologna, Italy</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Susanne Graf, Verimag, France</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- John Hatcliff, Kansas State University, USA</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Einar Broch Johnsen, University of Oslo, Norway</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Rajeev Joshi, NASA Jet Propulsion Laboratory, USA</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Laura Kovács, Chalmers University of Technology, Sweden</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Diego Latella, National Research Council, Pisa, Italy</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Stefan Leue, University of Konstanz, Germany</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Shaoying Liu, Hosei University, Japan</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Dominique Mery, LORIA and University of Lorraine, France</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Antoine Mine, Ecole Normale Supérieur, France</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Luigia Petre, Åbo Akademi University, Finland </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Guillermo Román Díez, Technical University of Madrid, Spain</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Fernando Rosa, Complutense University of Madrid, Spain</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Augusto Sampaio, University of Pernambuco, Brazil</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Thomas Santen, European Microsoft Innovation Center, Germany</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Steve Schneider, University of Surrey, UK</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Graeme Smith, University of Queensland, Australia</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Kenji Taguchi, AIST, Japan</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Tayssir Touili, University Paris Diderot, France</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Helen Treharne, University of Surrey, UK </span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Jüri Vain, Tallinn University of Technology, Estonia</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Heike Wehrheim, University of Paderborn, Germany</span><br style="font-family: Menlo-Regular; font-size: 11px;"><span style="font-family: Menlo-Regular; font-size: 11px;">- Peter Wong, Fredhopper B.V., Netherlands</span></body></html>