FTfJP 2017 (Formal Techniques for Java-like Programs)
FTfJP is an established workshop, running annually since 1999 alongside ECOOP. Its goal is to bring together people working on formal techniques and tool support for Java, or closely related languages such as C# or Scala, either with the aim to describe, analyse, and verify aspects and properties of these programming languages themselves (type systems, semantics, bytecode verification, etc.), or of programs written in these languages.
- Werner Dietl (chair)
- Sophia Drossopoulou
- Gary T. Leavens
- K. Rustan M. Leino
- Rosemary Monahan
- Peter Müller
For more information about the series of workshops, see https://ftfjp.bitbucket.io/.
Call for Papers
Contributions related to formal techniques for Java-like programs are sought in two categories:
Technical Work. In 6 two-column pages, the paper should present a technical contribution. We welcome both complete and incomplete results, as long as they are substantial enough to stimulate discussion on future research directions.
Position Paper. In 2 two-column pages, the paper should advocate a promising research direction. Using this format, we encourage established researchers to set out their vision, and we also encourage beginning researchers to plan their path to a PhD.
Both types of contributions will benefit from feedback received at the workshop. Both theory and tools are welcome. Topics include but are not limited to
- model checking
- program analysis (static or dynamic)
- verification (traditional, quantitative, at runtime, …)
- language design (for programs or specifications)
- proof engineering
- pearls (proofs or programs)
Submissions will be peer reviewed, and will be evaluated based on their clarity and based on their potential to generate interesting discussions. The format of the workshop encourages interaction. FTfJP is a forum in which a wide range of people share their expertise, from experienced researchers to beginning PhD students.
Accepted papers will be published in the ACM Digital Library, if the authors wish so. The use of ACM’s template with the SIGPLAN format is required. Submissions are by default not double blind. If you wish to anonymize your submission, contact the PC chair.
|Mon 1 May 2017updated|
(extended) submission deadline
|Mon 15 May 2017|
University of Luxembourg
University of Kent
imec-DistriNet, Dept. CS, KU Leuven
Victoria University of Wellington
University of California, Los Angeles
The University of Sydney
ETH Zurich, Switzerland