[TYPES/announce] Deadline extension for MSFP 2014
Paul Levy
P.B.Levy at cs.bham.ac.uk
Wed Dec 25 16:26:54 EST 2013
Please note extended deadlines: abstract 31 December and submission 7
January.
--
Fifth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
12 April 2014, in Grenoble, France.
A satellite workshop of ETAPS 2014
http://www.cs.bham.ac.uk/~pbl/msfp2014/
The fifth 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. Where would
Haskell
be without monads? Functional reactive programming without temporal logic?
Call-by-push-value without adjunctions? The list goes on. This workshop is
a
forum for researchers who seek to reflect mathematical phenomena in data
and
control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012.
Important Dates:
================
Abstract 31 December 2013, extended deadline
Submission 7 January 2014, extended deadline
Notification 3 February 2014
Final version 10 February 2014
Workshop 12 April 2014
Invited Speakers:
=================
Bob Atkey
Shin-ya Katsumata, Kyoto University
Program Committee:
==================
Andreas Abel, Chalmers and Gothenburg University
Neil Ghani, University of Strathclyde
Makoto Hamana, Gunma University
Neelakantan R. Krishnaswami (co-chair), University of Birmingham
Paul Blain Levy (co-chair), University of Birmingham
Rasmus Møgelberg, IT University of Copenhagen
Russell O'Connor, Google Canada
Submission:
===========
Papers must report previously unpublished work and not be submitted
concurrently
to another conference with refereed proceedings. Accepted papers must be
presented at the workshop by one of the authors, and will be published
under
the auspices of EPTCS under a Creative Commons licence.
There is no specific page limit, but authors should strive for brevity.
--
Paul Blain Levy
School of Computer Science, University of Birmingham
+44 121 414 4792
http://www.cs.bham.ac.uk/~pbl
More information about the Types-announce
mailing list