colocated with ECOOP 2012, Beijing
June 12, 2012


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. The Workshop on Formal Techniques for Java-like Programs aims to bring together people working in both these fields, on topics such as:


Check the FTfJP program

Invited Tutorial


Accepted papers

Important dates

abstract submission   16 March 2012 (anywhere on Earth)
full paper submission   25 March 2012 (anywhere on Earth)
notification 29 April 2012
camera-ready paper 14 May 2012
conference date 12 June 2012

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 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.

Accepted papers will be published in the ACM Digital Library. In addition, depending on the nature of the contributions, we may organize 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: https://www.easychair.org/conferences/?conf=ftfjp2012

Any PC member, other than the chair, may be an author or co-author on any paper submitted for consideration but will be excluded from any evaluation or discussion of the paper.


Wei-Ngan Chin, National University of Singapore, Singapore
Aquinas Hobor, National University of Singapore, Singapore

Program Committee

Aditya Nori, Microsoft Research India, India
Aquinas Hobor, National University of Singapore, Singapore
Atsushi Igarashi, Kyoto University, Japan
Florin Craciun, Babes Bolyai University, Romania
Hoang Truong, Vietnam National University, Vietnam
Jens Palsberg, University of California, USA
Jesper Bengtson, IT-University of Copenhagen, Denmark
Jianjun Zhao, Shanghai Jiaotong University, China
John Boyland, University of Wisconsin-Milwaukee, USA
Jules Villard, University College London, UK
Sophia Drossopoulou, Imperial College London, UK
Thomas Wies, New York University, USA
Tyng-Ruey Chuang, Academia Sinica, Taiwan
Wei-Ngan Chin, National University of Singapore, Singapore
Zongyan Qiu, Peking University, China


Because PLDI and ECOOP are colocated in 2012, we are also colocated with PLDI!