[FM-India] Second CFP ICFEM 2015 - The 17th International Conference on Formal Engineering Methods

[Madhavan Mukund]

======================================================================
 Date: Tue, 24 Mar 2015 13:31:30 +0100
 From: Fatiha Zaidi <Fatiha.Zaidi at lri.fr>
 To: fmindia at cmi.ac.in
 Subject: Second CFP ICFEM 2015 - The 17th International Conference on Formal Engineering Methods
 
                 *** 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) & April 26, 2015 (full papers)
         http://icfem2015.lri.fr/
 
 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
 
             https://easychair.org/conferences/?conf=icfem2015
 
 
 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

======================================================================