<div dir="ltr">TL;DR: The submission deadline for TyDe 2023 has been extended<div>to Thursday June 8.<br><br>--------------------------------------------------------------------------------<br> CALL FOR PAPERS<br><br> 8th Workshop on Type-Driven Development (TyDe 2023)<br> Co-Located with ICFP 2023 (Seattle, Washington, USA)<br><br> <a href="https://urldefense.com/v3/__https://icfp23.sigplan.org/home/tyde-2023__;!!IBzWLUs!UjskiLuIihBdhKlC8UDUdwAp30l17wl2jx7w7e6YF74B52XrSCkGIe8TRwSXK-KJKdnxnmpISGB4dK6Wirxrwgo4mw-Ll1tO$" target="_blank">https://icfp23.sigplan.org/home/tyde-2023</a><br>--------------------------------------------------------------------------------<br><br># Goals of the Workshop<br><br>The Workshop on Type-Driven Development (TyDe) aims to show how<br>static type information may be used effectively in the development<br>of computer programs. Co-located with ICFP, this workshop brings<br>together leading researchers and practitioners who are using or<br>exploring types as a means of program development.<br><br>We welcome all contributions, both theoretical and practical, on a<br>range of topics including:<br><br>- dependently typed programming;<br>- generic programming;<br>- design and implementation of programming languages, exploiting<br>  types in novel ways;<br>- exploiting typed data, data dependent data, or type providers;<br>- static and dynamic analyses of typed programs;<br>- tools, IDEs, or testing tools exploiting type information;<br>- pearls, being elegant, instructive examples of types used in the<br>  derivation, calculation, or construction of programs.<br><br># Proceedings and Copyright<br><br>We will have formal proceedings, published by the ACM. Accepted<br>papers will be included in the ACM Digital Library. Authors must<br>grant ACM publication rights upon acceptance, but may retain<br>copyright if they wish. Authors are encouraged to publish auxiliary<br>material with their paper (source code, test data, and so forth).<br>The proceedings will be freely available for download from the ACM<br>Digital Library from one week before the start of the conference<br>until two weeks after the conference.<br><br>The official publication date is the date the papers are made<br>available in the ACM Digital Library. This date may be up to two<br>weeks prior to the first day of the conference. The official<br>publication date affects the deadline for any patent filings related<br>to published work.<br><br># Submission Details<br><br>Submissions should fall into one of two categories:<br><br>- regular research papers (12 pages);<br>- extended abstracts (3 pages).<br><br>The bibliography will not be counted against the page limits for<br>either category.<br><br>Regular research papers are expected to present novel and interesting<br>research results, and will be included in the formal proceedings.<br>Extended abstracts should report work in progress that the authors<br>would like to present at the workshop. Extended abstracts will be<br>distributed to workshop attendees but will not be published in the<br>formal proceedings.<br><br>We welcome submissions from PC members (with the exception of the two<br>co-chairs), but these submissions will be held to a higher standard.<br><br>Submission is handled through HotCRP:<br><br>  <a href="https://urldefense.com/v3/__https://tyde23.hotcrp.com__;!!IBzWLUs!UjskiLuIihBdhKlC8UDUdwAp30l17wl2jx7w7e6YF74B52XrSCkGIe8TRwSXK-KJKdnxnmpISGB4dK6Wirxrwgo4m0StQPWN$" target="_blank">https://tyde23.hotcrp.com</a><br><br>All submissions should be in portable document format (PDF) and<br>formatted using the ACM SIGPLAN style guidelines:<br><br>  <a href="https://urldefense.com/v3/__https://www.sigplan.org/Resources/Author/__;!!IBzWLUs!UjskiLuIihBdhKlC8UDUdwAp30l17wl2jx7w7e6YF74B52XrSCkGIe8TRwSXK-KJKdnxnmpISGB4dK6Wirxrwgo4m9La6RvH$" target="_blank">https://www.sigplan.org/Resources/Author/</a><br><br>Note that submissions should use the new 'acmart' format and the<br>two-column 'sigplan' subformat (not to be confused with the<br>one-column 'acmsmall' subformat).<br><br>Extended abstracts must be submitted with the label 'Extended<br>Abstract' clearly in the title.<br><br># Participant Support<br><br>Student attendees with accepted papers can apply for a SIGPLAN PAC<br>grant to help cover participation-related expenses. PAC also offers<br>other support, such as for child-care expenses during the meeting or<br>for accommodations for members with physical disabilities. For<br>details on the PAC program, see its web page:<br><br>  <a href="https://urldefense.com/v3/__https://www.sigplan.org/PAC/__;!!IBzWLUs!UjskiLuIihBdhKlC8UDUdwAp30l17wl2jx7w7e6YF74B52XrSCkGIe8TRwSXK-KJKdnxnmpISGB4dK6Wirxrwgo4m7WP0A-D$" target="_blank">https://www.sigplan.org/PAC/</a><br><br># Important Dates<br><br>- Submission Deadline: Thursday June 8, 2023 (extended)<br>- Author Notification: Thursday June 29, 2023<br>- Camera-Ready Deadline: Thursday July 13, 2023<br>- Workshop: Monday September 4, 2023<br><br># Workshop Organization<br><br>Organizing Committee:<br>- Youyou Cong (Tokyo Institute of Technology, Japan)<br>- Pierre-Evariste Dagand (IRIF / CNRS, France)<br><br>Program Committee:<br>- Reynald Affeldt (AIST, Japan)<br>- Sandra Alves (DCC-FCUP, Portugual)<br>- Stephen Chang (UMass Boston, United States)<br>- Magnus Madsen (Aarhus University, Denmark)<br>- Victor Cacciari Miraldo (Channable, Netherlands)<br>- Jonathan Protzenko (Microsoft Research, United States)<br>- Marianna Rapoport (Amazon Web Services, Canada)<br>- Christine Rizkallah (University of Melbourne, Australia)<br>- Filip Sieczkowski (Heriot-Watt University, United Kingdom)<br>- Aaron Stump (The University of Iowa, United States)<br>- Peter Thiemann (University of Freiburg, Germany)<br>- Ningning Xie (Google Brain / University of Toronto, Canada)<br></div></div>