<p style="margin-bottom: 0cm"><font face="'PrimaSans BT,Verdana,sans-serif'"><font face="'PrimaSans BT,Verdana,sans-serif'"><font face="'PrimaSans BT,Verdana,sans-serif'"><font face="Times New Roman, serif">******************************************************************************</font></font></font></font></p><font face="'PrimaSans BT,Verdana,sans-serif'"><font face="'PrimaSans BT,Verdana,sans-serif'"><font face="'PrimaSans BT,Verdana,sans-serif'"> <p style="margin-bottom: 0cm" align="CENTER"><font face="Times New Roman, serif">CALL FOR PAPERS<br>17th Workshop on Formal Techniques for Java-like Programs</font></p>  <p style="margin-bottom: 0cm" align="CENTER"><font face="Times New Roman, serif"><font size="3">Co-located with  2015<br>7 July 201<font size="3">5</font>, <a href="http://2015.ecoop.org/venue/prague-marriott" target="1">Prague, Czech Republic</a><br><a href="http://2015.ecoop.org/track/FTfJP-2015-papers" target="1">http://2015.ecoop.org/track/FTfJP-2015-papers</a></font></font></p>  <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">******************************************************************************</font></p> <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Formal     techniques can help analyse programs, precisely describe  program     behaviour, and verify program properties. 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 security. </font> </p> <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">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:</font></p>  <ul><li><p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Language         Semantics</font></p>         </li><li><p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Specification         techniques and languages</font></p>         </li><li><p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Verification         of program properties</font></p>         </li><li><p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Verification         logics</font></p>         </li><li><p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Dynamic         program analysis</font></p>         </li><li><p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Static         program analysis</font></p>         </li><li><p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Type         systems</font></p>         </li><li><p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Challenge         problems and solutions</font></p>         </li><li><p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Security</font></p>          </li></ul> <p style="margin-bottom: 0cm"><font face="Times New Roman, serif"><font size="3">For details of previous <font size="3">workshops, </font>visit <a href="http://www.cs.ru.nl/ftfjp/" target="1">http://www.cs.ru.nl/ftfjp/</a></font></font></p>  <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">--------------------------</font></p><font face="Times New Roman, serif">Call for contributions</font><font face="Times New Roman, serif"><br>--------------------------</font> <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">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. </font> </p>  <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">We     particularly welcome contributions that simply present suitable   topics   for discussion at the workshop, or raise issues that you feel   deserve   the attention of the research community. Examples include   future work   identified from existing research, potential PhD   proposals, and   experience reports from case studies/competitions.   Contributions will be   formally reviewed for originality, relevance,   and the potential to   generate interesting discussions.</font></p>  <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">The     workshop will be organized into sessions, each focused on a specific     topic. These sessions will be initiated by a presentation of related   position papers by   the respective participants, or the introduction  of  the specific topic   by a single speaker, and followed by  discussion.  These discussions aim   to share common experiences,  provide  constructive feedback, and build   potential research  collaborations.</font></p>  <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Accepted     papers will have the option of being 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  workshops.</font></p>  <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Contributions    must be in English, in   format, and are limited to 6 pages in ACM    2-column style. Papers must  be submitted electronically via Easy Chair.    All deadlines are at 23:59  American Samoa time (that is, -11).</font></p>  <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">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.</font></p> <p style="margin-bottom: 0cm"><font face="Times New Roman, serif"><font face="Times New Roman, serif"><font size="3">Submission site: <a href="https://easychair.org/conferences/?conf=ftfjp2015" target="1">https://easychair.org/conferences/?conf=ftfjp2015</a></font></font></font></p><p style="margin-bottom: 0cm"><font face="Times New Roman, serif">------------------------</font></p><font face="Times New Roman, serif">Important Dates</font><font face="Times New Roman, serif"><br>------------------------</font> <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Paper submission: 2 April, 2015 </font> </p> <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Notification: 1 May, 2015</font></p> <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Camera-ready: 22 May, 2015</font></p> <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">Workshop: 7  July, 2015</font></p> <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">------------------------</font></p><font face="Times New Roman, serif">Program Committee</font><font face="Times New Roman, serif"><br>------------------------</font> <p style="margin-bottom: 0cm"><font face="Times New Roman, serif"><font size="3">- Rosemary Monahan, Maynooth University, Ireland (chair)<br>- Truong Anh Hoang, Vietnam National University, Vietnam<br>- David Clarke, Uppsala<font size="3"> </font>University, Sweden and KU Leuven, Belg</font></font></p><font face="Times New Roman, serif"><font size="3">- Jean-Christophe Filliatre, CNRS, Paris, France<br>- Reiner Hähnle, Technical University of Darmstadt, Germany<br>- Marieke Huisman, University of Twente, The Netherlands<br>- Atsushi Igarashi, Kyoto University, Japan<br>- Nadia Polikarpova, MIT CSAIL, USA<br><font size="3">-<font size="3"> Ale<font size="3">xander <font size="3">J. Summers, ETH Zurich, S<font size="3">witz<font size="3">erland</font></font></font></font></font></font></font></font></font></font></font><br>- Elena Zucca, University of Genova, Italy <p style="margin-bottom: 0cm"><font face="Times New Roman, serif">------------------------</font><font face="Times New Roman, serif">---</font></p><font face="Times New Roman, serif">Steering Committee</font><font face="Times New Roman, serif"><br>-----------------------</font><font face="Times New Roman, serif">---</font> <p style="margin-bottom: 0cm"><font face="Times New Roman, serif"><font size="3">- Werner Dietl, University of Waterloo, Canada<br>- Sophia Drossopoulou, Imperial College, London, Great Britain<br>- Gary T. Leavens, University of Central Florida, Orlando, USA<br>- K. Rustan M. Leino, Microsoft Research, Redmond, USA<br>- Peter Mueller, ETH Zurich, Switzerland<br>- Erik Poll, Radboud University Nijmegen, The Netherlands<br><br><br>Further Information:<a href="http://2015.ecoop.org/track/FTfJP-2015-papers" target="1"> </a><a href="http://2015.ecoop.org/track/FTfJP-2015-papers" target="1">http://2015.ecoop.org/track/FTfJP-2015-papers</a></font></font><br></p>