Call for Papers EMSOFT'02
Grenoble, France, October 7-9, 2002
http://www.emsoft.org

 
PROGRAM COMMITTEE 

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.


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








INFORMATION emsoft02@imag.fr


IMPORTANT DATES

Submission deadline
April 29, 2002

Acceptance 
June 15, 2002

Final version 
July 15, 2002

 
AIMS AND SCOPE 
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. 
SUBMISSIONS

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 http://www.emsoft.org

PUBLICATION OF THE PROCEEDINGS IN LNCS

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

                                                                 EMSOFT 
CHAIRS

Alberto Sangiovanni-Vincentelli
Department of EECS, 
UC Berkeley, Berkeley, CA 94720 
PARADES, 
Via di San Pantaleo 66, 
00186 Roma, Italy
Tel +39 06 68807923 
alberto@eecs.berkeley.edu
  Joseph Sifakis 
Verimag
Centre Equation, 
2 Ave Vignate, 
38610 GIERES, France 
Tel +33 476 63 48 51. 
Fax +33 476 63 48 50.
Joseph.Sifakis@imag.fr
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)