[Agda] DEPENDENTLY TYPED PROGRAMMING 2010 (CFP)

[Thorsten Altenkirch]

(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)->

               DTP 2010 --- 2nd Call for Talks

          Workshop on DEPENDENTLY TYPED PROGRAMMING
             Edinburgh, Scotland, 9&10 July 2010
           (a FLoC workshop, affiliated with LICS)

                 http://sneezy.cs.nott.ac.uk/darcs/dtp10/

	NOTE: EARLIER DEADLINE FOR TALK TITLES (FRIDAY 16 APRIL)

(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)->

Dependently typed programming is here today: where will it go tomorrow?

We invite contributed talks for the latest in a series of workshops on
dependently typed programming which started in 1999. The workshop will
have two invited talks --- from Ana Bove and Matthieu Sozeau --- and
however many contributed talks you contribute. We expect there will be
plenty of provocation, and plenty of time for discussion. If you want
to volunteer a talk or a demo at the workshop, please send us a title
and abstract before Friday 16 April 2010 at dtp10 at cs.nott.ac.uk.

PLEASE LET US KNOW BEFORE 16 APRIL WHETHER YOU WANT TO
GIVE A TALK (IF POSSIBLE WITH TITLE).

Slots will be at least 30 minutes (unless you ask for less), and we hope
to fit everyone in. Clearly, if we're overwhelmed, we'll be very  
pleased,
and we'll have to think again. We've moved the deadline forward to get
as much information as possible into the general FLoC programme, but we
still want to give space to as many fresh ideas as possible. We'll
correspondingly schedule plenty of time for structured discussion and
continue to respond constructively to proposals for provocation which
reach us by our original deadline of Friday 4 June.

We plan to organize a special issue of Fundamenta Informaticae to  
contain
refereed papers related to the topic of the workshop.

In a nutshell,
what:        Dependently Typed Programming 2010
where:       Edinburgh, Scotland
when:        9&10 July, 2010
invited:     Ana Bove, Matthieu Sozeau
requested:   titles and abstracts for contributed talks and demos
slot time:   30 minutes
deadlines:   16 April 2010 (for inclusion in FLoC programme),
             4 June 2010 (for last minute inspiration)
afterwards:  refereed selected postproceedings in FI

We look forward to an exciting two days exploring the very latest  
activity
in this growing and challenging field. In fact, in type-theoretic style,
we can hardly contain ourselves.

All the best

Thorsten and Conor
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20100329/22372907/attachment.html