<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;"><div><br></div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>*** Apologies for multiple copies ***</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span> </div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>PRELIMINARY CALL FOR PAPERS</div><div><br></div><div><br></div><div><span class="Apple-tab-span" style="white-space: pre;"> </span> <span class="Apple-tab-span" style="white-space: pre;"> </span> <span class="Apple-tab-span" style="white-space: pre;"> </span> ICFEM 2015</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>17th International Conference on Formal Engineering Methods</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>CNAM, Paris, France</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>November 3-6, 2015<span class="Apple-tab-span" style="white-space: pre;"> </span></div><div><br></div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>Submission Deadlines: </div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>April 19, 2015 (abstracts) & April 26, 2015 (full papers)</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span><a href="http://icfem2015.lri.fr/">http://icfem2015.lri.fr/</a></div><div><br></div><div>GENERAL INFORMATION </div><div><br></div><div>Since 1997, ICFEM has been serving as an international forum for</div><div>researchers and practitioners who have been seriously applying formal</div><div>methods to practical applications. Researchers and practitioners, from</div><div>industry, academia, and government, are encouraged to attend, present</div><div>their research, and help advance the state of the art. We are</div><div>interested in work that has been incorporated into real production</div><div>systems, and in theoretical work that promises to bring practical and</div><div>tangible benefit. ICFEM 2015 is organised and sponsored by the</div><div>University Paris-Sud and CNAM Paris.</div><div><br></div><div>SCOPE OF THE CONFERENCE</div><div><br></div><div>Submissions related to the following principal themes are encouraged,</div><div>but any topics relevant to the field of formal methods and their</div><div>practical applications will also be considered.</div><div><br></div><div> - Abstraction and refinement</div><div> - Formal specification and modeling</div><div> - Program analysis</div><div> - Software verification</div><div> - Software model checking</div><div> - Formal approaches to software testing</div><div> - Formal methods for self-adaptive systems, for object and component</div><div> systems, concurrent and real-time systems, for cloud computing and</div><div> cyber-physical systems, for software safety, security, reliability</div><div> and dependability</div><div> - Tool development, integration and experiments involving verified</div><div> systems</div><div> - Formal methods used in certifying products under international</div><div> standards</div><div> - Formal model-based development and code generation</div><div><br></div><div><br></div><div>This year, ICFEM will have special tracks on application of formal</div><div>methods in three areas:</div><div> </div><div> - Computer security</div><div> - Aeronautics</div><div> - Train control systems</div><div><br></div><div>Submissions in these topics are especially encouraged. Papers in these</div><div>areas will be subject to the same rigorous review process as other</div><div>papers. Accepted special track papers will be organised into special</div><div>sessions.</div><div><br></div><div><br></div><div>INVITED SPEAKERS </div><div> - Ana Cavalcanti, University of York, UK</div><div> <a href="http://www-users.cs.york.ac.uk/~alcc/">http://www-users.cs.york.ac.uk/~alcc/</a></div><div><br></div><div> - Sava Krstic, Intel corporation, USA</div><div><br></div><div><br></div><div>TYPES OF CONTRIBUTIONS</div><div><br></div><div> - Research papers (max. 16 pages) describing results of theoretical</div><div> or experimental research, which must be original, significant, and</div><div> sound. Submissions to the conference must not have been published or</div><div> be concurrently considered for publication elsewhere.</div><div><br></div><div>- Tool papers (max. 6 pages) describing new tools or new features of</div><div> existing tools, without necessary giving the theoretical background</div><div> details. Benchmarks or experiences are strongly encouraged. The tools</div><div> must be available for use by the reviewers.</div><div><br></div><div>SUBMISSIONS AND PUBLICATION </div><div><br></div><div>All contributions to ICFEM'15 have to be submitted electronically in</div><div>PDF format via easy chair. All submissions have to follow the Springer</div><div>LNCS paper format. Simultaneous submission to other conferences with</div><div>proceedings or submission of papers that have already been published</div><div>elsewhere is not allowed.</div><div><br></div><div><br></div><div>IMPORTANT DATES</div><div><br></div><div>Abstracts due : April 19, 2015 </div><div>Full papers due : April 26, 2015</div><div>Workshop proposals: March 22, 2015</div><div>Notification of acceptance : June 8, 2015</div><div>Camera ready : June 21, 2015</div><div><br></div><div>PROGRAM COMMITTEE</div><div><br></div><div>Etienne André, University of Paris 13, France</div><div>Frank de Boer, CWI, The Netherlands</div><div>Nikolaj Bjorner, Microsoft Research, US</div><div>Ahmed Bouajjani, University of Paris-Diderot, France</div><div>Jonathan Bowen, Birmingham City University, United Kingdom</div><div>Michael Butler, University of Southampton, United Kingdom [PC Chair]</div><div>Sylvain Conchon, University of Paris-Sud, France [PC Chair]</div><div>Tristan Crolard, CNAM, France [Local Chair]</div><div>Rémi Delmas, ONERA, France</div><div>Stefania Gnesi, ISTI-CNR, Italy</div><div>Radu Grosu, Vienna University of Technology, Austria</div><div>Ian Hayes, University of Queensland, Australia</div><div>Rob Hierons, Brunel University, UK</div><div>Michaela Huhn, Technische Universität Clausthal, Germany</div><div>Alexei Illiasov, University of Newcastle, United Kingdom</div><div>Fabrice Kordon, University of Paris 6, France</div><div>Peter Gorm Larsen, Aarhus University, Denmark</div><div>Pascale Le Gall, Ecole Centrale Paris, France</div><div>Xuandong Li, Nanjing University, China</div><div>Yang Liu, Nanyang Technological University, Singapore</div><div>Stephan Merz, INRIA Nancy, France</div><div>Mohammad Reza Mousavi, Halmstad University, Sweden</div><div>Shin Nakajima, National Institute of Informatics, Japan</div><div>Manuel Nunez, University Complutense, Madrid</div><div>Jan Paleska, University of Bremen, Germany</div><div>Jun Pang, University of Luxembourg, Luxembourg</div><div>Ion Petre, Åbo Akademi University, Finland</div><div>Jaco van de Pol, University of Twente, The Netherlands</div><div>Shengchao Qin, Teesside University, UK</div><div>Zongyan Qiu, Peking University, China</div><div>Silvio Ranise, FBK, Italy</div><div>Jing Sun, University of Auckland, New Zealand</div><div>Jun Sun, Singapore University of Technology and Design, Singapore</div><div>Kenji Taguchi, AIST, Japan</div><div>Viktor Vafeiadis, MPI-SWS, Germany</div><div>Wang Yi, Uppsala University, Sweden</div><div>Fatiha Zaïdi, University of Paris-Sud, France [General Chair]</div><div>Gianluigi Zavattaro, University of Bologna, Italy </div><div>Huibiao Zhu, East China Normal University, China</div><div>...</div>
<br></body></html>