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