<div dir="ltr"><br>There's still time to submit an extended abstract!  See below.<br><br><div><br>--------------------------------------------------------------------------------<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" rel="noreferrer" target="_blank">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 <span class="inbox-inbox-lG">Lindley</span>, 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/" rel="noreferrer" target="_blank">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/" rel="noreferrer" target="_blank">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/" rel="noreferrer" target="_blank">http://www.sigplan.org/PAC/</a></div></div>