10th Workshop on
Formal Techniques for Java-like Programs
FTfJP 2008

Important Dates

April 23, 2008

Deadline for submission of abstract

April 30, 2008

Deadline for submission of full paper

May 26, 2008

Notification

June 1, 2008

Deadline for early registration to ECOOP '08

June 9, 2008

Deadline for final version of paper
for informal proceedings

July 8, 2008

Workshop

Program Committee

• Elvira Albert, Complutense University of Madrid, Spain
• Cyrille Artho, RCIS/AIST, Japan
• Anindya Banerjee, Kansas State University, USA
• Mike Barnett, Microsoft Research, Redmond, USA
• Amy Felty, University of Ottawa, Canada
• Paola Giannini, University of Eastern Piedmont, Italy
• Rene Rydhof Hansen, Aalborg University, Denmark
• Marieke Huisman, INRIA Sophia Antipolis, France
(chair)
• Atsushi Igarashi, Kyoto University, Japan
• Bart Jacobs, University of Leuven, Belgium
• Gerwin Klein, National ICT Australia, Australia
• Neelakantan R. Krishnaswami, Carnegie Mellon University, USA
• Matthew Parkinson, University of Cambridge, UK
• Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
• Tobias Wrigstad, Purdue University, USA

Organizers

• Marieke Huisman (chair)
• Sophia Drossopoulou, Imperial College London, UK
• Susan Eisenbach, Imperial College London, UK
• Gary T. Leavens, University of Central Florida, USA
• Peter Müller, Microsoft Research, Redmond, USA
• Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
• Erik Poll, Radboud University Nijmegen, Netherlands

FTfJP: Formal Techniques for Java-like Programs

Purpose

Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. 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.

Work on formal techniques and tools for programs and work on the formal underpinnings of programming languages themselves naturally complement each other. This workshop aims to bring together people working in both these fields, on topics such as:

• specification techniques and interface specification languages,
• specification of software components and library packages,
• automated checking and verification of program properties,
• verification logics,
• language semantics,
• program analysis,
• type systems,
• security.

Contributions are sought on open questions, new developments, or interesting new applications of formal techniques in the context of Java or similar languages, such as C#. Contributions should not merely present completely finished work, but also raise challenging open problems or propose speculative new approaches. We plan to have a special exciting ideas session during the workshop, where challenges, new ideas, open problems and speculative solutions will be presented, with extra room for discussion.

Submissions must be in English and are limited to 10 pages using LNCS style (excluding bibliography). Notice that we explicitly also encourage the submission of short papers (of 4 - 6 pages, especially for the ``exciting ideas'' session). Papers must be submitted electronically via Easy Chair.

A PC member, other than the chair(s), may be an author or co-author on any paper under consideration but will be excluded from any evaluation or discussion of the paper, and will get access to reviews of the paper(s) only in the same manner and time as other authors.

Attendance

If you wish to attend the workshop, but are not an author, PC member or organizer, please ask the organizers via an email to Marieke Huisman.

Publication

Informal proceedings will be made available to workshop participants. There will be no formal publication of papers.

We intend to invite selected papers for a special journal issue as a follow-up to the workshop, as has been done for some previous FTfJP workshops.

Call for contributions (PDF or plain text).