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