<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style>
<!--
@font-face
        {font-family:宋体}
@font-face
        {font-family:宋体}
@font-face
        {font-family:Calibri}
@font-face
        {}
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif"}
a:link, span.MsoHyperlink
        {color:blue;
        text-decoration:underline}
a:visited, span.MsoHyperlinkFollowed
        {color:purple;
        text-decoration:underline}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif"}
span.PlainTextChar
        {font-family:"Calibri","sans-serif"}
span.EmailStyle19
        {font-family:"Calibri","sans-serif";
        color:windowtext}
span.EmailStyle20
        {font-family:"Calibri","sans-serif";
        color:#1F497D}
span.aqj
        {}
.MsoChpDefault
        {font-size:10.0pt}
@page WordSection1
        {margin:72.0pt 90.0pt 72.0pt 90.0pt}
div.WordSection1
        {}
-->
</style>
</head>
<body lang="EN-SG" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:10.0pt; font-family:&quot;Arial&quot;,&quot;sans-serif&quot;; color:#222222; background:white">The deadlines of ICFEM will be extended by two weeks, due to the easter holidays (<span class="aqj">April 7-21</span>)</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">----------------------------------------</span></p>
<p class="MsoNormal"><span style="color:#1F497D">16th International Conference on Formal Engineering Methods</span></p>
<p class="MsoNormal"><span style="color:#1F497D">ICFEM 2014, Luxembourg, 3-7 November 2014</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">http://icfem2014.uni.lu</span></p>
<p class="MsoNormal"><span style="color:#1F497D">----------------------------------------</span></p>
<p class="MsoNormal"><span style="color:#1F497D">=========================</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Extended Abstract Submission deadline: 25 April 2014</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Extended Full Paper Submission deadline: 2 May 2014</span></p>
<p class="MsoNormal"><span style="color:#1F497D">=========================</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">The 16th International Conference on Formal Engineering Methods (ICFEM</span></p>
<p class="MsoNormal"><span style="color:#1F497D">2014) will be held at the Melia Hotel in Luxembourg, Luxembourg from</span></p>
<p class="MsoNormal"><span style="color:#1F497D">3rd November to 7 November 2014. Since 1997, ICFEM has been serving as</span></p>
<p class="MsoNormal"><span style="color:#1F497D">an international forum for researchers and practitioners who have been</span></p>
<p class="MsoNormal"><span style="color:#1F497D">seriously applying formal methods to practical applications.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Researchers and practitioners, from industry, academia, and</span></p>
<p class="MsoNormal"><span style="color:#1F497D">government, are encouraged to attend, present their research, and help</span></p>
<p class="MsoNormal"><span style="color:#1F497D">advance the state of the art. We are interested in work that has been</span></p>
<p class="MsoNormal"><span style="color:#1F497D">incorporated into real production systems, and in theoretical work</span></p>
<p class="MsoNormal"><span style="color:#1F497D">that promises to bring practical and tangible benefit.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">ICFEM 2014 is organised and sponsored by The University of Luxembourg.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">The city of Luxembourg itself is on the UNESCO World Heritage List, on</span></p>
<p class="MsoNormal"><span style="color:#1F497D">account of the historical importance of its fortifications. Luxembourg</span></p>
<p class="MsoNormal"><span style="color:#1F497D">was the first city to be named European Capital of Culture twice.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">SCOPE AND TOPICS</span></p>
<p class="MsoNormal"><span style="color:#1F497D">----------------------------------------</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Submissions related to the following principal themes are encouraged,</span></p>
<p class="MsoNormal"><span style="color:#1F497D">but any topics relevant to the field of formal methods and their</span></p>
<p class="MsoNormal"><span style="color:#1F497D">practical applications will also be considered.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Abstraction and refinement</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Formal specification and modelling</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Program analysis</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Software verification</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Software model checking</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Formal approaches to software testing</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Formal methods for self-adaptive systems</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Formal methods for object and component systems</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Formal methods for concurrent and real-time systems</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Formal methods for cloud computing and cyber-physical systems</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Formal methods for software safety, security, reliability and dependability</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Tool development, integration and experiments involving verified systems</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Formal methods used in certifying products under international standards</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Formal model-based development and code generation</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">This year, ICFEM will have special tracks on application of formal</span></p>
<p class="MsoNormal"><span style="color:#1F497D">methods in three areas:</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Computer Security</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Biology</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Healthcare</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Submissions in these topics are especially encouraged. Papers in these</span></p>
<p class="MsoNormal"><span style="color:#1F497D">areas will be subject to the same rigorous review process as other</span></p>
<p class="MsoNormal"><span style="color:#1F497D">papers. Accepted special track papers will be organised into special</span></p>
<p class="MsoNormal"><span style="color:#1F497D">sessions.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">KEYNOTE SPEAKERS</span></p>
<p class="MsoNormal"><span style="color:#1F497D">----------------------------------------</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Nikolaj Bjorner, Microsoft Research</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; Vincent Danos, University of Edinburgh</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">SUBMISSION AND PUBLICATION</span></p>
<p class="MsoNormal"><span style="color:#1F497D">----------------------------------------</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Submissions to the conference must not have been published or be</span></p>
<p class="MsoNormal"><span style="color:#1F497D">concurrently considered for publication elsewhere. All submissions</span></p>
<p class="MsoNormal"><span style="color:#1F497D">will be judged on the basis of originality, contribution to the field,</span></p>
<p class="MsoNormal"><span style="color:#1F497D">technical and presentation quality, and relevance to the</span></p>
<p class="MsoNormal"><span style="color:#1F497D">conference. The proceedings will be published in the Springer Lecture</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Notes in Computer Science series.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Papers should be written in English and not exceed 16 pages in LNCS</span></p>
<p class="MsoNormal"><span style="color:#1F497D">format (see http://www.springer.de/comp/lncs/authors.html for</span></p>
<p class="MsoNormal"><span style="color:#1F497D">details). Submission should be made through the ICFEM 2014 submission</span></p>
<p class="MsoNormal"><span style="color:#1F497D">page (https://www.easychair.org/conferences/?conf=icfem2014), handled</span></p>
<p class="MsoNormal"><span style="color:#1F497D">by the EasyChair conference management system.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">The authors of a selected subset of accepted papers will be invited to</span></p>
<p class="MsoNormal"><span style="color:#1F497D">submit extended versions of their papers to appear in a
</span></p>
<p class="MsoNormal"><span style="color:#1F497D">special issue of the Formal Aspect Computing journal.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">WORKSHOP AND TUTORIAL</span></p>
<p class="MsoNormal"><span style="color:#1F497D">----------------------------------------</span></p>
<p class="MsoNormal"><span style="color:#1F497D">The last two days of the conference (6th and 7th November 2014) will</span></p>
<p class="MsoNormal"><span style="color:#1F497D">be dedicated to workshops, tutorials and other satellite events. The</span></p>
<p class="MsoNormal"><span style="color:#1F497D">organising committee of ICFEM 2014 therefore cordially invites</span></p>
<p class="MsoNormal"><span style="color:#1F497D">proposals for one-day workshops and one-day or half-day tutorials in</span></p>
<p class="MsoNormal"><span style="color:#1F497D">any area related to formal methods or software engineering, but</span></p>
<p class="MsoNormal"><span style="color:#1F497D">particularly in new or emerging fields of application of formal</span></p>
<p class="MsoNormal"><span style="color:#1F497D">methods.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Proposals for workshops/tutorial should contain:</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; a title and brief description of the topic and the history of the</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp; workshop/tutorial, if applicable;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; the names and contact details of the potential organisers;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; a brief justification of the topic and estimated size of audience;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&#43; a description of any special technical requirements.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Proposals should be sent to ICFEM2014 Workshops Chair, Jun Sun, at</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&lt;sunjun@sutd.edu.sg&gt; no later than 22nd March 2014.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">SUMMER SCHOOL VTSA 2014</span></p>
<p class="MsoNormal"><span style="color:#1F497D">----------------------------------------</span></p>
<p class="MsoNormal"><span style="color:#1F497D">The summer school on verification technology, systems &amp; applications</span></p>
<p class="MsoNormal"><span style="color:#1F497D">takes place at University of Luxembourg from October 27-31, 2014. It</span></p>
<p class="MsoNormal"><span style="color:#1F497D">is a co-located event with ICFEM 2014 and is organized by the</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Montefiore Institute, University of Luxembourg, INRIA Nancy, and the</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Max Planck Insitute for Informatics Saarbrücken. More detailed</span></p>
<p class="MsoNormal"><span style="color:#1F497D">information will be provided at the summer school's website.</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">IMPORTANT DATES</span></p>
<p class="MsoNormal"><span style="color:#1F497D">----------------------------------------</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Abstract Submissions due: 25 April 2014 (extended)</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Full Paper Submissions due: 2 May 2014 (extended)</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Acceptance Notification: 20 June 2014</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Camera-ready Papers Due: 13 July 2014</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">ORGANISING COMMITTEE</span></p>
<p class="MsoNormal"><span style="color:#1F497D">----------------------------------------</span></p>
<p class="MsoNormal"><span style="color:#1F497D">General Co-Chairs</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Michael Butler, University of Southampton, United Kingdom</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Sjouke Mauw, University of Luxembourg, Luxembourg</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Program Committee Co-Chairs</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Stephan Merz, INRIA, France</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Jun Pang, University of Luxembourg, Luxembourg</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Workshop and Tutorial Co-Chairs</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Jun Sun, Singapore University of Technology and Design, Singapore</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Local Organisation Chair</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Andrzej Mizera, University of Luxembourg, Luxembourg</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Publicity Chair</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Yang Liu, Nanyang Technological University, Singapore</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Web Chair:</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Piotr Kordy, University of Luxembourg, Luxembourg</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">PROGRAM COMMITTEE</span></p>
<p class="MsoNormal"><span style="color:#1F497D">----------------------------------------</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Frank de Boer, CWI, The Netherlands</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Jonathan Bowen, Birmingham City University, United Kingdom</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Michael Butler, University of Southampton, United Kingdom</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Kostas Chatzikokolakis, CNRS and École Polytechnique, France</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Zhenhua Duan, Xidian University, China</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Colin Fidge, Queensland University of Technology, Australia</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Stefania Gnesi, ISTI-CNR, Italy</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Radu Grosu, Vienna University of Technology, Austria</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Ian Hayes, University of Queensland, Australia</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Michaela Huhn, Technische Universität Clausthal, Germany</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Pierre Kelsen, University of Luxembourg, Luxembourg</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Steve Kremer, INRIA Nancy, France</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Jean Krivine, CNRS and Université Paris Diderot, France</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Peter Gorm Larsen, Engineering College of Aarhus, Denmark</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Xuandong Li, Nanjing University, China</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Shang-Wei Lin, National University of Singapore, Singapore</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Shaoying Liu, Hosei University, Japan</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Yang Liu, Nanyang Technological University, Singapore</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Sjouke Mauw, University of Luxembourg, Luxembourg</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Dominique Mery, Université de Lorraine, France</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Stephan Merz, INRIA Nancy, France</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Mohammad Reza Mousavi, Halmstad University, Sweden</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Peter Mueller, ETH Zurich, Switzerland</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Shin Nakajima, National Institute of Informatics, Japan</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Jun Pang, University of Luxembourg, Luxembourg</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Ion Petre, Åbo Akademi University, Finland</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Jaco van de Pol, University of Twente, The Netherlands</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Shengchao Qin, Teesside University, United Kingdom</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Zongyan Qiu, Peking University, China</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Jing Sun, University of Auckland, New Zealand</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Jun Sun, Singapore University of Technology and Design, Singapore</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Kenji Taguchi, AIST, Japan</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Viktor Vafeiadis, MPI-SWS, Germany</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Hai H. Wang, Aston University, United Kingdom</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Wang Yi, Uppsala University, Sweden</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Huibiao Zhu, East China Normal University, China</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
<p class="MsoNormal"><span style="color:#1F497D">STEERING COMMITTEE</span></p>
<p class="MsoNormal"><span style="color:#1F497D">----------------------------------------</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Keijiro Araki, Kyushu University, Japan</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Michael Butler, University of Southampton, United Kingdom</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Jin Song Dong, National University of Singapore, Singapore</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Jifeng He, East China Normal University, China</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Shaoying Liu (Chair), Hosei University, Japan</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Jeff Offutt, George Mason University, United States</span></p>
<p class="MsoNormal"><span style="color:#1F497D">Shengchao Qin, University of Teesside, United Kingdom</span></p>
<p class="MsoNormal"><span style="color:#1F497D">&nbsp;</span></p>
</div>
<br>
<hr>
<font face="Arial" color="Gray" size="2"><br>
CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its contents.<br>
<br>
Towards a sustainable earth:Print only when necessary.Thank you.<br>
</font>
</body>
</html>