<div dir="ltr">==========================================================<br>CALL FOR PAPERS<br>FTfJP 2023<br><br>25th Workshop on Formal Techniques for Java-like Programs<br>July 18th, 2023, Seattle, WA, USA<br><br><a href="https://2023.ecoop.org/track/ftfjp-2023">https://2023.ecoop.org/track/ftfjp-2023</a><br>===========================================================<br><br>=== Important Dates ===<br><br> * Paper submission: May 22nd, 2023 (AoE)<br> * Author notification: June 23rd, 2023 (AoE)<br> * Workshop date: July 18th, 2023 (co-located with ECOOP 2023)<br><br>Deadlines expire at 23:59 anywhere on earth on the dates displayed above.<br>Submission site: <a href="https://easychair.org/conferences/?conf=ftfjp2023">https://easychair.org/conferences/?conf=ftfjp2023</a><br><br>=== Objectives and Scope ===<br><br>Formal techniques can help analyse programs, precisely describe program<br>behaviour, and verify program properties. Modern programming languages<br>are interesting targets for formal techniques due to their ubiquity and<br>wide user base, stable and well-defined interfaces and platforms, and<br>powerful (but also complex) libraries. New languages and applications in<br>this space are continually arising, resulting in new programming<br>languages (PL) research challenges.<br><br>Work on formal techniques and tools and on the formal underpinnings of<br>programming languages themselves naturally complement each other. FTfJP<br>is an established workshop which has run annually since 1999 alongside<br>ECOOP, with the goal of bringing together people working in both fields.<br><br>The workshop has a broad PL theme. The most important criterion is that<br>submissions will generate interesting discussions within this community.<br>The term “Java-like” is somewhat historic and should be interpreted<br>broadly: FTfJP solicits and welcomes submissions relating to programming<br>languages in general, beyond Java, including submissions related to C#,<br>Scala, and similar languages, and submissions on more general topics<br>that may be relevant to such languages.<br><br>Example topics of interest include:<br><br> * Language design and semantics<br> * Type systems<br> * Concurrency and new application domains<br> * Specification and verification of program properties<br> * Program analysis (static or dynamic)<br> * Program synthesis<br> * Security<br> * Pearls (programs or proofs)<br><br>FTfJP welcomes submissions on technical contributions, case studies,<br>experience reports, challenge proposals, and position papers.<br><br>Webpages for previous workshops in this series are available at:<br><a href="https://ftfjp.github.io/">https://ftfjp.github.io/</a><br><br>=== Paper Categories ===<br><br>Contributions are sought in two categories:<br><br> * Full Papers (6 pages, excluding references) present a technical<br>   contribution, case study, or detailed experience report. We welcome<br>   both complete and incomplete technical results; ongoing work is<br>   particularly welcome, provided it is substantial enough to stimulate<br>   interesting discussions.<br><br> * Short Papers (2 pages, excluding references) should advocate a<br>   promising research direction, or otherwise present a position likely<br>   to stimulate discussion at the workshop. We encourage, e.g.,<br>   established researchers to set out a personal vision, and beginning<br>   researchers to present a planned path to a Ph.D.<br><br>Both types of contributions will benefit from feedback received at the<br>workshop. Submissions will be peer reviewed, and will be evaluated based<br>on their clarity and their potential to generate interesting<br>discussions. Reviewing will be single blind, there is no need to<br>anonymize submissions.<br><br>The format of the workshop encourages interaction. FTfJP is a forum in<br>which a wide range of people share their expertise, from experienced<br>researchers to beginning PhD students.<br><br>=== Submission Guidelines ===<br><br>All submissions and reviews will be managed within EasyChair.<br>Submissions should be made via<br><br><a href="https://easychair.org/conferences/?conf=ftfjp2023">https://easychair.org/conferences/?conf=ftfjp2023</a><br><br>There is no need to indicate the paper category (long/short).<br><br>Submissions should be in acmart/sigplan style, 10pt font. Formatting<br>requirements are detailed on the SIGPLAN Author Information page<br>(<a href="https://www.sigplan.org/Resources/Author">https://www.sigplan.org/Resources/Author</a>).<br><br>We plan that, as in previous years, accepted papers will be published in<br>the ACM Digital Library, though authors will be able to opt out of this<br>publication, if desired. At least one author of an accepted paper must<br>register to the conference by the early registration date and attend the<br>workshop to present the work and participate in the discussions.<br><br>Selected papers will also be considered for extended versions to be<br>submitted to the Journal of Object Technology (JOT).<br></div>