<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># CALL FOR PARTICIPATION</div>
<div><br>
</div>
<div>22th 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>Virtual event, to be held using Zoom,</div>
<div>on Thursday, 23 July 2020,</div>
<div>from 10:00 to 17:30 (GMT+2 Amsterdam time).</div>
<div><br>
</div>
<div>Participation is free. For more details please see the webpage linked above.</div>
<div><br>
</div>
<div><br>
</div>
<div>## INVITED SPEAKERS</div>
<div><br>
</div>
<div>* Frank de Boer and Hans-Dieter Hiep (CWI, the Netherlands):</div>
<div> History-based Specification and Verification of Java Collections in KeY</div>
<div>* Sung-Shik Jongmans (Open University, CWI; the Netherlands):</div>
<div> Discourje: Runtime Verification of Communication Protocols in Clojure</div>
<div><br>
</div>
<div><br>
</div>
<div>## INVITED TUTORIAL</div>
<div><br>
</div>
<div>* Alexander Summers (University of British Columbia, Canada):</div>
<div> Prusti – Deductive Verification for Rust</div>
<div><br>
</div>
<div><br>
</div>
<div>## PROGRAM</div>
<div><br>
</div>
<div>The program of (virtual) FTfJP 2020, July 23th, is as follows.</div>
<div>All times are in GMT+2 Amsterdam time.</div>
<div><br>
</div>
<div>Session One</div>
<div>* 10:00 - 11:00: History-based Specification and Verification of Java Collections in KeY (invited talk)</div>
<div> (Frank de Boer and Hans-Dieter Hiep)</div>
<div>* 11:00 - 11:30: Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom</div>
<div> (Kiko Fernandez-Reyes, James Noble, Isaac Oscar Gariano, Erin Greenwood-Thessman, Michael Homer and Tobias Wrigstad)</div>
<div>* 11:30 - 11:50: ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming</div>
<div> (Mirko Köhler, Nafise Eskandani Masoule, Alessandro Margara and Guido Salvaneschi)</div>
<div><br>
</div>
<div>-- lunch break --</div>
<div><br>
</div>
<div>Session Two</div>
<div>* 13:15 - 13:45: Salsa: Static Analysis of Serialization Features</div>
<div> (Joanna Cecilia da Silva Santos, Reese Jones and Mehdi Mirakhorli)</div>
<div>* 13:45 - 14:05: Towards Verified Construction of Correct and Optimised GPU Software</div>
<div> (Marieke Huisman and Anton Wijs)</div>
<div>* 14:05 - 14:35: An inductive abstract semantics for coFJ</div>
<div> (Pietro Barbieri, Francesco Dagnino and Elena Zucca)</div>
<div>* 14:35 - 15:05: A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit</div>
<div> (Tobias Reinhard, Amin Timany and Bart Jacobs)</div>
<div> </div>
<div>-- break --</div>
<div> </div>
<div>Session Three</div>
<div>* 15:30 - 16:30: Prusti – Deductive Verification for Rust (invited tutorial)</div>
<div> (Alexander Summers)</div>
<div>* 16:30 - 17:30: Discourje: Runtime Verification of Communication Protocols in Clojure (invited talk)</div>
<div> (Sung-Shik Jongmans)</div>
<div><br>
</div>
<div><br>
</div>
<div>## ABOUT FTfJP 2020</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>
<br>
<p></p>
</div>
</body>
</html>