Introduction
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.
Where and when?
MSFP 2008 will be held on 6 July.
This time around, we're delighted to be a part of
ICALP 2008,
running 6-13 July at Reykjavik University, Iceland.
Invited Speakers
We're very much hoping to confirm soon that
will make it to Iceland to talk at MSFP.
Topics
Submissions are welcome on, but by no means restricted to, topics
such as:
- structured effectful computation
- structured recursion
- structured corecursion
- structured tree and graph operations
- structured syntax with variable binding
- structured datatype-genericity
- structured search
- structured representations of functions
- structured quantum computation
- structured structure
Authors concerned about the suitability of a topic are very welcome
to contact Conor McBride,
ctm(at)strictlypositive(dot)org.
Submission and Publication
Electronic Notes in
Theoretical Computer Science have provisionally agreed
to publish the proceedings of MSFP 2008. ENTCS require
submissions in LaTeX, formatted according to their
guidelines.
Papers must report previously unpublished work and not be submitted
concurrently to another conference with refereed proceedings. Programme
Committee members, barring the co-chairs, may (and indeed are encouraged)
to contribute. Accepted papers must be
presented at the workshop by one of the authors.
There is no specific page limit, but authors should strive for brevity.
Submission is via
EasyChair
and is open now.
Timeline
Whilst recognizing that modern life is full of stress, we should very
much prefer if contributors could respect the following timeline.
| Submission of abstracts | 4 April |
| Submission of papers | 11 April |
| Notification | 16 May |
| Final versions due | 13 June |
| Workshop | 6 July |
The Programme Committee will attempt to oblige in return.
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
Previous MSFP Workshop
The inaugural MSFP Workshop was held in July 2006, in Kuressaare, Estonia,
a fine curtain-raiser for MPC and AMAST. It was organized by Conor McBride
and Tarmo Uustalu, and featured invited talks from John Power and Andrzej
Filinski. If you weren't there, you really missed a lovely
day. The
proceedings were published in the British Computer Society's
"Electronic Workshops in Computing" series,
available online.
Revised selected papers (with a full re-refereeing process) will be
appearing as a special issue of the
Journal of Functional
Programming.