Mathematics of Program Construction 2008: Call for papers

I don't believe that has been sent to the Haskell mailing list  
before, but apologies if it has. This CFP has been around since  
October; the submission deadline is 14th Jan (abstracts).
Jeremy

    *

CALL FOR PAPERS

9th International Conference on Mathematics of Program Construction  
(MPC'08)

Marseille (Luminy), France, July 15-18th 2008

http://mpc08.lri.fr

BACKGROUND

The biennial MPC conferences aim to promote the development of
mathematical principles and techniques that are demonstrably practical
and effective in the process of constructing computer programs. Topics
of interest range from algorithmics to support for program
construction in programming languages and systems.

The previous conferences were held in Twente, The Netherlands (1989),
Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden
(1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002),
Stirling, UK (2004, colocated with AMAST '04) and Kuressaare, Estonia
(2006, colocated with AMAST '06).