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