<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br>
<br><div><pre style="word-wrap: break-word; white-space: pre-wrap;">
                *** Apologies for multiple copies ***
                    
                            SECOND CALL FOR PAPERS


                                            ICFEM 2015
        17th International Conference on Formal Engineering Methods
        CNAM, Paris, France
        November 3-6, 2015                

        Submission Deadlines: 
        April 19, 2015 (abstracts) &amp; April 26, 2015 (full papers)
        <a href="http://icfem2015.lri.fr/">http://icfem2015.lri.fr/</a>

GENERAL INFORMATION 

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 2015 is organised and sponsored by the
University Paris-Sud and CNAM Paris.

SCOPE OF THE CONFERENCE

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 modeling
 - Program analysis
 - Software verification
 - Software model checking
 - Formal approaches to software testing
 - Formal methods for self-adaptive systems, for object and component
    systems, concurrent and real-time systems, for cloud computing and
    cyber-physical systems, 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
 - Aeronautics
 - Train control systems

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.


INVITED SPEAKERS 
  
  Ana Calvacanti, U. of York, UK

  Sava Krstic, Intel Corporation, USA

  Rupak Majumdar, MPI, Germany


TYPES OF CONTRIBUTIONS

 - Research papers (max. 16 pages) describing results of theoretical
    or experimental research, which must be original, significant, and
    sound. Submissions to the conference must not have been published or
    be concurrently considered for publication elsewhere.

- Tool papers (max. 6 pages) describing new tools or new features of
   existing tools, without necessary giving the theoretical background
   details. Benchmarks or experiences are strongly encouraged. The tools
   must be available for use by the reviewers.

SUBMISSIONS AND PUBLICATION 

All contributions to ICFEM'15 have to be submitted electronically in
PDF format via easy chair. All submissions have to follow the Springer
LNCS paper format. Papers can be submitted at 

            <a href="https://easychair.org/conferences/?conf=icfem2015">https://easychair.org/conferences/?conf=icfem2015</a>


IMPORTANT DATES

Abstracts due : April 19, 2015 
Full papers due : April 26, 2015
Workshop proposals: March 22, 2015
Notification of acceptance : June 8, 2015
Camera ready : June 21, 2015

PROGRAM COMMITTEE

Etienne Andre, University of Paris 13, France
Keijiro Araki, University of Kyushu, Japan
Frank de Boer, CWI, The Netherlands
Nikolaj Bjorner, Microsoft Research, US
Ahmed Bouajjani, University of Paris-Diderot, France
Michael Butler, University of Southampton, United Kingdom [PC Chair]
Sylvain Conchon, University of Paris-Sud, France [PC Chair]
Tristan Crolard, CNAM, France
Remi Delmas, ONERA, France
Zhenhua Duan, University of Xidian, China
Stefania Gnesi, ISTI-CNR, Italy
Radu Grosu, Vienna University of Technology, Austria
Ian Hayes, University of Queensland, Australia
Rob Hierons, Brunel University, UK
Michaela Huhn, University of Clausthal, Germany
Alexei Illiasov, University of Newcastle, United Kingdom
Fabrice Kordon, University of Paris 6, France
Yassine Lakhnech, University of Joseph Fourier, France
Peter Gorm Larsen, Aarhus University, Denmark
Pascale Le Gall, Ecole Centrale Paris, France
Xuandong Li, Nanjing University, China
Shang-Wei Lin, National University of Singapore, Singapore
Yang Liu, Nanyang Technological University, Singapore
Shaoying Liu, University of Hosei, Japan
Stephan Merz, INRIA Nancy, France
Mohammad Reza Mousavi, Halmstad University, Sweden
Shin Nakajima, National Institute of Informatics, Japan
Manuel Nunez, University Complutense, Madrid
Jun Pang, University of Luxembourg, Luxembourg
Jan Peleska, University of Bremen, Germany
Ion Petre, Abo Akademi University, Finland
Shengchao Qin, University of Teesside, UK
Jaco van de Pol, University of Twente, The Netherlands
Zongyan Qiu, Peking University, China
Silvio Ranise, FBK, Italy
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
Wang Yi, Uppsala University, Sweden
Fatiha Zaidi, University of Paris-Sud, France [General Chair]
Gianluigi Zavattaro, University of Bologna, Italy
Huibiao Zhu, East China Normal University, China
</pre></div><div><br></div></body></html>