From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1DMd42D020874 for ; Mon, 13 Feb 2012 23:39:04 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkkBAGCQOU/RVdy2mGdsb2JhbABDFoI7pQsBiDEIIgEBAQEBCAkNBxQnggsCCSMBCB8FDQMNBRBdEgEFASI1h2OcI4JdCo5hhRSBSgIFC4s5HRMCBSckAQUHBoNABAERBgqEKgSVModmhj89gVOCMA X-IronPort-AV: E=Sophos;i="4.73,413,1325458800"; d="scan'208";a="131211348" Received: from mail-vx0-f182.google.com ([209.85.220.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Feb 2012 23:38:58 +0100 Received: by vcmm1 with SMTP id m1so6642850vcm.27 for ; Mon, 13 Feb 2012 14:38:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; bh=UT0bbRmnZwXkUVymLi7XI8Z/TfZy9F6r/U3zcsiKFKk=; b=V47ROSVPCGAAMEADwQCCXp8D5/j9B8QvGTPyhkZY8d3Fjl7e+BnLYs5BEGozxUhgXT cjpySbc3FD7fprW0gFDkt8+63521SF7c/aua10Ts1HnUS2ge4lDkvVNVRzTQu+B7rI0y yRZXcearTMmi4dka1/gSvDpRXRIuf5iN1teYc= MIME-Version: 1.0 Received: by 10.52.68.241 with SMTP id z17mr7629225vdt.97.1329172728373; Mon, 13 Feb 2012 14:38:48 -0800 (PST) Sender: marielle.stoelinga@gmail.com Received: by 10.52.32.34 with HTTP; Mon, 13 Feb 2012 14:38:48 -0800 (PST) Date: Mon, 13 Feb 2012 23:38:48 +0100 X-Google-Sender-Auth: TRiWr27vdenFpOqGK-PJHEnMjXE Message-ID: From: Marielle Stoelinga To: Marielle Stoelinga Content-Type: multipart/alternative; boundary=20cf3079b81651e6c804b8e024d2 X-Validation-by: marielle@cs.utwente.nl Subject: [Caml-list] FMICS 2012: 2nd call for papers --20cf3079b81651e6c804b8e024d2 Content-Type: text/plain; charset=ISO-8859-1 ============================================================ Second Call for Papers FMICS 2012 17th International Workshop on Formal Methods for Industrial Critical Systems http://fmt.cs.utwente.nl/conferences/fmics2012/ August 27/28, 2012, Paris, France Co-located with FM 2012 ==================================================================== Scope 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 that 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. Workshop Proceedings will be published in Springer's LNCS series. -------------------------------------------------------------------- Topics of interest include (but are not limited to): * Design, specification, code generation and testing based on formal methods. * 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 forums. -------------------------------------------------------------------- Programme Committee * Alessandro Cimatti, FBK, Italy * Alessandro Fantechi, University of Florence, Italy * Bernard Schaetz, Fortiss, Germany * Cindy Eisner, IBM Haifa, Israel * Corina Parareanu, NASA AMES, USA * Franjo Ivancic, NEC Laboratories America, USA * Frederic Lang, INRIA Grenoble Rhone-Alpes, France * Georgios Fainekos, Arizona State University, USA * Holger Hermanns, Saarland University, Germany * Jakob Rehof, University of Dortmund, Germany * Jan Peleska, University of Bremen, Germany * Joost-Pieter Katoen, RWTH Aachen, Germany * Judi Romijn, Movares, the Netherlands * Juliana Bowles, University of St Andrews, UK * Lubos Brim, Masaryk University, Czech Republic * Odile Laurent, Airbus, France * Marjan Sirjani, Reykjavik University, Iceland * Michael Dierkes, Rockwell Collins, France * Michaela Huhn, Technical University Clausthal, Germany * Mieke Massink, CNR-ISTI Pisa, It * Stefan Kowalewski, RWTH Aachen, Germany * Stefan Leue, University of Konstanz, Germany * Thomas Peikenkamp, Office, Germany * Tiziana Margaria, University of Potsdamm, Germany Important Dates * Abstract submission: March 28th, 2012 * Paper submission: April 4th, 2012 * Notification: May 25th, 2012 * Final version due: June 8th, 2012 * Workshop: August 27th-28th, 2012 -------------------------------------------------------------------- -- Dr Marielle Stoelinga Associate Professor of Risk Management for ICT University of Twente www.cs.utwente.nl/~marielle --20cf3079b81651e6c804b8e024d2 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable 
=20=20=20=20=
=20=20=20=20=20=20=20=20=20=20=20=20
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

                      Second Call for Papers

                           FMICS 2012

                 17th International Workshop on
           Formal Methods for Industrial Critical Systems
        http://fmt.cs.utwente.nl/confere=
nces/fmics2012/


                 August 27/28, 2012, Paris, France

                      Co-located with FM=
 2012

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Scope

The aim of the FMICS workshop series is to provi=
de 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 that are active in the area of formal
methods and interested in exchanging their experiences in the
industrial usage of these methods. The FMICS wor=
kshop series also
strives to promote research and development for the improvement of
formal methods and tools for industrial applications.

Workshop Proceedings will be published in Springer's LNCS series.=20

--------------------------------------------------------------------

Topics of interest include (but are not limited to):

       * Design, specification, code generation and testing based on
         formal methods.

       * 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 forums.

--------------------------------------------------------------------
<= pre style=3D"white-space:pre-wrap;word-wrap:break-word">Programme Committee= * = Alessandro Cimatti, FBK, Italy
* Alessandro Fantechi,= University of Florence, Italy
* Bernard Schaetz, Fortiss, Germany
* Cindy Eisner, I= BM Haifa, Israel
* Corina Parareanu, NASA AMES, USA
* Franjo Ivancic,= NEC Laboratories America, USA
* Frederic Lang, INRIA Grenoble Rhone-Alpes, Fran= ce
* Georgios Fainek= os, Arizona State University, USA
* Holger Hermanns, Saarland University, German= y
* Jakob Rehof, Un= iversity of Dortmund, Germany
* Jan Peleska, University of Bremen, Germany
* Joost-Pieter Ka= toen, RWTH Aachen, Germany
* Judi Romijn, Movares, the Netherlands
* Juliana Bowles,= University of St Andrews, UK
* Lubos Brim, Masaryk University, Czech Republic
* Odile Laurent, = Airbus, France
* Marjan Sirjani, Reykjavik University, Iceland
* Michael Dierkes= , Rockwell Collins, France
* Michaela Huhn, Technical University Clausthal, Germ= any
* Mieke Massink, = CNR-ISTI Pisa, It
* Stefan Kowalewski, RWTH Aachen, Germany
* Stefan Leue, Un= iversity of Konstanz, Germany
* Thomas Peikenkamp, Office, Germany
* Tiziana Margari= a, University of Potsdamm, Germany

Importan=
t Dates

   * Abstract submission: March 28th, 2012

   * Paper submission: April 4th, 2012

   * Notification: May 25th, 2012

   * Final version due: June 8th, 2012

   * Workshop: August 27th-28th, 2012

--------------------------------------------------------------------
<= span class=3D"HOEnZb">

=

--
Dr Marielle Stoelinga
Associate Professor of Risk Management for ICT
University of= Twente

--20cf3079b81651e6c804b8e024d2--