[TYPES/announce] CFP: Formal Techniques for Java-like Programs (FTfJP 2007)

[John Tang Boyland]

                Call for Contributions FTfJP 2007

     9th Workshop on Formal Techniques for Java-like Programs
                  in conjunction with ECOOP 2007

                 July 31, 2007  (Berlin, Germany)

                http://cs.nju.edu.cn/boyland/ftjp

SCOPE

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,
- type systems,
- security.


CONTRIBUTIONS

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 particularly
welcome contributions that simply suggest good topics for discussion
at the workshop, or raise issues that you feel deserve the attention
of the research community.

Submissions must be in English and are limited to 10 pages using LNCS
style (excluding bibliography). Papers must be submitted
electronically via the workshop website: http://cs.nju.edu.cn/boyland/ftjp


PUBLICATION

An informal proceedings will be made available to workshop
participants. Papers will also be available from the workshop web
page. 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.


Important Dates

May 6, 2007     Deadline for submission of abstract
May 13, 2007    Deadline for submission of full paper
June 6, 2007    Notification
June 30, 2007   Deadline for final version of paper for informal proceedings
July 31, 2007   Workshop


Program Committee

Cyrille Artho           AIST/RCIS, Japan
Frank S. de Boer        CWI, Netherlands
Fabrice Bouquet         University of Franche Comte, 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        Universita 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 Mueller
Arnd Poetzsch-Heffter
Erik Poll, co-chair

For more information, send email to the organizer co-chairs:
boyland at cs.uwm.edu, E.Poll at cs.ru.nl