[FM-India] Call for Papers: FMICS 2013

Madhavan Mukund madhavan at cmi.ac.in
Mon Feb 11 19:35:38 IST 2013

 From: mdierkes at rockwellcollins.com
 To: mdierkes at rockwellcollins.com
 Date: Mon, 11 Feb 2013 10:59:20 +0100
 Subject: Call for Papers: FMICS 2013n
                              FMICS 2013
                    18th International Workshop on
            Formal Methods for Industrial Critical Systems
                        September 23-24, 2013
                            Madrid (Spain)
                      Co-located with SEFM 2013
 Call for Papers
 The  aim of  the  FMICS workshop  series  is to  provide  a forum  for
 researchers who  are interested in the development  and application of
 formal  methods  in industry.  In  particular,  FMICS brings  together
 scientists and engineers who are  active in the area of formal methods
 and interested in exchanging their experiences in the industrial usage
 of these  methods. The FMICS  workshop series also strives  to promote
 research  and development for  the improvement  of formal  methods and
 tools for industrial applications.
 Topics of interest include (but are not limited to):
 * Design, specification,  code generation and testing  based on formal
 * Methods,  techniques  and   tools  to  support  automated  analysis,
   certification, debugging,  learning, optimization and transformation
   of complex, distributed, real-time systems and embedded systems.
 * Verification  and validation  methods that  address  shortcomings of
   existing  methods  with respect  to  their industrial  applicability
   (e.g., scalability and usability issues).
 * Tools for the development of formal design descriptions.
 * Case studies  and experience  reports on industrial  applications of
   formal methods, focusing on lessons learned or identification of new
   research directions.
 * Impact of the adoption of  formal methods on the development process
   and associated costs.
 * Application  of  formal methods  in  standardization and  industrial
 Paper Submission
 Submissions must  describe authors'  original research work  and their
 results. Contributions should not  exceed 15 pages formatted according
 to  the LNCS  style (Springer),  and should  be submitted  as Portable
 Document Format (PDF) files using the EasyChair submission site:
 All  submissions must  report on  original research.  Submitted papers
 must  not have  previously appeared  in a  journal or  conference with
 published proceedings  and must not  be concurrently submitted  to any
 other  peer-reviewed  workshop,   symposium,  conference  or  archival
 journal. Any  partial overlap with any such  published or concurrently
 submitted paper must be clearly indicated.
 Submissions  should   clearly  demonstrate  relevance   to  industrial
 application.  Case  study  papers  should  identify  lessons  learned,
 validate  theoretical results  (such  as scalability  of methods),  or
 provide specific motivation for further research and development.
 All submissions  will be  reviewed by the  program committee  who will
 make a selection among the submissions based on the novelty, soundness
 and  applicability  of the  presented  ideas  and  results. A  printed
 version  of the  proceedings  will be  distributed among  participants
 during the workshop. The proceedings of the workshop will be published
 in the Springer series Lecture Notes in Computer Science (LNCS).
 Participants  will  give a  presentation  of  their  papers in  twenty
 minutes, followed by a ten-minute round of questions and discussion on
 participants' work.
 Following the  tradition of the past  editions, a special  issue of an
 international scientific  journal (Science of  Computer Programming or
 STTT) will  be devoted  to FMICS 2013.  Selected participants  will be
 invited  to submit  an  extended  version of  their  papers after  the
 workshop. These extended versions will  again be reviewed by a program
 committee, which will decide on their final publication in the special
 Important Dates
 Paper submission: May 3rd
 Notification: June 24th
 Final version due: July 12th
 Workshop: September 23th-24th
 Program Committee
 Michael Dierkes (Rockwell Collins, France)
 Charles Pecheur (Université catholique de Louvain, Belgium)
 PC Members (confirmed):
 Maria Alpuente (Universitat Politècnica de València, Spain) 
 Jiri Barnat (Masaryk University, Czech Republic) 
 Eckhard Böde (Offis, Germany) 
 Jean-Louis Colaço (Prover Technology, France) 
 Cindy Eisner (IBM, Israel) 
 Alessandro Fantechi (Università di Firenze, Italy) 
 Andrew Gacek (Rockwell Collins, USA) 
 Maria del Mar Gallardo (University of Málaga, Spain) 
 Stefania Gnesi (ISTI-CNR, Italy) 
 Gordon Haak (Daimler AG, Germany) 
 Holger Hermanns (Saarland University, Germany) 
 Stefan Kowalewski (RWTH Aachen, Germany) 
 Juliana Küster Filipe Bowles (University of St Andrews, UK) 
 Frédéric Lang (INRIA Grenoble Rhône-Alpes, France) 
 Diego Latella (ISTI-CNR, Italy) 
 Odile Laurent (Airbus, France) 
 Stefan Leue (University of Konstanz, Germany) 
 Amel Mammar (Telecom SudParis, France) 
 Tiziana Margaria (University of Potsdamm, Germany) 
 Radu Mateescu (INRIA Grenoble Rhône-Alpes, France) 
 Pedro Merino (University of Málaga, Spain) 
 Dave Parker (University of Birmingham, UK) 
 Corina Pasareanu (CMU / NASA Ames, USA) 
 Jan Peleska (Universität Bremen, Germany) 
 Ralf Pinger (Siemens AG, Germany) 
 Andreas Podelski (University of Freiburg, Germany) 
 Christophe Ponsard (CETIC, Belgium) 
 Marco Roveri (FBK-IRST, Italy) 
 Cristina Seceleanu (Mälardalen University, Sweden) 
 Marielle Stoelinga (University of Twente, Netherlands) 
 Jaco van de Pol (University of Twente, Netherlands)
 Michael Dierkes, PhD
 Senior Software Engineer
 Rockwell Collins France
 +33 5 34 61 86 88

More information about the FMIndia mailing list