<div dir="ltr">--------------------------------------------------------------------------------<br> CALL FOR PAPERS<br><br> 5th Workshop on Type-Driven Development (TyDe 2020)<br> Co-Located with ICFP 2020 (Online)<br><br> <a href="https://icfp20.sigplan.org/home/tyde-2020">https://icfp20.sigplan.org/home/tyde-2020</a><br>--------------------------------------------------------------------------------<br><br># Goals of the workshop<br><br>The workshop on Type-Driven Development aims to show how static type<br>information may be used effectively in the development of computer<br>programs. Co-located with ICFP, this workshop brings together leading<br>researchers and practitioners who are using or exploring types as a<br>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 types<br>    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># Coronavirus Update (2020-5-2)<br><br>Due to the coronavirus pandemic, TyDe will be held online alongside ICFP. <br>We will strive to accommodate authors from all time zones, e.g. by allowing <br>pre-recorded videos or by spreading out the talks throughout the day, <br>following the lead of the main conference. Updates will be posted on the<br>website and sent to all authors of submitted papers as they become available.<br><br># Program Committee<br><br>  - Bob Atkey, Strathclyde University (UK)<br>  - Sandrine Blazy, IRISA (FR)<br>  - Youyou Cong, Tokyo Institute of Technology (JP)<br>  - Nils Anders Danielsson, Gothenburg University/Chalmers (SE)<br>  - Larry Diehl, Symbiont (USA)<br>  - Favonia, University of Michigan (USA)<br>  - Jacques Garrigue, Nagoya University (JP)<br>  - Ranjit Jhala, UCSD (USA)<br>  - Dan Licata, Wesleyan University (USA)<br>  - James McKinna, LFCS, University of Edinburgh (UK) (PC Co-chair)<br>  - Cyrus Omar, University of Michigan, Ann Arbor (USA) (PC Co-chair)<br>  - Wouter Swierstra, Utrecht University (NL)<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 grant<br>ACM publication rights upon acceptance, but may retain copyright if they<br>wish. Authors are encouraged to publish auxiliary material with their<br>paper (source code, test data, and so forth). The proceedings will be<br>freely available for download from the ACM Digital Library from one week<br>before the start of the conference 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 weeks<br>prior to the first day of the conference. The official publication<br>date affects the deadline for any patent filings related to published<br>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 (2 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<br>proceedings. Extended abstracts should report work in progress that<br>the authors would like to present at the workshop. Extended abstracts<br>will be distributed to workshop attendees but will not be published in<br>the 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://tyde20.hotcrp.com">https://tyde20.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="http://www.sigplan.org/Resources/Author/">http://www.sigplan.org/Resources/Author/</a><br><br>*Note* that the ACM SIGPLAN style guidelines have changed from<br>previous years! In particular, submissions should use the new<br>‘acmart’ format and the two-column ‘sigplan’ subformat (not to be<br>confused with the one-column ‘acmlarge’ subformat).<br><br>Extended abstracts must be submitted with the label 'Extended<br>abstract' clearly in the title.<br><br># Important Dates<br><br>-   May 19: Paper submission deadline<br>-   May 26: Extended abstract submission deadline<br>-   June 9: Author notification<br>-   June 30: Camera ready deadline<br>-   Aug 23: Workshop<br><br># Participant Support<br><br>Student attendees with accepted papers can apply for a SIGPLAN PAC grant to <br>help cover participation-related expenses. PAC also offers other support, <br>such as for child-care expenses during the meeting or for accommodations <br>for members with physical disabilities. For details on the PAC program, see <br>its web page:<br><br>  <a href="http://www.sigplan.org/PAC/">http://www.sigplan.org/PAC/</a><br><br>(Please contact PAC organizers as early as possible if you will need <br>accommodations, as protocols may have shifted due to the coronavirus <br>situation.)<br></div>