[Prev][Next][Index][Thread]
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
EMSOFT 2001
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
Organizers:
Tom Henzinger Christoph Kirsch
Sponsors:
DARPA ITO National Science Foundation
---------------------------------------------------------------------------