[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CfP: 15th Workshop on Formal Techniques for Java-like Programs (FTfJP)

15th Workshop on Formal Techniques for Java-like Programs

Co-located with ECOOP 2013
July 1st 2013, Montpellier, France

== Overview

Formal techniques can help analyze programs, precisely describe
program behavior, and verify program properties. Newer languages such
as Java, C#, and Scala 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

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:

- language semantics
- specification techniques and languages
- verification of program properties
- verification logics
- dynamic program analysis
- static program analysis
- type systems
- challenge problems and solutions
- 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.

If desired by the authors, accepted papers will be published in the
ACM Digital Library. In addition, depending on the nature of the
contributions, we may be organizing 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:

== Important dates

abstract submission: April 12, 2013
paper submission:    April 19, 2013
notification:        May 17, 2013
workshop:            July 1, 2013

All deadlines are at 23:59 American Samoa time
(that is, UTC-11 or there is any place on earth with that date).

== Program Committee

- Robert L. Bocchino Jr., Carnegie Mellon University, USA
- Werner Dietl, University of Washington, USA, (chair)
- Julian Dolby, IBM Research, USA
- Erik Ernst, Aarhus University, Denmark
- Manuel Fahndrich, Microsoft Research, USA
- Atsushi Igarashi, Kyoto University, Japan
- Vladimir Klebanov, Karlsruhe Institute of Technology, Germany
- Laura Kovacs, TU Vienna, Austria
- Rosemary Monahan, NUI Maynooth, Ireland
- David A. Naumann, Stevens Institute of Technology, USA
- Frank Piessens, Katholieke Universiteit Leuven, Belgium
- Christian Wimmer, Oracle Labs, USA
- Elena Zucca, University of Genova, Italy

== Steering Committee

- Sophia Drossopoulou, Imperial College, London, Great Britain
- Susan Eisenbach, Imperial College, London, Great Britain
- Gary T. Leavens, University of Central Florida, Orlando, USA
- K. Rustan M. Leino, Microsoft Research, Redmond, USA
- Peter Mueller, ETH Zurich, Switzerland
- Arnd Poetzsch-Heffter, Universitaet Kaiserlautern, Germany
- Erik Poll, Radboud University Nijmegen, The Netherlands