[Om-announce] 2nd Call for Paper: ICFEM 2014, Luxembourg, 3-7 November 2014

Tue Mar 4 13:35:29 CET 2014

[We apologize for multiple copies.]

----------------------------------------
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 at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20140304/0bd7dc32/attachment-0001.html>