[TYPES/announce] Formal Techniques for Java-like Program (FTFJP) 2010 --- Call for Papers

[Nikhil Swamy]

CALL FOR PAPERS

12th Workshop on Formal Techniques for Java-like Programs
Co-located with ECOOP 2010
June, Maribor (Slovenia)

URL: http://distrinet.cs.kuleuven.be/events/ftfjp10/


Overview

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:
 - formal techniques for Java, C#, Scala or similar languages
- 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.

Call for contributions

Contributions (of up to 6 pages in the ACM 2-column style) are sought on
open questions, new developments, or interesting new applications of
formal techniques in the context of Java or similar languages.
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.

Contributions will be formally reviewed, for originality, relevance, and
the potential to generate interesting discussions.

The workshop is intended for around 25 participants. The workshop will
be organized into four or more sessions, each focused on a specific
topic, and initiated by a presentation of few related position papers by
the respective participants, or the introduction of the specific topic
by a single speaker, and followed by discussions.

Depending on the nature of the contributions, we may be organising a
special journal issue as a follow-up to the workshop, as has been done
for some of the previous FTfJP workshops.

Contributions must be in English, in pdf format, and are limited to 6
pages in ACM 2-column style.

Papers must be submitted electronically via Easy Chair. A plain-text
ASCII abstract must be submitted one week before the paper submission
deadline.

Submission site: http://www.easychair.org/conferences/?conf=ftfjp12

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.

The ECOOP organisation is negotiating with the ACM for workshop
proceedings to appear in ACM Digital Library.


Important dates

abstract submission: April 12, 2010
full paper submission: April 19, 2010
notification: May 5, 2010
workshop: June 21 or 22, 2010


Program Committee

Bernhard Beckert, Karlsruhe Institute of Technology, Germany
Lars Birkedal IT University of Copenhagen, Denmark
Dino Distefano, Queen Mary University of London, UK
Clément Hurlin, INRIA Bordeaux, France
Bart Jacobs, Katholieke Universiteit Leuven, Belgium (co-chair)
Adriaan Moors, EPFL Lausanne, Switzerland
Peter Müller, ETH Zurich, Switzerland
Frank Piessens Katholieke, Universiteit Leuven, Belgium (chair)
Erik Poll, Radboud University Nijmegen, The Netherlands
Robby, Kansas State University, US
Wolfram Schulte, Microsoft Research, US
Isabelle Simplot-Ryl, INRIA Lille, France
Jan Smans, Katholieke Universiteit Leuven, Belgium
Nikhil Swamy, Microsoft Research, US
Viktor Vafeiadis, University of Cambridge, UK

Organization

Sophia Drossopoulou, Imperial College, London, Great Britain
Susan Eisenbach, Imperial College, London, Great Britain
Bart Jacobs, Katholieke Universiteit Leuven, Belgium (co-chair)
Gary T. Leavens, University of Central Florida, Orlando, US
Peter Müller, ETH Zurich, Switzerland
Frank Piessens, Katholieke Universiteit Leuven, Belgium (chair)
Arnd Poetzsch-Heffter, Universität Kaiserlautern, Germany
Erik Poll, Radboud University Nijmegen, The Netherlands
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100313/e759f5d7/attachment-0001.htm