<div dir="ltr"><div style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px">Hey all, the TyDe submission deadline got extended for one week!</span></div><span style="font-size:12.8px;font-weight:normal;text-decoration:none"><div><span style="font-size:12.8px"><br></span></div>CALL FOR CONTRIBUTIONS: DEADLINE EXTENDED TO JUNE 13th.</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">TyDe 2018: Type-Driven Development</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><a href="https://icfp18.sigplan.org/track/tyde-2018" target="_blank" style="color:rgb(17,85,204);font-size:12.8px;font-weight:normal">https://icfp18.sigplan.org/tra<wbr>ck/<span class="gmail-m_-4601652057397485973gmail-m_6176946705736079996gmail-il">tyde</span>-2018</a><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">23-29 Sep, 2018, St. Louis, Missouri (co-located with ICFP)</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">==============================</span><span style="font-size:12.8px;font-weight:normal;text-decoration:none"><wbr>================</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><b style="font-size:12.8px;text-decoration:none">Call for Contributions<br></b><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">We welcome all contributions, both theoretical and practical, on a range of topics including:</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">dependently typed programming;</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">generic programming;</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">design and implementation of programming languages, exploiting types in novel ways;</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">exploiting typed data, data dependent data, or type providers;</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">static and dynamic analyses of typed programs;</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">tools, IDEs, or testing tools exploiting type information;</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs.</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><b style="font-size:12.8px;text-decoration:none">Important Dates<br></b><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">**Extended paper submission deadline: Wednesday, June 13, 2018**</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">Extended abstract deadline: Wednesday, June 13, 2018</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">Author notification: Friday, June 29, 2018</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">Deadline for camera ready version: August 5, 2018</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">Workshop: Thursday, September 27, 2018</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><b style="font-size:12.8px;text-decoration:none">Program Committee<br></b><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Guillaume Allais, Radboud University Nijmegen, Netherlands</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Zena M. Ariola, University of Oregon, USA</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- David Darais, University of Vermont, USA</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Richard Eisenberg, Bryn Mawr College, USA (co-chair)</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Jennifer Hackett, University of Nottingham, UK</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Shin-ya Katsumata, National Institute of Informatics, Japan</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Daan Leijen, Microsoft Research, USA</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Shin-Cheng Mu, Academia Sinica, Taiwan</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Dominic Orchard, University of Kent, UK</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Peter-Michael Osera, Grinnell College, USA</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Zoe Paraskevopoulou, Princeton University, USA</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Alberto Pardo, Universidad de la Republica, Uruguay</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Matthieu Sozeau, University of Paris Diderot, Paris 7, France</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Niki Vazou, University of Maryland, USA (co-chair)</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><b style="font-size:12.8px;text-decoration:none">Submission details<br></b><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">Submissions should fall into one of two categories:</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Regular research papers (12 pages)</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">- Extended abstracts (2 pages)</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">The bibliography will not be counted against the page limits for either category.</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings.</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard.</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">Submission is handled through HotCRP:</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><a href="https://tyde18.hotcrp.com/" target="_blank" style="color:rgb(17,85,204);font-size:12.8px;font-weight:normal">https://tyde18.hotcrp.com/</a><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines:</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><a href="http://www.sigplan.org/Resources/Author/" target="_blank" style="color:rgb(17,85,204);font-size:12.8px;font-weight:normal">http://www.sigplan.org/Resourc<wbr>es/Author/</a><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">Note that the ACM SIGPLAN style guidelines have changed from previous years! In particular, submissions should use the new ‘acmart’ format and the two-column ‘sigplan’ subformat (not to be confused with the one-column ‘acmlarge’ subformat!).</span><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><br style="font-size:12.8px;font-weight:normal;text-decoration:none"><span style="font-size:12.8px;font-weight:normal;text-decoration:none">Extended abstracts must be submitted with the label ‘Extended abstract’ clearly in the title.</span><br clear="all" style="font-size:12.8px;font-weight:normal;text-decoration:none"><div style="font-size:12.8px;font-weight:normal;text-decoration:none"><br></div><span style="font-size:12.8px;font-weight:normal;text-decoration:none">Best,</span><div class="gmail_signature" data-smartmail="gmail_signature">Niki Vazou</div>
</div>