<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif;">
<div>
<div><font face="Courier">Apologies for cross-posting!</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">===============================</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">The submission deadline for iFM 2016 has been extended:</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">Abstract submission: January 6, 2016 (extended)</font></div>
<div><font face="Courier">Paper submission: January 13, 2016 (extended)</font></div>
<div><font face="Courier">Paper notification: February 29, 2016</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">Please find an updated version of CfP below.</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">Best regards,</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">Erika Abraham</font></div>
<div><font face="Courier">Marieke Huisman</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">===========================================================</font></div>
<div><font face="Courier"> CALL FOR PAPERS</font></div>
<div><font face="Courier"> iFM 2016 </font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier"> 12th International Conference on integrated Formal Methods </font></div>
<div><font face="Courier"> June 1-3, 2016, Reykjavik, Iceland</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier"> <a href="http://en.ru.is/ifm/">http://en.ru.is/ifm/</a></font></div>
<div><font face="Courier">===========================================================</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">=== Important dates ===</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">Abstract submission: January 6, 2016 (extended)</font></div>
<div><font face="Courier">Paper submission: January 13, 2016 (extended)</font></div>
<div><font face="Courier">Paper notification: February 29, 2016</font></div>
<div><font face="Courier">Final version: March 14, 2016</font></div>
<div><font face="Courier">Conference: June 1-3, 2016</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">=== Objectives and scope ===</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">Applying formal methods may involve the usage of different formalisms</font></div>
<div><font face="Courier">and different analysis techniques to validate a system, either because</font></div>
<div><font face="Courier">individual components are most amenable to one formalism or technique,</font></div>
<div><font face="Courier">because one is interested in different properties of the system, or</font></div>
<div><font face="Courier">simply to cope with the sheer complexity of the system. The iFM</font></div>
<div><font face="Courier">conference series seeks to further research into hybrid approaches to</font></div>
<div><font face="Courier">formal modeling and analysis; i.e., the combination of (formal and</font></div>
<div><font face="Courier">semi-formal) methods for system development, regarding both modeling</font></div>
<div><font face="Courier">and analysis. The conference covers all aspects from language design</font></div>
<div><font face="Courier">through verification and analysis techniques to tools and their</font></div>
<div><font face="Courier">integration into software engineering practice.</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">Areas of interest include but are not limited to: </font></div>
<div><font face="Courier"> - Formal and semi-formal modelling notations</font></div>
<div><font face="Courier"> - Integration of formal methods into software engineering practice</font></div>
<div><font face="Courier"> - Hybrid systems</font></div>
<div><font face="Courier"> - Program verification</font></div>
<div><font face="Courier"> - Program synthesis</font></div>
<div><font face="Courier"> - Model checking</font></div>
<div><font face="Courier"> - Static analysis</font></div>
<div><font face="Courier"> - Runtime analysis, monitoring, performance evaluation</font></div>
<div><font face="Courier"> - Decision procedures, SAT and SMT solving </font></div>
<div><font face="Courier"> - Software engineering </font></div>
<div><font face="Courier"> - Component-based systems (compositional, embedded, distributed, etc.) </font></div>
<div><font face="Courier"> - Testing </font></div>
<div><font face="Courier"> - Abstraction and refinement </font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">=== Submission guidelines ===</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">iFM 2016 solicits high quality papers reporting research results</font></div>
<div><font face="Courier">and/or experience reports related to the overall theme of method</font></div>
<div><font face="Courier">integration.</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">We solicit papers in the following categories:</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier"> - research papers (max. 15 pages including bibliography)</font></div>
<div><font face="Courier"> - regular tool papers (max. 15 pages including bibliography)</font></div>
<div><font face="Courier"> - short tool papers (max. 8 pages including bibliography)</font></div>
<div><font face="Courier"> - case study papers (max. 15 pages including bibliography)</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">All submissions must be original, unpublished, and not submitted for</font></div>
<div><font face="Courier">publication elsewhere. Each paper will undergo a thorough review</font></div>
<div><font face="Courier">process. If necessary, a paper may be supplemented with a clearly</font></div>
<div><font face="Courier">marked appendix, which will be consulted at the discretion of the</font></div>
<div><font face="Courier">reviewers.</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">Submissions should be made using the iFM 2016 Easychair site:</font></div>
<div><font face="Courier"><a href="https://easychair.org/conferences/?conf=ifm2016">https://easychair.org/conferences/?conf=ifm2016</a></font></div>
<div><font face="Courier">Submissions must be in PDF format, using the Springer LNCS style</font></div>
<div><font face="Courier">files; we suggest to use the LaTeX2e package (the llncs.cls class</font></div>
<div><font face="Courier">file, available in llncs2e.zip and the typeinst.dem available in</font></div>
<div><font face="Courier">typeinst.zip as a template for your contribution). The conference</font></div>
<div><font face="Courier">proceedings will be published in Springer's Lecture Notes in Computer</font></div>
<div><font face="Courier">Science series.</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">All accepted papers must be presented at the conference. Their authors</font></div>
<div><font face="Courier">must be prepared to sign a copyright transfer statement. At least one</font></div>
<div><font face="Courier">author of each accepted paper must register to the conference by the</font></div>
<div><font face="Courier">early date, to be indicated by the organizers, and present the paper.</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">=== Invited speakers ===</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier"> Marsha Chechik (University of Toronto, Canada)</font></div>
<div><font face="Courier"> Laura Kovacs (Chalmers University of Technology, Sweden)</font></div>
<div><font face="Courier"> Reiner Haehnle (Technical University Darmstadt, Germany)</font></div>
<div><font face="Courier"> Edmund Clarke (Carnegie Mellon University, USA)</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">=== Workshops ===</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">iFM 2016 will be accompanied by a series of workshops. Further</font></div>
<div><font face="Courier">information is available from the conference website</font></div>
<div><font face="Courier"><a href="http://en.ru.is/ifm/">http://en.ru.is/ifm/</a></font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">=== Conference location ===</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">iFM 2016 is organized by the University of Reykjavik and will take</font></div>
<div><font face="Courier">place at the university campus in Reykjavik, the capital of Iceland.</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">=== Committees ===</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">General Chair:</font></div>
<div><font face="Courier"> Marjan Sirjani (University of Reykjavik, Iceland)</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">Program Chairs:</font></div>
<div><font face="Courier"> Erika Abraham (RWTH Aachen University, Germany)</font></div>
<div><font face="Courier"> Marieke Huisman (University of Twente, The Netherlands)</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">Workshop Chair:</font></div>
<div><font face="Courier"> Marcel Kyas (University of Reykjavik, Iceland)</font></div>
<div><font face="Courier"> Wojciech Mostowski (Halmstad University, Sweden)</font></div>
<div><font face="Courier"><br>
</font></div>
<div><font face="Courier">Program Committee:</font></div>
<div><font face="Courier"> Wolfgang Ahrendt (Chalmers University of Technology, Sweden)</font></div>
<div><font face="Courier"> Elvira Albert (Complutense University of Madrid, Spain)</font></div>
<div><font face="Courier"> Bernd Becker (Albert-Ludwigs-University Freiburg, Germany)</font></div>
<div><font face="Courier"> Clara Benac Earle (Universidad Politecnica de Madrid, Spain)</font></div>
<div><font face="Courier"> Borzoo Bonakdarpour (McMaster University, Canada)</font></div>
<div><font face="Courier"> Ferruccio Damiani (Universita di Torino, Italy)</font></div>
<div><font face="Courier"> Frank de Boer (CWI, The Netherlands)</font></div>
<div><font face="Courier"> Delphine Demange (University of Rennes 1/IRISA, France)</font></div>
<div><font face="Courier"> Jan Friso Groote (Eindhoven University of Technology, The Netherlands)</font></div>
<div><font face="Courier"> Dilian Gurov (KTH Royal Institute of Technology, Sweden)</font></div>
<div><font face="Courier"> Holger Hermanns (Saarland University, Germany)</font></div>
<div><font face="Courier"> Einar Broch Johnsen (University of Oslo, Norway)</font></div>
<div><font face="Courier"> Peter Gorm Larsen (Aarhus University, Denmark)</font></div>
<div><font face="Courier"> Martin Leucker (University of Lubeck, Germany)</font></div>
<div><font face="Courier"> Dominique Mery (Universite de Lorraine, LORIA, France)</font></div>
<div><font face="Courier"> Rosemary Monahan (Maynooth University, Ireland)</font></div>
<div><font face="Courier"> Nadia Polikarpova (MIT, USA)</font></div>
<div><font face="Courier"> Cesar Sanchez (IMDEA Software Institute, Spain)</font></div>
<div><font face="Courier"> Sriram Sankaranarayanan (University of Colorado, USA)</font></div>
<div><font face="Courier"> Ina Schaefer (Technische Universitaet Braunschweig, Germany)</font></div>
<div><font face="Courier"> Gerardo Schneider (Chalmers, University of Gothenburg, Sweden)</font></div>
<div><font face="Courier"> Emil Sekerinski (McMaster University, Canada) </font></div>
<div><font face="Courier"> Armando Tacchella (University of Genoa, Italy)</font></div>
<div><font face="Courier"> Mark Utting (University of the Sunshine Coast, Australia)</font></div>
<div><font face="Courier"> Heike Wehrheim (University of Paderborn, Germany)</font></div>
<div><font face="Courier"> Kirsten Winter (University of Queensland, Australia)</font></div>
</div>
<div style="font-family: Calibri, sans-serif;"><br>
</div>
</body>
</html>