<div dir="ltr">--------------------------------------------------------------------------------<br>                                CALL FOR PAPERS<br><br>                2nd Workshop on Type-Driven Development (TyDe '17)<br>                         3 September 2017, Oxford, UK<br><br>                         <a href="http://tydeworkshop.org/2017">http://tydeworkshop.org/2017</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># Invited speaker<br><br>Andrew Kennedy, Facebook, UK<br><br># Program Committee<br><br>-   Nada Amin, EPFL, Switzerland<br>-   Ana Bove, Chalmers University of Technology, Sweden<br>-   Patricia Johann, Appalachian State University, US<br>-   Yukiyoshi Kameyama, University of Tsukuba, Japan<br>-   Sam Lindley, The University of Edinburgh, UK (co-chair)<br>-   Limin Jia, CMU, US<br>-   Assia Mahboubi, INRIA Saclay, France<br>-   Liam O’Connor, University of New South Wales, Australia<br>-   Nicolas Oury, Jane Street, UK<br>-   Jennifer Paykin, University of Pennsylvania, US<br>-   Paula Severi, University of Leicester, UK<br>-   Tarmo Uustalu, Tallinn University of Technology, Estonia<br>-   Jeremy Yallop, University of Cambridge, UK<br>-   Brent Yorgey, Hendrix College, US (co-chair)<br><br># Proceedings and Copyright<br><br>We plan to 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># 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://icfp-tyde17.hotcrp.com/">https://icfp-tyde17.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>-   Regular paper deadline: Wednesday, 24th May, 2017<br>-   Extended abstract deadline: Wednesday, 7th June, 2017<br>-   Author notification: Wednesday, 28th June, 2017<br>-   Deadline for camera ready version: Saturday, 15th July, 2017<br>-   Workshop: Sunday, 3rd September, 2017<br><br># Travel Support<br><br>Student attendees with accepted papers can apply for a SIGPLAN PAC grant<br>to help cover travel expenses. PAC also offers other support, such as<br>for child-care expenses during the meeting or for travel costs for<br>companions of SIGPLAN members with physical disabilities, as well as for<br>travel from locations outside of North America and Europe. For details<br>on the PAC program, see its web page:<br><br>  <a href="http://www.sigplan.org/PAC/">http://www.sigplan.org/PAC/</a><br><br></div>