Call for Papers EMSOFT'02
Grenoble, France, October 7-9, 2002


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

G. Berry  A. Sangiovanni-Vincentelli 
T. Henzinger  D. Schmidt 
H. Kopetz  J. Sifakis 
E. Lee  J. Stankovic 
R. Rajkumar



Submission deadline
April 29, 2002

June 15, 2002

Final version 
July 15, 2002

EMSOFT '02 is the second in a series of workshops on Embedded Software. The first workshop EMSOFT'01 was held October 8-10, 2001, at Tahoe City, California.  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. Electronic submissions in PS or PDF formats are welcome at


The proceedings will be published in the Lecture Notes in Computer Science. See the LNCS Authors Instructions subpage and the LNCS Editors Instructions subpage for the technicalities concerning manuscript preparation by the authors.
LNCS now is
also published, in parallel to the printed books, in full-text electronic version Therefore the LNCS needs, besides the printed papers (needed at least as mastercopies for consultation in cases of doubt when processing the electronic files), the electronic files, ideally the source files, of all parts of the manuscript (including front matter pages) as advised in the instructions.
Final versions of papers are due by July 15th, 2002.

                                                         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 on embedded control and multimedia


Alberto Sangiovanni-Vincentelli
Department of EECS, 
UC Berkeley, Berkeley, CA 94720 
Via di San Pantaleo 66, 
00186 Roma, Italy
Tel +39 06 68807923
  Joseph Sifakis 
Centre Equation, 
2 Ave Vignate, 
38610 GIERES, France 
Tel +33 476 63 48 51. 
Fax +33 476 63 48 50.
ORGANIZING COMMITTEE: Joseph Sifakis, Stavros Tripakis and Sergio Yovine (Verimag).

INVITED SPEAKERS: Giorgio Buttazzo (Univ. Pavia), Paolo Faraboschi (Hewlett Packard Labs), Nicolas Halbwachs (Verimag), David Harel (Weizmann Institute), Christoph Kirsch (UC Berkeley), Bran Selic (Rational), Luciano Lavagno (Polit. Torino and Cadence Labs), Nancy Levenson (MIT), Sharad Malik (Univ. Princeton), Al Mok (Univ. Texas, Austin), Amir Pnueli, (Weizmann Institute), Douglas Schmidt (UC Irvine), Bran Selic (Rational), Lui Sha, (Univ. Illinois, Urbana-Champaign)