<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=iso-8859-1"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"\@SimSun";
panose-1:2 1 6 0 3 1 1 1 1 1;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
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;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
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=MsoNormal>===========================================================<o:p></o:p></p><p class=MsoNormal> CALL FOR PAPERS<o:p></o:p></p><p class=MsoNormal> iFM 2018 <o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> 14th International Conference on integrated Formal Methods <o:p></o:p></p><p class=MsoNormal> September 5-7, 2018, Maynooth, Irland<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> https://ifm2018.cs.nuim.ie/<o:p></o:p></p><p class=MsoNormal>===========================================================<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>=== Important dates ===<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Abstract submission: Monday, 16 April 2018<o:p></o:p></p><p class=MsoNormal>Paper submission: Friday, 20 April 2018<o:p></o:p></p><p class=MsoNormal>Notification: Thursday, 14 June 2018<o:p></o:p></p><p class=MsoNormal>Camera-ready copy: Tuesday, 1 July 2018<o:p></o:p></p><p class=MsoNormal>Conference: 5-7 September 2018<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Deadlines expire at 23:59 anywhere on earth on the dates displayed<o:p></o:p></p><p class=MsoNormal>above.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>=== Objectives and scope ===<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Applying formal methods may involve the usage of different formalisms<o:p></o:p></p><p class=MsoNormal>and different analysis techniques to validate a system, either because<o:p></o:p></p><p class=MsoNormal>individual components are most amenable to one formalism or technique,<o:p></o:p></p><p class=MsoNormal>because one is interested in different properties of the system, or<o:p></o:p></p><p class=MsoNormal>simply to cope with the sheer complexity of the system. The iFM<o:p></o:p></p><p class=MsoNormal>conference series seeks to further research into hybrid approaches to<o:p></o:p></p><p class=MsoNormal>formal modeling and analysis: the combination of (formal and<o:p></o:p></p><p class=MsoNormal>semi-formal) methods for system development, regarding both modeling<o:p></o:p></p><p class=MsoNormal>and analysis. The conference covers all aspects from language design<o:p></o:p></p><p class=MsoNormal>through verification and analysis techniques to tools and their<o:p></o:p></p><p class=MsoNormal>integration into software engineering practice.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Areas of interest include but are not limited to:<o:p></o:p></p><p class=MsoNormal>- Formal and semi-formal modelling notations<o:p></o:p></p><p class=MsoNormal>- Combining formal methods<o:p></o:p></p><p class=MsoNormal>- Integration of formal methods into software engineering practice<o:p></o:p></p><p class=MsoNormal>- Program verification, model checking, and static analysis<o:p></o:p></p><p class=MsoNormal>- Theorem proving, decision procedures, SAT/SMT solving <o:p></o:p></p><p class=MsoNormal>- Runtime analysis, monitoring, and testing<o:p></o:p></p><p class=MsoNormal>- Program synthesis<o:p></o:p></p><p class=MsoNormal>- Analysis and synthesis of hybrid, embedded, probabilistic, distributed,<o:p></o:p></p><p class=MsoNormal> or concurrent systems<o:p></o:p></p><p class=MsoNormal>- Abstraction and refinement<o:p></o:p></p><p class=MsoNormal>- Model learning and inference<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>=== Submission guidelines ===<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>iFM 2018 solicits high quality papers reporting research results<o:p></o:p></p><p class=MsoNormal>and/or experience reports related to the overall theme of formal<o:p></o:p></p><p class=MsoNormal>method integration.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>We accept papers in the following categories:<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> - Regular papers (limit 15 pages) on<o:p></o:p></p><p class=MsoNormal> - original scientific research results<o:p></o:p></p><p class=MsoNormal> - tools, their foundation and evaluations<o:p></o:p></p><p class=MsoNormal> - applications of formal methods, including rigourous evaluations<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> - Short papers (limit 8 pages) on<o:p></o:p></p><p class=MsoNormal> - any subject of interest in the area of formal methods that can be<o:p></o:p></p><p class=MsoNormal> described with sufficient detail within the page limit<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Page limits include bibliography and any appendices. All submissions<o:p></o:p></p><p class=MsoNormal>must be original, unpublished, and not submitted for publication<o:p></o:p></p><p class=MsoNormal>elsewhere. Each paper will undergo a thorough review process.<o:p></o:p></p><p class=MsoNormal>Submissions will be judged on the basis of significance, relevance,<o:p></o:p></p><p class=MsoNormal>correctness, originality, and clarity.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Submissions should be made using the iFM 2018 Easychair site: <o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> https://easychair.org/conferences/?conf=ifm2018<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Submissions must be in PDF format, using the Springer LNCS style<o:p></o:p></p><p class=MsoNormal>files.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The conference proceedings will be published in Springer's<o:p></o:p></p><p class=MsoNormal>Lecture Notes in Computer Science series.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>All accepted papers must be presented at the conference. Their authors<o:p></o:p></p><p class=MsoNormal>must be prepared to sign a copyright transfer statement. At least one<o:p></o:p></p><p class=MsoNormal>author of each accepted paper must register to the conference by the<o:p></o:p></p><p class=MsoNormal>early registration date, to be indicated by the organizers, and<o:p></o:p></p><p class=MsoNormal>present the paper.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>=== Organization ===<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>= General chair =<o:p></o:p></p><p class=MsoNormal>Rosemary Monahan, Maynooth University, Ireland<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>= PC chairs =<o:p></o:p></p><p class=MsoNormal>Carlo A. Furia, Chalmers University of Technology, Sweden<o:p></o:p></p><p class=MsoNormal>Kirsten Winter, University of Queensland, Australia<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>= Program committee =<o:p></o:p></p><p class=MsoNormal>Erika Abraham, RWTH Aachen, Germany<o:p></o:p></p><p class=MsoNormal>Bernhard Aichernig, University of Graz, Austria<o:p></o:p></p><p class=MsoNormal>Elvira Albert, Complutense University of Madrid, Spain<o:p></o:p></p><p class=MsoNormal>Domenico Bianculli, University of Luxembourg, Luxembourg<o:p></o:p></p><p class=MsoNormal>Eeke Boiten, University of Kent, UK<o:p></o:p></p><p class=MsoNormal>Einar Broch Johnsen, University of Oslo, Norway<o:p></o:p></p><p class=MsoNormal>Maria Christakis, MPI-SWS, Germany<o:p></o:p></p><p class=MsoNormal>David Cok, GrammaTech, USA<o:p></o:p></p><p class=MsoNormal>Robert Colvin, University of Queensland, Australia<o:p></o:p></p><p class=MsoNormal>Ferruccio Damiani, University of Turin, Italy<o:p></o:p></p><p class=MsoNormal>Eva Darulova, MPI SWS, Germany<o:p></o:p></p><p class=MsoNormal>Frank de Boer, CWI Amsterdam, Netherlands<o:p></o:p></p><p class=MsoNormal>John Derrick, University of Sheffield, UK<o:p></o:p></p><p class=MsoNormal>Brijesh Dongol, Brunel University, UK<o:p></o:p></p><p class=MsoNormal>Catherine Dubois, ENSIEE, France<o:p></o:p></p><p class=MsoNormal>Diego Garbervetsky, University of Buenos Aires, Argentina<o:p></o:p></p><p class=MsoNormal>Peter Hoefner, Data61, Australia<o:p></o:p></p><p class=MsoNormal>Marieke Huisman, University of Twente, Netherlands<o:p></o:p></p><p class=MsoNormal>Rajeev Joshi, NASA JPL, USA<o:p></o:p></p><p class=MsoNormal>Nikolai Kosmatov, CEA LIST, France<o:p></o:p></p><p class=MsoNormal>Laura Kovács, Vienna University of Technology, Austria<o:p></o:p></p><p class=MsoNormal>Rustan Leino, Amazon, USA<o:p></o:p></p><p class=MsoNormal>Larissa Meinicke, University of Queensland, Australia<o:p></o:p></p><p class=MsoNormal>Dominique Mery, LORIA Nancy, France<o:p></o:p></p><p class=MsoNormal>Toby Murray, University of Melbourne, Australia<o:p></o:p></p><p class=MsoNormal>Luigia Petre, Ĺbo Akademi University, Finland<o:p></o:p></p><p class=MsoNormal>Ruzica Piskac, Yale University, USA<o:p></o:p></p><p class=MsoNormal>Chris Poskitt, SUTD, Singapore<o:p></o:p></p><p class=MsoNormal>Kostis Sagonas, Uppsala University, Sweden<o:p></o:p></p><p class=MsoNormal>Gerhard Schellhorn, Universitaet Augsburg, Germany<o:p></o:p></p><p class=MsoNormal>Steve Schneider, University of Surrey, UK<o:p></o:p></p><p class=MsoNormal>Gerardo Schneider, University of Gothenburg, Sweden<o:p></o:p></p><p class=MsoNormal>Emil Sekerinski, McMaster University, Canada<o:p></o:p></p><p class=MsoNormal>Martin Steffen, University of Oslo, Norway<o:p></o:p></p><p class=MsoNormal>Helen Treharne, University of Surrey, UK<o:p></o:p></p><p class=MsoNormal>Caterina Urban, ETH Zurich, Switzerland<o:p></o:p></p><p class=MsoNormal>Mark Utting, University of Sunshine Coast, Australia<o:p></o:p></p><p class=MsoNormal>Heike Wehrheim, University of Paderborn, Germany<o:p></o:p></p><p class=MsoNormal>Mitsuharu Yamamoto, Chiba University, Japan<o:p></o:p></p><p class=MsoNormal>Chenyi Zhang, Jinan University, China<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>= Publicity chair =<o:p></o:p></p><p class=MsoNormal>Hao Wu, Maynooth University, Ireland<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>=== Conference location ===<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>iFM 2018 is organized by Maynooth University and will take place in<o:p></o:p></p><p class=MsoNormal>Maynooth, Ireland.<o:p></o:p></p></div></body></html>