posted by user: lauramcastro || 1962 views || tracked by 11 users: [display]

ICFEM 2014 : International Conference on Formal Engineering Methods


Conference Series : International Conference on Formal Engineering Methods
When Nov 3, 2014 - Nov 7, 2014
Where Luxembourg
Abstract Registration Due Apr 11, 2014
Submission Deadline Apr 18, 2014
Notification Due Jun 28, 2014
Final Version Due Jul 13, 2014

Call For Papers

Call for Papers

ICFEM 2014

16th International Conference on Formal Engineering Methods

Luxembourg, 3-7 November 2014

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.

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

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 for
details). Submission should be made through the ICFEM 2014 submission
page (, 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.

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

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
( no later than 22nd March 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.

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

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

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

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

Related Resources

ICFEM 2017   19th International Conference on Formal Engineering Methods
FMCAD 2017   Formal Methods in Computer-Aided Design
FormaliSE 2017   FME Workshop on Formal Methods in Software Engineering
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
SIMULTECH 2017   7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
ACSD 2017   Application of Concurrency to System Design
CfW-CONCUR 2017   Call for Workshops in The 28th International Conference on Concurrency Theory
EMNLP 2017   Conference on Empirical Methods in Natural Language Processing
NFM 2017   The 9th NASA Formal Methods Symposium
ASE 2017   The 32nd IEEE/ACM International Conference on Automated Software Engineering