<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p># CALL FOR PAPERS</p>
<p><br>
</p>
<p>22st Workshop on Formal Techniques for Java-like Programs (FTfJP 2020)</p>
<p>https://2020.ecoop.org/track/FTfJP-2020-papers</p>
<p><br>
</p>
<p>Co-located with ECOOP 2020, July 13-17, Berlin, Germany</p>
<p><br>
</p>
<p>## About FTfJP 2020</p>
<p><br>
</p>
<p>Formal techniques can help analyse programs, precisely describe</p>
<p>program behaviour, and verify program properties. Modern programming</p>
<p>languages are interesting targets for formal techniques due to their</p>
<p>ubiquity and wide user base, stable and well-defined interfaces and</p>
<p>platforms, and powerful (but also complex) libraries. New languages</p>
<p>and applications in this space are continually arising, resulting in</p>
<p>new programming languages (PL) research challenges.</p>
<p><br>
</p>
<p>Work on formal techniques and tools and on the formal underpinnings of</p>
<p>programming languages themselves naturally complement each</p>
<p>other. FTfJP is an established workshop which has run annually since</p>
<p>1999 alongside ECOOP, with the goal of bringing together people</p>
<p>working in both fields.</p>
<p><br>
</p>
<p>The workshop has a broad PL theme; the most important criterion is</p>
<p>that submissions will generate interesting discussions within this</p>
<p>community. The term “Java-like” is somewhat historic and should be</p>
<p>interpreted broadly: FTfJP solicits and welcomes submission relating</p>
<p>to programming languages in general, beyond Java, C#, Scala, etc.</p>
<p><br>
</p>
<p>Example topics of interest include:</p>
<p><br>
</p>
<p>* Language design and semantics</p>
<p>* Type systems</p>
<p>* Concurrency and new application domains</p>
<p>* Specification and verification of program properties</p>
<p>* Program analysis (static or dynamic)</p>
<p>* Program synthesis</p>
<p>* Security</p>
<p>* Pearls (programs or proofs)</p>
<p><br>
</p>
<p>FTfJP welcomes submissions on technical contributions, case studies,</p>
<p>experience reports, challenge proposals, and position papers.</p>
<p><br>
</p>
<p><br>
</p>
<p>## Submissions</p>
<p><br>
</p>
<p>Contributions are sought in two categories:</p>
<p><br>
</p>
<p>* Full Papers (6 pages, excluding references) present a technical</p>
<p> contribution, case study, or detailed experience report. We welcome</p>
<p> both complete and incomplete technical results; ongoing work is</p>
<p> particularly welcome, provided it is substantial enough to stimulate</p>
<p> interesting discussions.</p>
<p><br>
</p>
<p>* Short Papers (2 pages, excluding references) should advocate a</p>
<p> promising research direction, or otherwise present a position likely</p>
<p> to stimulate discussion at the workshop. We encourage</p>
<p> e.g. established researchers to set out a personal vision, and</p>
<p> beginning researchers to present a planned path to a PhD.</p>
<p><br>
</p>
<p>Both types of contributions will benefit from feedback received at the</p>
<p>workshop. Submissions will be peer reviewed, and will be evaluated</p>
<p>based on their clarity and their potential to generate interesting</p>
<p>discussions. The format of the workshop encourages interaction. FTfJP</p>
<p>is a forum in which a wide range of people share their expertise, from</p>
<p>experienced researchers to beginning PhD students.</p>
<p><br>
</p>
<p><br>
</p>
<p>## Formatting and Publication</p>
<p><br>
</p>
<p>Submissions should be in acmart/sigplan style, 10pt font. Formatting</p>
<p>requirements are detailed on the SIGPLAN Author Information page</p>
<p>(https://www.sigplan.org/Resources/Author).</p>
<p><br>
</p>
<p>Accepted papers will be published in the ACM Digital Library by</p>
<p>default, though authors will be able to opt out of this publication,</p>
<p>if desired. At least one author of an accepted paper must attend the</p>
<p>workshop to present the work and participate in the discussions.</p>
<p><br>
</p>
<p><br>
</p>
<p>## Important Dates</p>
<p><br>
</p>
<p>* Submission: May 1st (AoE)</p>
<p>* Notification: May 29th</p>
<p><br>
</p>
<p><br>
</p>
<p>## Program Committee</p>
<p><br>
</p>
<p>* Wolfgang Ahrendt (Chalmers University, Sweden)</p>
<p>* Petra van den Bos (University of Twente, the Netherlands)</p>
<p>* Marie Farrell (University of Liverpool, UK)</p>
<p>* Paula Herber (University of Munster, Germany)</p>
<p>* Nikolai Kosmatov (CEA LIST, France)</p>
<p>* James Noble (Victoria University of Wellington, New Zealand)</p>
<p>* Violet Ka I Pun (University of Oslo, Norway)</p>
<p>* John Singleton (University of Central Florida, USA)</p>
<p>* Mattias Ulbrich (KIT, Germany)</p>
<p>* Anton Wijs (Eindhoven University, the Netherlands)</p>
<p>* Elena Zucca (University of Genova, Italy)</p>
<div><br>
</div>
</div>
</body>
</html>