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

                         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:     April 25, 2003
Notification of acceptance:  May   31, 2003
Final version:               June  14, 2003
Day of workshop:             probably July 21 or 22, 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