FTfJP 2010: 12th Workshop on Formal Techniques for Java-like Programs 2010

June 21, 2010-June 22, 2010 in Maribor, Slovenia

Call for Papers

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