<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-CA" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal">==========================================================<o:p></o:p></p>
<p class="MsoNormal">CALL FOR PAPERS<o:p></o:p></p>
<p class="MsoNormal">FTfJP 2023<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">25th Workshop on Formal Techniques for Java-like Programs<o:p></o:p></p>
<p class="MsoNormal">July 18th, 2023, Seattle, WA, USA<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">https://2023.ecoop.org/track/ftfjp-2023<o:p></o:p></p>
<p class="MsoNormal">===========================================================<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">=== Important Dates ===<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Paper submission: May 22nd, 2023 (AoE)<o:p></o:p></p>
<p class="MsoNormal">* Author notification: June 23rd, 2023 (AoE)<o:p></o:p></p>
<p class="MsoNormal">* Workshop date: July 18th, 2023 (co-located with ECOOP 2023)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Deadlines expire at 23:59 anywhere on earth on the dates displayed above.<o:p></o:p></p>
<p class="MsoNormal">Submission site: https://easychair.org/conferences/?conf=ftfjp2023<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">=== Objectives and Scope ===<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Formal techniques can help analyse programs, precisely describe program<o:p></o:p></p>
<p class="MsoNormal">behaviour, and verify program properties. Modern programming languages<o:p></o:p></p>
<p class="MsoNormal">are interesting targets for formal techniques due to their ubiquity and<o:p></o:p></p>
<p class="MsoNormal">wide user base, stable and well-defined interfaces and platforms, and<o:p></o:p></p>
<p class="MsoNormal">powerful (but also complex) libraries. New languages and applications in<o:p></o:p></p>
<p class="MsoNormal">this space are continually arising, resulting in new programming<o:p></o:p></p>
<p class="MsoNormal">languages (PL) research challenges.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Work on formal techniques and tools and on the formal underpinnings of<o:p></o:p></p>
<p class="MsoNormal">programming languages themselves naturally complement each other. FTfJP<o:p></o:p></p>
<p class="MsoNormal">is an established workshop which has run annually since 1999 alongside<o:p></o:p></p>
<p class="MsoNormal">ECOOP, with the goal of bringing together people working in both fields.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The workshop has a broad PL theme. The most important criterion is that<o:p></o:p></p>
<p class="MsoNormal">submissions will generate interesting discussions within this community.<o:p></o:p></p>
<p class="MsoNormal">The term “Java-like” is somewhat historic and should be interpreted<o:p></o:p></p>
<p class="MsoNormal">broadly: FTfJP solicits and welcomes submissions relating to programming<o:p></o:p></p>
<p class="MsoNormal">languages in general, beyond Java, including submissions related to C#,<o:p></o:p></p>
<p class="MsoNormal">Scala, and similar languages, and submissions on more general topics<o:p></o:p></p>
<p class="MsoNormal">that may be relevant to such languages.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Example topics of interest include:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Language design and semantics<o:p></o:p></p>
<p class="MsoNormal">* Type systems<o:p></o:p></p>
<p class="MsoNormal">* Concurrency and new application domains<o:p></o:p></p>
<p class="MsoNormal">* Specification and verification of program properties<o:p></o:p></p>
<p class="MsoNormal">* Program analysis (static or dynamic)<o:p></o:p></p>
<p class="MsoNormal">* Program synthesis<o:p></o:p></p>
<p class="MsoNormal">* Security<o:p></o:p></p>
<p class="MsoNormal">* Pearls (programs or proofs)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">FTfJP welcomes submissions on technical contributions, case studies,<o:p></o:p></p>
<p class="MsoNormal">experience reports, challenge proposals, and position papers.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Webpages for previous workshops in this series are available at:<o:p></o:p></p>
<p class="MsoNormal">https://ftfjp.github.io/<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">=== Paper Categories ===<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Contributions are sought in two categories:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Full Papers (6 pages, excluding references) present a technical<o:p></o:p></p>
<p class="MsoNormal"> contribution, case study, or detailed experience report. We welcome<o:p></o:p></p>
<p class="MsoNormal"> both complete and incomplete technical results; ongoing work is<o:p></o:p></p>
<p class="MsoNormal"> particularly welcome, provided it is substantial enough to stimulate<o:p></o:p></p>
<p class="MsoNormal"> interesting discussions.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Short Papers (2 pages, excluding references) should advocate a<o:p></o:p></p>
<p class="MsoNormal"> promising research direction, or otherwise present a position likely<o:p></o:p></p>
<p class="MsoNormal"> to stimulate discussion at the workshop. We encourage, e.g.,<o:p></o:p></p>
<p class="MsoNormal"> established researchers to set out a personal vision, and beginning<o:p></o:p></p>
<p class="MsoNormal"> researchers to present a planned path to a Ph.D.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Both types of contributions will benefit from feedback received at the<o:p></o:p></p>
<p class="MsoNormal">workshop. Submissions will be peer reviewed, and will be evaluated based<o:p></o:p></p>
<p class="MsoNormal">on their clarity and their potential to generate interesting<o:p></o:p></p>
<p class="MsoNormal">discussions. Reviewing will be single blind, there is no need to<o:p></o:p></p>
<p class="MsoNormal">anonymize submissions.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The format of the workshop encourages interaction. FTfJP is a forum in<o:p></o:p></p>
<p class="MsoNormal">which a wide range of people share their expertise, from experienced<o:p></o:p></p>
<p class="MsoNormal">researchers to beginning PhD students.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">=== Submission Guidelines ===<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">All submissions and reviews will be managed within EasyChair.<o:p></o:p></p>
<p class="MsoNormal">Submissions should be made via<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">https://easychair.org/conferences/?conf=ftfjp2023<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">There is no need to indicate the paper category (long/short).<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Submissions should be in acmart/sigplan style, 10pt font. Formatting<o:p></o:p></p>
<p class="MsoNormal">requirements are detailed on the SIGPLAN Author Information page<o:p></o:p></p>
<p class="MsoNormal">(https://www.sigplan.org/Resources/Author).<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">We plan that, as in previous years, accepted papers will be published in<o:p></o:p></p>
<p class="MsoNormal">the ACM Digital Library, though authors will be able to opt out of this<o:p></o:p></p>
<p class="MsoNormal">publication, if desired. At least one author of an accepted paper must<o:p></o:p></p>
<p class="MsoNormal">register to the conference by the early registration date and attend the<o:p></o:p></p>
<p class="MsoNormal">workshop to present the work and participate in the discussions.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Selected papers will also be considered for extended versions to be<o:p></o:p></p>
<p class="MsoNormal">submitted to the Journal of Object Technology (JOT).<o:p></o:p></p>
</div>
</body>
</html>