+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->
2nd Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->
6 July 2008
Reykjavik, Iceland
co-located with ICALP 2008
http://msfp.org.uk
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.
INVITED SPEAKERS
*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://
math.andrej.com/),
*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://
sigfpe.blogspot.com/)
ACCEPTED PAPERS (to appear in ENTCS)
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
PROGRAMME COMMITTEE
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
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
