AMAST Mail 1996
[Prev][Next][Index]

FEmSys '97 Conference amnnouncement

I would appreciate very much if you could ventilate the subsequent
announcement

Thanks in advance

Axel Poigne


+++++++++++++++++++++++++++++++

        +-----------------------------------------+
         |                                         |
         |               Workshop on               |
         |                                         |
         |             Formal Design               |
         |                   of                    |
         |      Safety Critical Embedded Systems   |
         |             (FEmSys '97)                |
         |                                         |
         |           16-18 April 1997              |
         |            Munich, Germany              |
         |                                         |
         +-----------------------------------------+
         |                                         |
         |            First Announcement           |
         |                  and                    |
         |           Call for Exhibitors           |
         |                                         |
         +-----------------------------------------+




Scope of the workshop
---------------------

Safety Critical Embedded Systems are becoming a major challenge for 
computer engineering.  The increasing demand for embedding more 
functions as computer software calls for new design technologies.  

Several R&D projects have been devoted to these objectives in the 
last years, and new formal approaches are now proposed and 
operationally used, which range from specification, rapid prototyping 
and validation, down to code generation and testing.  

The two european projects Eureka-SYNCHRON and Esprit-SACRES have 
decided to help for the dissemination of these technologies through 
the organization of the Workshop on Formal Design of Safety 
Critical Embedded Systems>.


Intended Participants
---------------------

This workshop is mainly targeted to R&D engineers involved in the 
design of such systems.  It concentrates on the various formal 
technologies that have been developed recently, or are under 
development.  

Program Committee
-----------------

    A.  Benveniste, co-chair (Inria, Rennes, F)
    A.  Poigne, co-chair (GMD, Sankt-Augustin, D)
    M.  Broy (Tech.  Univ.  Muenchen, D)
    W. Damm (OFFIS, Oldenburg, D) 
    N.  Halbwachs (Verimag, Grenoble, F)
    J. Sifakis (Verimag, Grenoble, F)

For further information contact:

   Axel Poigne
   GMD - Forschungszentrum Informationstechnik GmbH
   D-53754 Sankt Augustin
   Germany
   poigne@gmd.de
   
or have a look at our web page:

   http://set.gmd.de/EES/FemSys.html
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]