Deadline Extension: ECOOP 2003 Workshop on Formal Techniques for Java-like Programs
To: "ArndPoetzsch-Heffter" <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <javaMemoryModel@cs.umd.edu>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, "Armin Biere" <email@example.com>, "Bertrand. Meyer@inf. ethz. ch" <Bertrand.Meyer@inf.ethz.ch>, <firstname.lastname@example.org>, <email@example.com>, =?iso-8859-1?Q?Peter_M=FCller?= <firstname.lastname@example.org>
Subject: Deadline Extension: ECOOP 2003 Workshop on Formal Techniques for Java-like Programs
From: =?iso-8859-1?Q?Peter_M=FCller?= <email@example.com>
Date: Thu, 24 Apr 2003 22:14:40 +0200
Since several authors of submissions asked for an extension of the deadline
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.
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
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 (firstname.lastname@example.org) 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:
Deadline for submission: May 2, 2003
Notification of acceptance: May 24, 2003
Final version: June 14, 2003
Day of workshop: July 21, 2003
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)
Gary Leavens (Iowa State University, USA)
Peter Mueller (Deutsche Bank, Germany)
Arnd Poetzsch-Heffter (Universitaet Kaiserslautern, Germany)
Erik Poll (University of Nijmegen, The Netherlands)