Deadline Extension: ECOOP 2003 Workshop on Formal Techniques for Java-like Programs

Dear colleagues,

Since several authors of submissions asked for an extension of the deadline
for the
ECOOP 2003 Workshop on Formal Techniques for Java-like Programs, the
decided to extend the submission deadline by one week. The new deadline is
May 2, 2003.

Best regards,
  Peter Müller

                         Call for Papers

       Workshop on Formal Techniques for Java-like Programs
                  in conjunction with ECOOP 2003
    Technische Universitaet Darmstadt, Germany, July 21-25, 2003


Formal techniques can help analyze programs, precisely describe
program behavior, and verify program properties. Applying such
techniques to object-oriented technology is especially interesting

 1. The OO-paradigm forms the basis for the software component
    industry with their need for certification techniques.
 2. Object orientation is widely used for distributed and network
    programming, where the value of formal techniques is well known.
 3. The potential for reuse in OO-programming carries over to
    reusing specifications and proofs.

Newer languages such as Java and C# provide good platforms to bridge
the gap between formal techniques and practical program development,
because of their reasonably clear semantics and standardized libraries.

Moreover, these languages are interesting targets for formal
techniques, because the novel paradigm for program deployment introduced
with Java, with its improved portability and mobility, opens up new
possibilities for abuse and causes concern about security.

The work on formal techniques and tools for programs and formal
underpinnings of the programming languages themselves complement
each other.  This workshop aims to bring together people working
in these areas.

Possible topics are:
- specification techniques and interface specification languages
- specification of software components and library packages
- automated checking and verification of program properties,
- verification logics,
- language semantics,
- type systems,
- dynamic linking and loading,
- security issues

The workshop is intended for 15 to 40 participants. It provides a
forum for about 15 short presentations that are selected according
to the quality and focus of the submissions. Each presentation session
is followed by a discussion on the presented work and issues related
to the session topic.


We solicit extended abstracts on new developments or interesting
applications of formal techniques in the context of Java or similar
languages, notably C#. Each submission should state a clear position,
explain the technical background that motivates/supports this position
(up to 7 pages).
Submissions will be selected for participation and presentations by
the program committee. The committee will provide feedback on all

Submissions must be electronic, either in Postscript or PDF
format and prepared for USLetter or A4 page sizes. Springer LNCS-style
is recommended.

All submissions must include an abstract in ASCII format, a return
postal address, a phone number, and an email address.  Submissions
should have page numbers to facilitate writing comments.

Send submissions by email to Peter Mueller (p.mueller@web.de) by
April 25, 2003.


The proceedings will be printed as a technical report and made available
at the workshop. A summary of the presentations and discussions at the
workshop will appear in the workshop reader, published by Springer-Verlag.

In addition, we hope to organize a special issue of a journal with
long versions of selected papers from the workshop. Selected papers from
FTfJP'2000 and FTfJP'2001 have appeared in the journal "Concurrency
and Computation: Practice and Experience (CCPE)", and a special issue
about FTfJP'2002 is in preparation.

Workshop Web Site:


Important Dates:

Deadline for submission:     May    2, 2003
Notification of acceptance:  May   24, 2003
Final version:               June  14, 2003
Day of workshop:             July  21, 2003

Program Committee:

John Boyland           University of Wisconsin - Milwaukee, USA
Gilad Bracha           Sun Microsystems, USA
Alessandro Coglio      Kestrel Institute, USA
Sophia Drossopoulou    Imperial College, Great Britain
Doug Lea               State University of New York at Oswego, USA
Gary T. Leavens        Iowa State University, USA
K. Rustan M. Leino     Microsoft Research, USA
Peter Mueller (chair)  Deutsche Bank , Germany
David Naumann          Stevens Institute of Technology, USA
Tobias Nipkow          Technische Universitaet Muenchen, Germany
James Noble	           Victoria University of Wellington, New Zealand
Erik Poll              University of Nijmegen, The Netherlands
Don Syme               Microsoft Research, Great Britain


Susan Eisenbach (Imperial College, Great Britain)
email: se@doc.ic.ac.uk

Gary Leavens (Iowa State University, USA)
email: leavens@cs.iastate.edu

Peter Mueller (Deutsche Bank, Germany)
email: p.mueller@web.de

Arnd Poetzsch-Heffter (Universitaet Kaiserslautern, Germany)
email: poetzsch@informatik.uni-kl.de

Erik Poll (University of Nijmegen, The Netherlands)
email: erikpoll@cs.kun.nl