MPC/AMAST 2006 programme and local information
eWiC proceedings volume of MSFP 2006
JFP special issue for MSFP 2006
The next edition of MSFP will be held in conjunction with ICALP 2008
in Reykjavik, Iceland, 6 July 2008!
Something wonderful happened when monads arrived in Haskell: some human mathematics explaining the structure of certain computational phenomena became a mechanical means to implement those phenomena. It's a good way to go about functional programming - to dig out the mathematical structure underlying a problem and set it to work! There's more where monads came from, and we want it. This new workshop is about getting it.
In recent years, a diverse array of mathematical structures has appeared in our programs: monads dualise to comonads and generalise to Freyd categories aka 'arrows'; 'container' types have a generalised polynomial structure supporting generic programming, not to mention a differential calculus; isomorphisms from 'high school algebra' are used to search libraries and repair type errors; coalgebras give structure to recursion; the list goes on... MSFP is broad in scope, covering the extraction of functionality from structure wherever it can be found. It complements the remit of its host conference, Mathematics of Program Construction, by seeking to enrich the language and toolset available for specifications and programs alike. It is also a "small workshop" of the FP6 IST coordination action TYPES.
|Andrzej Filinski||Københavns Universitet|
|John Power||University of Edinburgh|
Submissions are welcome on, but by no means restricted to, topics from the following partially computed coinductive list:
Authors concerned about the suitability of a topic are very welcome to contact Conor McBride, ctm(at)cs.nott.ac.uk.
Papers in pdf not exceeding 15 pages and adhering to the eWiC LaTeX 2e style must be submitted by 21 April 2006 (extended deadline).
Submission to MSFP 2006 is closed.
Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. PC members may submit. Accepted papers must be presented at the workshop by one of the authors.
The proceedings of MSFP 2006 will be published in the Electronic Workshops in Computing (eWiC) series of the British Computer Society.
After the workshop, the authors of the best papers will be invited to submit revised and expanded versions to a special issue of the Journal of Functional Programming from Cambridge University Press.
|Yves Bertot||INRIA Sophia Antipolis|
|Marcelo Fiore||University of Cambridge|
|Masahito Hasegawa||Kyoto University|
|Graham Hutton||University of Nottingham|
|Paul Levy||University of Birmingham|
|Andres Löh||Universität Bonn|
|Christoph Lüth||Universität Bremen|
|Conor McBride||University of Nottingham (co-chair)|
|Marino Miculan||Università degli Studi di Udine|
|Randy Pollack||University of Edinburgh|
|Amr Sabry||Indiana University|
|Tarmo Uustalu||Institute of Cybernetics (co-chair)|
Enquiries regarding the programme (submission etc.) can be sent to Conor McBride, ctm(at)cs.nott.ac.uk.
All local information, incl. information on registration and cost, information regarding the venue and information on the local organization, is on the joint MPC/AMAST '06 local information page.
Last changed November 5, 2010 18:07 EET by local organizers, mpc06(at)cs.ioc.ee
© 2006 Institute of Cybernetics at TUT, All Rights Reserved