<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">(s:S)*(p:P s)->(s:S)*(p:P s)->(s:S)*(p:P s)->(s:S)*(p:P s)->(s:S)*(p:P s)-><br><br> DTP 2010 --- 3rd Call for Talks<br><br> Workshop on DEPENDENTLY TYPED PROGRAMMING<br> Edinburgh, Scotland, 9&10 July 2010<br> (a FLoC workshop, affiliated with LICS)<br><br> <a href="http://sneezy.cs.nott.ac.uk/darcs/dtp10/">http://sneezy.cs.nott.ac.uk/darcs/dtp10/</a><br><br><span class="Apple-tab-span" style="white-space: pre; "> </span>NOTE: EARLIER DEADLINE FOR TALK TITLES (FRIDAY 16 APRIL)<br><br>(s:S)*(p:P s)->(s:S)*(p:P s)->(s:S)*(p:P s)->(s:S)*(p:P s)->(s:S)*(p:P s)-><br><br>Dependently typed programming is here today: where will it go tomorrow?<br><br>We invite contributed talks for the latest in a series of workshops on<br>dependently typed programming which started in 1999. The workshop will<br>have two invited talks --- from Ana Bove and Matthieu Sozeau --- and<br>however many contributed talks you contribute. We expect there will be<br>plenty of provocation, and plenty of time for discussion. If you want<br>to volunteer a talk or a demo at the workshop, please send us a title<br>and abstract before Friday 16 April 2010 at <a href="mailto:dtp10@cs.nott.ac.uk">dtp10@cs.nott.ac.uk</a>.<br><br>PLEASE LET US KNOW BEFORE 16 APRIL WHETHER YOU WANT TO<br>GIVE A TALK (IF POSSIBLE WITH TITLE).<br><br>Slots will be at least 30 minutes (unless you ask for less), and we hope<br>to fit everyone in. Clearly, if we're overwhelmed, we'll be very pleased,<br>and we'll have to think again. We've moved the deadline forward to get<br>as much information as possible into the general FLoC programme, but we<br>still want to give space to as many fresh ideas as possible. We'll<br>correspondingly schedule plenty of time for structured discussion and<br>continue to respond constructively to proposals for provocation which<br>reach us by our original deadline of Friday 4 June.<br><br>We plan to organize a special issue of Fundamenta Informaticae to contain<br>refereed papers related to the topic of the workshop.<br><br>In a nutshell,<br>what: Dependently Typed Programming 2010<br>where: Edinburgh, Scotland<br>when: 9&10 July, 2010<br>invited: Ana Bove, Matthieu Sozeau<br>requested: titles and abstracts for contributed talks and demos<br>slot time: 30 minutes<br>deadlines: 16 April 2010 (for inclusion in FLoC programme),<br> 4 June 2010 (for last minute inspiration)<br>afterwards: refereed selected postproceedings in FI<br><br>We look forward to an exciting two days exploring the very latest activity<br>in this growing and challenging field. In fact, in type-theoretic style,<br>we can hardly contain ourselves.<br><br>All the best<br><br>Thorsten and Conor<br>_______________________________________________<br>Agda mailing list<br><a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>https://lists.chalmers.se/mailman/listinfo/agda<br></body></html>