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

[PVS] FMICS 2010 Call For Participation



------- Apologies for multiple copies -------

**********************************************************************
*                   15th International Workshop on                   *
*           Formal Methods for Industrial Critical Systems           *
*                             FMICS 2010                             *
*                 http://es.fbk.eu/events/fmics2010                  *
*                                                                    *
*                       September 20-21, 2010                        *
*                          Antwerp, Belgium                          *
**********************************************************************

SCOPE OF THE WORKSHOP
---------------------
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,  these workshops  bring
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.  These workshops  also  strive to
promote research and development for the improvement of formal methods
and tools for industrial applications.

INVITED SPEAKERS
----------------
* Aarti Gupta, NEC Labs USA.
* Axel Simon, Technical University of Munich, Germany.
* Bert van Beek, Technical University of Eindhoven, The Netherlands.
* Stefan Tobies, European Microsoft Innovation Center, Aachen, Germany.

LIST OF ACCEPTED PAPERS
-----------------------
* Wilfried Steiner and Bruno Dutertre: "SMT-Based Formal Verification
  of a TTEthernet Synchronization Function".
* Lars Kristensen and Michael Westergaard: "Automatic Structure-based
  Code Generation from Coloured Petri Nets: A Proof of Concept".
* Frank Werner and David Farag: "Correctness of Sensor Network
  Applications by Software Bounded Model Checking".
* Ahmed Mashiyat, Fazle Rabbi, Hao Wang and Wendy MacCaull: "An
  Automated Translator for Model Checking Time Constrained Workflow
  Systems".
* Despo Galataki, Andrei Radulescu, Kees Verstoep and Wan Fokkink:
  "Embedded Network Protocols for Mobile Devices".
* Alessio Ferrari, Alessandro Fantechi, Daniele Grasso and Gianluca
  Magnani: "The Metro Rio ATP case study".
* Wei Wei and Jeremy W. Bryans: "Formal analysis of BPMN models using
  Event-B".
* Joerg Brauer, Andy King and Stefan Kowalewski: "Range Analysis of
  Microcontroller Code using Bit-Level Congruences".
* Michael Altenhofen and Achim D. Brucker: "Practical Issues with
  Formal Specifications Lessons Learned from an Industrial Case
  Study".
* Radu Mateescu andWendelin Serwe: "A Study of Shared-Memory Mutual
  Exclusion Protocols using CADP".
* Michael Gerke, and Rdiger Ehlers, Bernd Finkbeiner and Hans-Jrg
  Peter: "Model Checking the FlexRay Physical Layer Protocol".
* Christian Kern and Javier Esparza: "Automatic Error Correction of
  Java Programs".
* Sebastian Mdersheim, Dieter Sommer and Jan Camenisch: "A Formal
  Model of Identity Mixer".
* Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander
  Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic and Timo Latvala:
  "Developing mode-rich satellite software by refinement in Event B".

CO-CHAIRS
---------
Stefan Kowalewski           (RWTH-Aachen, Germany)
Marco Roveri                (FBK-irst, Italy)

PROGRAM COMMITTEE
-------------------
Aarti Gupta             (NEC Labs, US) 
Andreas Podelski        (University of Freiburg, Germany) 
Andy King               (Portcullis Computer Security) 
Barbara Jobstman        (VERIMAG, France) 
Christophe Joubert      (Technical University of Valencia, Spain) 
Daniel Kroening         (ETH Zürich, Switzerland) 
Diego Latella           (CNR/IST Pisa, It) 
Dino Distefano          (Queen Mary, University of London, UK) 
Francois Pilarski       (Airbus, France) 
Holger Hermanns         (Universität des Saarlandes, Germany) 
Hubert Garavel          (INRIA Rhône-Alpes, France) 
Jaco van de Pol         (Universiteit Twente, The Netherlands) 
Jakob Rehof             (Technische Universität Dortmund, Germany) 
J. José Moreno-Navarro  (Universidad Politécnica de Madrid, Spain) 
Jörg Brauer             (RWTH Aachen, Germany) 
Lubos Brim              (Masarykova Univerzita, Czech Republic) 
Maria Alpuente          (Technical University of Valencia, Spain) 
Marco Roveri            (FBK-irst, Italy) 
Pedro Merino            (Universidad de Málaga, Spain) 
Radu Mateescu           (INRIA Rhone-Alpes, France) 
Stefan Kowalewski       (RWTH Aachen, Germany) 
Stefania Gnesi          (ISTI-CNR, Italy) 
Thierry Lecomte         (ClearSy, France) 
Thomas Kropf            (Bosch, Germany) 
Thomas Santen           (Microsoft European Innovation Center) 
Wan Fokkink             (Vrije Universiteit Amsterdam, Netherlands) 
Wilfried Steiner        (TTTech, Austria) 


ERCIM FMICS WG COORDINATOR
--------------------------
Alessandro Fantechi (Univ. degli Studi di Firenze and ISTI-CNR, Italy)

SPONSORS
--------
* ERCIM
* Fondazione Bruno Kessler
* RWTH-Aachen
* European Microsoft Innovation Center (EMIC)
* AXXTEQ GmbH
* Ultra High Speed Information and Communication Systems (UMIC)


CO-LOCATION
-----------
FMICS  2010  is  co-located   with  the  25th  IEEE/ACM  International
Conference    on    Automated    Software   Engineering    (ASE-2010).
For latest information on ASE 2010, please visit
http://soft.vub.ac.be/ase2010