[clean-list] Deadline Extension: Mathematically Structured
Functional Programming
Conor McBride
ctm at cs.nott.ac.uk
Tue Apr 11 18:59:09 MEST 2006
Deadline Extension: Mathematically Structured Functional Programming
+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->
DEADLINE-EXTENSION-DEADLINE-EXTENSION-DEADLINE-EXTENSION-DEADLINE-EXTENSION
Workshop on Mathematically Structured Functional Programming
http://cs.ioc.ee/mpc-amast06/msfp/
New deadlines: 17 April (abstracts); 21 April (papers)
DEADLINE-EXTENSION-DEADLINE-EXTENSION-DEADLINE-EXTENSION-DEADLINE-EXTENSION
+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->+*->
We're delighted to be able to extend the deadline for MSFP 2006. The
Workshop on Mathematically Structured Functional Programming will be
held in Kuressaare, Estonia, on 2 July 2006, with invited speakers
Andrzej Filinski and John Power. MSFP 2006 is a satellite workshop of
MPC 2006 and a "small workshop" of the TYPES project.
MSFP is about organizing functional programs more effectively with the
aid of mathematical structures from semantics and elsewhere.
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.
We look forward to hearing from you
Conor McBride
Tarmo Uustalu
More information about the clean-list
mailing list