<div dir="ltr">--------------------------------------------------------------------------------<br>                             FINAL CALL FOR PAPERS<br><br>                     1st Type-Driven Development (TyDe '16)<br>                                 A Workshop on<br>                   Dependently Typed and Generic Programming<br><br>                           18 September, Nara, Japan<br>--------------------------------------------------------------------------------<br><br>The deadline of the inaugural edition of TyDe is approaching rapidly.<br>Please submit full papers before June 10th and abstracts before<br>June 24th.<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. The workshop, co-located with ICFP, unifies two workshops: the<br>Workshop on Dependently Typed Programming and the Workshop on Generic<br>Programming.<br><br>These two research areas have a rich history and bridge both theory and<br>practice. Novel techniques explored by both communities has gradually<br>spread to more mainstream languages. This workshop aims to bring<br>together leading researchers and practitioners in generic programming<br>and dependently typed programming from around the world, and features<br>papers capturing the state of the art in these important areas.<br><br>We welcome all contributions, both theoretical and practical, on:<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># Program Committee<br><br>-   James Chapman, University of Strathclyde (co-chair)<br>-   Wouter Swierstra, University of Utrecht (co-chair)<br>-   David Christiansen, Indiana University<br>-   Pierre-Evariste Dagand, LIP6<br>-   Richard Eisenberg, University of Pennsylvania<br>-   Catalin Hritcu, INRIA Paris<br>-   James McKinna, University of Edinburgh<br>-   Keiko Nakata, FireEye<br>-   Tomas Petricek, University of Cambridge<br>-   Birgitte Pientka, McGill University<br>-   Tom Schrijvers, KU Leuven<br>-   Makoto Takeyama, Kanagawa University<br>-   Nicolas Wu, University of Bristol<br>-   Brent Yorgey, Hendrix College<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>Submitted papers should fall into one of two categories:<br><br>-   Regular research papers (12 pages)<br>-   Extended abstracts (2 pages)<br><br>Submission is handled through Easychair:<br><br>  <a href="https://easychair.org/conferences/?conf=tyde16">https://easychair.org/conferences/?conf=tyde16</a><br><br>Regular research papers are expected to present novel and interesting<br>research results. Extended abstracts should report work in progress that<br>the authors would like to present at the workshop.<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>All submissions should be in portable document format (PDF), formatted<br>using the ACM SIGPLAN style guidelines (two-column, 9pt). Extended<br>abstracts must be submitted with the label 'Extended abstract' clearly<br>in the title.<br><br># Important Dates<br><br>-   Regular paper deadline: Friday, 10th June, 2016<br>-   Extended abstract deadline: Friday, 24th June, 2016<br>-   Author notification: Friday, 8th July, 2016<br>-   Workshop: Sunday, 18th September, 2016<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></div>