[TYPES/announce] Call for papers -- 11th Workshop on Formal Techniques for Java-like Programs, Genova, Italy

Anindya Banerjee ab at cis.ksu.edu
Tue Feb 10 12:25:11 EST 2009


******************************************************************************
                        Call for Contributions FTfJP 2009

       11th Workshop on Formal Techniques for Java-like Programs
                   in conjunction with ECOOP 2009

                   July 6 or 7, 2009 (Genova, Italy)

               http://people.cis.ksu.edu/~ab/FTfJP09/ftfjp09.html
*****************************************************************************

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
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).  We also encourage
the submission of short papers of 4 - 6 pages, especially for the
``exciting ideas'' session. Submission instructions will be supplied
in due course.

All contributions will be reviewed for originality,
relevance, focus of the workshop, and the potential to generate
interesting discussions.

A PC member, other than the chair, 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.


PUBLICATION

The proceedings of FTfJP 2009 will be published (for free) in the ACM
Digital library. Informal proceedings will be made available to
workshop participants.

Depending on the quality of submissions received 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

Submission (abstract)      March 25     2009
Submission (full paper)    April 1     2009 
Notification               May 8       2009 
Final version              TBA
ECOOP early registration   May 20      2009
Workshop                   July 6 or 7 2009

Web Site: http://people.cis.ksu.edu/~ab/FTfJP09/ftfjp09.html


PROGRAM COMMITTEE

Elvira Albert, Complutense University of Madrid, Spain
Anindya Banerjee, IMDEA Software, Spain (chair)
Mike Barnett, Microsoft Research, Redmond, USA
John Boyland, University of Wisconsin-Milwaukee, USA
Patrice Chalin, Concordia University, Canada
Dino Distefano, Queen Mary University of London UK
Adrian Fiech, Memorial University, Canada
Diego Garbervetsky, Universidad de Buenos Aires, Argentina
Rene' Rydhof Hansen, Aalborg University, Denmark
Atsushi Igarashi, Kyoto University, Japan
Francesco Logozzo, Microsoft Research, Redmond, USA
Rosemary Monahan, National University of Ireland, Ireland
Corina Pasareanu, NASA Ames, USA
Alexander J. Summers, Imperial College, UK
Greta Yorsh, IBM TJ Watson Research Center, USA


ORGANIZERS

Anindya Banerjee, IMDEA Software, Spain  (chair)
Sophia Drossopoulou, Imperial College London, UK
Susan Eisenbach, Imperial College London, UK
Gary T. Leavens, University of Central Florida, USA
Peter Mueller, Microsoft Research, Redmond, USA
Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
Erik Poll, Radboud University Nijmegen, Netherlands

For more information, send email to Anindya Banerjee:
ab AT cis dot KSU DOT edu OR
anindya DOT banerjee AT imdea DOT org


More information about the Types-announce mailing list