[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


                             6 July 2008
                          Reykjavik, Iceland
                      co-located with ICALP 2008

                        Call for Participation
             **early workshop registration ends 5 June**
              registration via http://www.ru.is/icalp08/

The workshop on Mathematically Structured Functional Programming is
devoted to the derivation of functionality from structure. It is a
celebration of the direct impact of Theoretical Computer Science on
programs as we write them today. Modern programming languages, and in
particular functional languages, support the direct expression of
mathematical structures, equipping programmers with tools of
remarkable power and abstraction. Monadic programming in Haskell is
the paradigmatic example, but there are many more mathematical
insights manifest in programs and in programming language design:
Freyd-categories in reactive programming, symbolic differentiation
yielding context structures, and comonadic presentations of dataflow,
to name but three. This workshop is a forum for researchers who seek
to reflect mathematical phenomena in data and control.


   *Andrej Bauer* (http://andrej.com/)
     of the Faculty of Mathematics and Physics, University of Ljubljana,
     the Institute of Mathematics, Physics and Mechanics, Slovenia,
     and the Mathematics and Computation weblog (http:// 

   *Dan Piponi* (http://homepage.mac.com/sigfpe/)
     of Industrial Light and Magic, Academy Award winner, and author of
     the weblog A Neighbourhood of Infinity (http:// 


   A Partial Type Checking Algorithm for System U
     Andreas Abel and Thorsten Altenkirch
   What is a Categorical Model of Arrows?
     Robert Atkey
   Yet another implementation of attribute evaluation
     Eric Badouel, Bernard Fotsing, and Rodrigue Tchougong
   Algebraic Specialization of Generic Functions for Recursive Types
     Alcino Cunha and Hugo Pacheco
   Modularity and Implementation of Mathematical Operational Semantics
     Mauro Jaskelioff, Neil Ghani, and Graham Hutton
   Idioms are oblivious, arrows are meticulous, monads are promiscuous
     Sam Lindley, Jeremy Yallop, and Philip Wadler
   Simulating Finite Eilenberg Machines with a Reactive Engine
     Benoit Razet
   The recursion scheme from the cofree recursive comonad
     Tarmo Uustalu and Varmo Vene


   Yves Bertot, INRIA, Sophia-Antipolis
   Venanzio Capretta (co-chair), Radboud University, Nijmegen
   Jacques Carette, McMaster University, Ontario
   Thierry Coquand, Chalmers University, Göteborg
   Andrzej Filinski, Københavns Universitet
   Jean-Christophe Filliâtre, LRI, Université Paris Sud
   Jeremy Gibbons, Oxford University
   Andy Gill, Galois
   Peter Hancock, University of Nottingham
   Oleg Kiselyov, FNMOC
   Paul Blain Levy, University of Birmingham
   Andres Löh, Utrecht University
   Marino Miculan, Università di Udine
   Conor McBride (co-chair), Alta Systems, Northern Ireland
   James McKinna, Radboud University, Nijmegen
   Alex Simpson, University of Edinburgh
   Tarmo Uustalu, Institute of Cybernetics, Tallinn

We're delighted to be able to present such a strong line-up of invited
and contributed talks, and we warmly invite you to come and enjoy the
fun. Early workshop registration closes on 5 June, and Iceland gets
busy in the summer, so do book now to avoid disappointment.

Looking forward to seeing you in Iceland

Venanzio Capretta
Conor McBride

Reply via email to