Call for Papers: Formal Techniques for Java-like Programs (FTfJP'2002)

                          CALL FOR PAPERS 

     workshop on Formal Techniques for Java-like Programs (FTfJP)

       in conjunction with ECOOP 2002, Málaga, Spain, June 10-14


                Deadline for submissions : April 8

Formal techniques can help to analyze programs, to precisely describe
program behavior, and to 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. It is widely used for distributed and network programming.
 3. The potential for reuse in OO-programming carries over to
    reusing specifications and proofs.

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

Moreover, these languages are an interesting target 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 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

Send submissions by email to Erik Poll <erikpoll@cs.kun.nl> by April 8,

Submissions must be in Postscript or PDF format.  Springer LNCS-style is 
recommended.  Submissions should have page numbers to facilitate writing 
comments.  All submissions must be accompanied by an short abstract in 
ASCII format.


The proceedings will be printed as technical report and made available
at the workshop. 
In addition, we hope to organize a special issue of a journal with
long versions of selected papers from the workshop, as has been done
for the last two FTfJP workshops.  A special issue of the journal
"Concurrency and Computation: Practice and Experience" about FTFJP'2000
has already appeared, and a similar issue about FTfJP'2001 is in preparation.

Important Dates:

Deadline for submission:           April  8
Notification of acceptance:        April 29
Deadline for early registration:     May  6
Final version due:                   May 24
Day of workshop:                    June 10 

Program Committee:

Gilad Bracha           Sun Microsystems, USA
Sophia Drossopoulou    Imperial College, Great Britain
Susan Eisenbach        Imperial College, Great Britain
Doug Lea               State University of New York at Oswego, USA
Gary T. Leavens        Iowa State University, USA
Rustan Leino           Microsoft, USA
Peter Mueller          Deutsche Bank, Germany
David Naumann          Stevens Institute of Technology, USA 
Arnd Poetzsch-Heffter  FernUniversitaet Hagen, Germany
Erik Poll (chair)      University of Nijmegen, The Netherlands