[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] FM 2012 - Submission deadline extended




*** FM 2012 - DEADLINE EXTENSION ***

Abstract submissions: March 5, 2012
Full paper submissions: March 12, 2012


CALL FOR PAPERS  FM 2012

**********************************************************************
18TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
August  27 - 31, 2012
CNAM, Paris, France
http://fm2012.cnam.fr
**********************************************************************

SCOPE:

FM 2012 is the eighteenth in a series of symposia organized by Formal
Methods Europe, an independent association whose aim is to stimulate
the use of, and research on, formal methods for software
development. The symposia have been notably successful in bringing
together innovators and practitioners in precise mathematical methods
for software and systems development, industrial users as well as
researchers. Submissions are welcomed in the form of original papers
on research and industrial experience, proposals for workshops and
tutorials, entries for the exhibition of software tools and projects,
and reports on ongoing doctoral work.

The FM 2012 Symposium will be based around the theme Interdisciplinary
Formal Methods

It will have the goal  of highlighting the development and application
of formal methods in connection with  a variety of disciplines such as
medicine,  biology,  human    cognitive modelling, human    automation
interactions  and  aeronautics, among others.   FM  2012  particularly
welcomes   papers    on   techniques,    tools   and  experiences   in
interdisciplinary frameworks, as well as  on experience with practical
applications  of formal methods  in  industrial and research settings,
experimental validation of tools and  methods as well as  construction
and evolution of formal methods tools.

The broad topics of interest for FM 2012 include but are not limited to:

   Interdisciplinary   formal     methods:  techniques,  tools    and
   experiences   demonstrating  formal methods   in interdisciplinary
   frameworks; we  encourage  submissions  involving  formal  methods
   related to maintenance, human automation interaction, human in the
   loop, system engineering, medicine and biology.

   Formal methods in practice: industrial applications of formal
   methods, experience with introducing formal methods in industry,
   tool usage reports, experiments with challenge problems. Authors
   are encouraged to explain how the use of formal methods has
   overcome problems, lead to improvements in design or provided new
   insights.

   Tools for formal  methods: advances in automated  verification and
   model-checking, integration  of   tools, environments  for  formal
   methods, experimental validation of  tools. Authors are encouraged
   to demonstrate empirically    that  the new  tool   or environment
   advances the state of the art.

   Role  of  formal methods in    software and  systems  engineering:
   development  processes  with formal  methods, usage guidelines for
   formal methods,   method integration. Authors  are  encouraged  to
   demonstrate    that process  innovations  lead  to  qualitative or
   quantitative improvements.

   Theoretical foundations: all aspects of theory related to
   specification, verification, refinement, and static and dynamic
   analysis. Authors are encouraged to explain how their results
   contribute to the solution of practical problems with methods or
   tools.

   Teaching formal methods:   original  contributions  that   provide
   insight, evaluations  and   suggestions  for  courses  of   action
   regarding the  teaching   of  formal methods, including   teaching
   experiences,   educational resources,  the   integration of formal
   methods  into the curriculum, the  definition  of a formal methods
   body of  knowledge,  etc. Authors are  encouraged to  provide some
   form of evaluation and assessment  of the content and approach  in
   the teaching being reported.

PAPER SUBMISSION

Papers will  be evaluated by at  least three  members of the Programme
Committee. They  should be in   Springer LNCS format and  describe, in
English, original   work  that has  not   been published or  submitted
elsewhere.

PDF   versions of  papers should  be  submitted  through  the  FM 2012
EasyChair web site:

https://www.easychair.org/account/signin.cgi?conf=fm2012

We solicit two categories of papers:

   Regular papers  not exceeding  15  pages  (including  appendices),
   describing fully   developed  work. Authors  of  papers  reporting
   experimental  work  are     strongly encouraged  to make     their
   experimental results  available  for use by reviewers.  Similarly,
   case study papers should describe significant case studies and the
   complete  development  should  be    made available  for  use   by
   reviewers.

   Tools papers   of a   maximum   of  4  pages should   describe  an
   operational  tool and its   contributions;  2 additional pages  of
   appendices are  allowed   that   will not  be  included    in  the
   proceedings. Tool papers should explain enhancements made compared
   to  previously published work.  A tool paper  need not present the
   theory behind the tool but can focus more on its features, and how
   it   is used, with  screen  shots  and  examples. Authors of tools
   papers should make their tool available for use by reviewers.

PUBLICATION

Accepted  papers will be  published  in the Symposium Proceedings,  to
appear in Springer's Lectures Notes in Computer Science.

IMPORTANT DATES:

Abstracts due: March 5, 2012
Full papers due: March 12, 2012
Notification: May 7th, 2012
Camera ready: June 4th, 2012


GENERAL CHAIRS:

Kamel Barkaoui - Cedric, Cnam Paris
Beatrice Berard - LIP6, Universite Pierre et Marie Curie

PC CHAIRS:

Dimitra Giannakopoulou, NASA Ames, Research Center, Moffett Field
Dominique Mery, LORIA et Universite Henri Poincare Nancy 1


PROGRAM COMMITTEE:

Yamine Ait Ameur, IRIT/ENSEEIHT France
Keijiro Araki, Kyushu University, Japan
Jos Baeten, CWI Amsterdam, The Netherlands
Howard Barringer, The University of Manchester, UK
Saddek Bensalem, Universite Joseph Fourier, France
Bruno Blanchet, LIENS, France
Ahmed Bouajjani, LIAFA, Universite Paris 7, France
Patricia Bouyer, LSV, CNRS&   ENS Cachan, France
Victor Braberman, Universidad de Buenos Aires, Argentina
Michael Butler, University of Southampton, UK
Andrew Butterfield, Trinity College Dublin, Ireland
Ana Cavalcanti, University of York, UK
Krishnendu Chatterjee, Institute of Science and Technology , Austria
Marsha Chechik, University of Toronto, Canada
Yu-Fang Chen, Academia Sinica, Taiwan
Leonardo De Moura, Microsoft Research, USA
Dino Distefano, Queen Mary, University of London, UK
Matt Dwyer, University of Nebraska, USA
Bernd Finkbeiner, Saarland University, Germany
John Fitzgerald, Newcastle University, UK
(chair) Dimitra Giannakopoulou, NASA Ames, USA
Stefania Gnesi, ISTI-CNR, Italy
Patrice Godefroid, Microsoft Research, USA
Ganesh Gopalakrishnan, University of Utah, USA
Kim Guldstrand Larsen, Aalborg University, Denmark
Klaus Havelund, JPL, California Institute of Technology, USA
Ian J. Hayes, University of Queensland, Australia
Matthew Hennessy, Trinity College Dublin, Ireland
Jane Hillston, University of Edinburgh, UK
Bart Jacobs, ICIS, Radboud University Nijmegen, The Netherlands
Claude Jard, ENS Cachan Bretagne, France
Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece
Sarfraz Khurshid, The University of Texas at Austin, USA
Daniel Kroening, Oxford University, UK
Marta Kwiatkowska, Oxford University, UK
Pascale Le Gall, Universite d'Evry, France
Rustan Leino, Microsoft Research, USA
Michael Leuschel, University of Dusseldorf, Germany
Zhiming Liu, United Nations University - IIST, Macao
Tom Maibaum, McMaster University, Canada
Rupak Majumdar, Max Planck, Germany
Annabelle Mciver, Macquarie University, Australia
(chair) Dominique Mery, Universite Henri Poincare Nancy 1&   LORIA, France
Cesar Munoz, NASA, USA
Fernando Orejas, UPC, Spain
Isabelle Perseil, Inserm, France
Andre Platzer, Carnegie Mellon University, USA
Shengchao Qin, Teesside University, UK
S Ramesh, General Motors R&D, India
Jean-Francois Raskin, ULB, Belgium
Neha Rungta, SGT/NASA Ames, USA
Augusto Sampaio, Federal University of Pernambuco, Brazil
Bernhard Schaetz, TU Munchen, Germany
Wolfram Schulte, Microsoft Research, USA
Kaisa Sere, Abo Akademi University, Finland
Bernhard Steffen, TU Dortmund, Germany
Kenji Taguchi, AIST, Japan
Francois Vernadat, LAAS-CNRS INSA, France
Willem Visser, Stellenbosch University, South Africa
Michael Whalen, University of Minnesota, USA


**********************************************************************
This call for papers and additional information about the conference
can be found athttp://fm2012.cnam.fr.  For information regarding the
conference you can contact:fm2012@cnam.fr.
**********************************************************************
         



Dimitra Giannakopoulou
NASA Ames Research Center
http://ti.arc.nasa.gov/profile/dimitra/

---------------------------------------------------
Any opinions expressed here are my own
---------------------------------------------------