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

Madhavan Mukund madhavan at cmi.ac.in
Wed Jan 28 21:48:04 IST 2015

 Date: Wed, 28 Jan 2015 15:20:10 +0100
 From: Fatiha Zaidi <Fatiha.Zaidi at lri.fr>
 To: fmindia at cmi.ac.in
 Subject: CFP ICFEM 2015 - The 17th International Conference on Formal Engineering Methods
 		*** Apologies for multiple copies ***
 		    	      	  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)
 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.
 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
  - Formal methods used in certifying products under international
  - 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
  - Ana Cavalcanti, University of York, UK
  - Sava Krstic, Intel corporation, USA
  - 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.
 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. Simultaneous submission to other conferences with
 proceedings or submission of papers that have already been published
 elsewhere is not allowed.
 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
 Etienne André, University of Paris 13, France
 Frank de Boer, CWI, The Netherlands
 Nikolaj Bjorner, Microsoft Research, US
 Ahmed Bouajjani, University of Paris-Diderot, France
 Jonathan Bowen, Birmingham City University, United Kingdom
 Michael Butler, University of Southampton, United Kingdom [PC Chair]
 Sylvain Conchon, University of Paris-Sud, France [PC Chair]
 Tristan Crolard, CNAM, France [Local Chair]
 Rémi Delmas, ONERA, France
 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, Technische Universität Clausthal, Germany
 Alexei Illiasov, University of Newcastle, United Kingdom
 Fabrice Kordon, University of Paris 6, France
 Peter Gorm Larsen, Aarhus University, Denmark
 Pascale Le Gall, Ecole Centrale Paris, France
 Xuandong Li, Nanjing University, China
 Yang Liu, Nanyang Technological University, Singapore
 Stephan Merz, INRIA Nancy, France
 Mohammad Reza Mousavi, Halmstad University, Sweden
 Shin Nakajima, National Institute of Informatics, Japan
 Manuel Nunez, University Complutense, Madrid
 Jan Paleska, University of Bremen, Germany
 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, UK
 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 Zaïdi, University of Paris-Sud, France [General Chair]
 Gianluigi Zavattaro, University of Bologna, Italy 
 Huibiao Zhu, East China Normal University, China

More information about the FMIndia mailing list