EMSOFT 2001: First International Workshop on Embedded Software

[ The EMSOFT 2001 workshop may be interesting for TYPES readers because
  several speakers (e.g., E. Lee: System-level types for component-based
  design; L. de Alfaro: Interface theories for component-based design)
  will be talking about extending the idea of types to capture the
  interaction of (real-time) software components, such as communication
  protocols between components.  -- Christoph ]


Workshop Announcement

First International Workshop on Embedded Software
October 8-10, 2001
Tahoe City, California

Program and registration:  www.emsoft.org
Registration deadline:     September 4

Limited funds are available to support student participants.  If you
are a student who would like to attend the workshop and apply for
partial travel support, please refer to the Student Financial Support
link on the workshop web site.

Steering committee:

    Gerard Berry           Ragunathan Rajkumar
    Paul Hudak             Alberto Sangiovanni-Vincentelli
    Hermann Kopetz         Doug Schmidt 
    Edward Lee             Joseph Sifakis 


    Tom Henzinger          Christoph Kirsch


    DARPA ITO              National Science Foundation