EMSOFT 2002: FIRST CALL FOR PAPERS

To: types@cis.upenn.edu
Subject: EMSOFT 2002: FIRST CALL FOR PAPERS
From: Emsoft02 VERIMAG <Emsoft02.VERIMAG@imag.fr>
Date: Fri, 21 Dec 2001 14:52:01 +0100 (MET)

EMSOFT 2002 WORKSHOP
FIRST CALL FOR PAPERS
Grenoble, France,  October,  7-9, 2002.
-------------------------------------------------------
E-mail: mailto:emsoft02@imag.fr
URL: http://www-emsoft02.imag.fr, http://www.emsoft.org
-------------------------------------------------------

AIMS and SCOPE:

EMSOFT '02 is the second in a series of workshops on Embedded
Software.  The first EMSOFT workshop was held October 8-10, 2001, at
Tahoe City, California (see www.emsoft.org).  EMSOFT focuses on the
principles of embedded software development and aims at covering all
aspects of embedded software.  The proceedings of the workshop will be
published in the Springer-Verlag Lecture Notes in Computer Science
series.

The workshop will include 15 contributed papers and 15 invited papers.
For contributed papers, submissions should not exceed thirteen (13) pages.

Topics of interest include:

- System design and integration methodologies 
- Programming languages and software engineering
- Operating systems and middleware
- Architectures and compilers
- Models of computation and formal methods 
- Scheduling and execution time analysis
- Communication protocols and fault tolerance
- Applications, such as embedded control and multimedia

IMPORTANT DATES

-------------------------------------------------------
April 15, 2002   | Paper submission deadline
June 15, 2002    | Acceptance notification
July 15, 2002    | Final version of accepted papers due    
-------------------------------------------------------

PRORGRAM COMMITTEE

Rajeev Alur, University of Pennsylvania
Gerard Berry, Esterel Technologies
Manfred Broy,  Technical University of Munchen
Tom Henzinger, University of California at Berkeley
Kevin Jeffay, University of North Carolina 
Hermann Kopetz, Technical University of Vienna
Edward Lee,  University of California at Berkeley
Sang Lyul Min, Seoul National University 
Martin Rinard, MIT
John Rushby, SRI
Alberto Sangiovanni-Vincentelli, University of California at Berkeley
Shankar Sastry, University of California at Berkeley
Joseph Sifakis, Verimag
John Stankovic, University of Virginia
Lothar Thiele, ETH
Reinhard Wilhelm, Universität des Saarlandes
Janos Sztipanovits, Vanderbilt University
    
EMSOFT STEERING COMMITTEE

Gerard Berry 
Tom Henzinger 
Hermann Kopetz
Edward Lee 
Ragunathan Rajkumar 
Alberto Sangiovanni-Vincentelli 
Douglas Schmidt 
Joseph Sifakis 
John Stankovic

EMSOFT CHAIRS 
-------------------------------------------------------------------------------
Alberto Sangiovanni-Vincentelli           | Joseph Sifakis
Department of EECS                        | Verimag
University of California at Berkeley,     | Centre Equation
Berkeley, CA 94720                        | 2 rue de Vignate
PARADES	                                  | 38610 GIERES, France
Via di San Pantaleo 66, 00186 Roma        | Tel +33 476 63 48 51
Tel +39 06 68807923                       | Fax +33 476 63 48 50
alberto@eecs.berkeley.edu                 | Joseph.Sifakis@imag.fr
http://www-cad.eecs.berkeley.edu/~alberto | http://www-verimag.imag.fr/~sifakis
-------------------------------------------------------------------------------

Organizing Committee: Joseph Sifakis, Stavros Tripakis, Sergio Yovine


----------------------------------------------------------------------------
You have received this e-mail via the following address: types@cis.upenn.edu.
To unsubscribe from EMSOFT'02 mailing list please contact: emsoft02@imag.fr.
----------------------------------------------------------------------------