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

+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*-> 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