[Prev][Next][Index][Thread]
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
http://www.cs.kun.nl/~erikpoll/ftfjp
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
because:
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.
Submissions:
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.
Send submissions by email to Erik Poll <erikpoll@cs.kun.nl> by April 8,
2002.
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.
Proceedings:
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