Liu Yang (Asst Prof | 25 Jan 17:36 2014

Call for Papers: ICFEM 2014, Luxembourg, 3-7 November 2014

[We apologize for multiple copies.]



                                         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

<sunjun <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


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.
Haskell mailing list
Haskell <at>