9th Workshop on
Formal Techniques for Java-like Programs
FTfJP 2007

Important Dates

May 6, 2007

Deadline for submission of abstract

May 13, 2007

Deadline for submission of full paper

June 6, 2007

Notification

June 15, 2007

Deadline for early registration to ECOOP '07

June 30, 2007

Deadline for final version of paper
for informal proceedings

July 31, 2007

Workshop

Program Committee

• Cyrille Artho, RCIS/AIST, Japan
• Frank S. de Boer, CWI, Netherlands
• Fabrice Bouquet, University of Franche Comté, France
• John Boyland, Nanjing University, China and
  University of Wisconsin-Milwaukee, USA, chair
• Alex Buckley, Sun Microsystems, UK
• Patrice Chalin, Concordia University, Canada
• Dave Clarke, CWI, Netherlands
• Paola Giannini, University of Piemonte Orientale, Italy
• Marieke Huisman, INRIA Sophia Antipolis, France
• Giovanni Lagorio, Università di Genova, Italy
• Gary T. Leavens, Iowa State University, USA
• Francesco Logozzo, Microsoft Research, USA
• Wojciech Mostowski, Radboud University Nijmegen, Netherlands
• Wolfram Schulte, Microsoft Research, USA

Organizers

• John Boyland, co-chair
• Sophia Drossopoulou
• Susan Eisenbach
• Gary T. Leavens
• Peter Müller
• Arnd Poetzsch-Heffter
• Erik Poll, co-chair

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.

Attendance

If you wish to attend the workshop, but are not an author, PC member or organizer, please ask one of the organizer co-chairs (">John Boyland or ">Erik Poll). You should also state your intention while registering for ECOOP.

Publication

The informal proceedings is available as PDF (two-up version also available). 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.