[logic-ml] CFP for MSFP 2014
Makoto Hamana
hamana at cs.gunma-u.ac.jp
Sun Dec 15 20:58:34 JST 2013
$B3'MM!"(B
$B?t3XE*9=B$$K4p$E$/4X?t7?%W%m%0%i%_%s%08&5f$N%o!<%/%7%g%C%W(B MSFP
$B$N$40FFb$G$9!#(BETAPS'14$BJ;@_$G!:@Z$,6a$/$J$C$F$*$j$^$9$,!"(B
$B$<$REj9F$r$48!F$$/$@$5$$!#(B
$B$J$*!">7BT9V1i$N0l?M$O5~ETBg3X$N>!8T$5$s$G$9!#(B
-- $BIML>(B $B72GOBg3X(B
========================================================================
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 24 December 2013
Submission 31 December 2013
Notification 3 February 2014
Final version 10 February 2014
Workshop 12 April 2014
Invited Speakers:
=================
Bob Atkey
Shin-ya Katsumata, Kyoto Universty
Topics:
=======
Submissions are welcomed 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
* structure directed optimizations
* structured types
* structure derived from programs and data
Program Committee:
==================
Andreas Abel, Chalmers and Gothenburg University
Neil Ghani, The 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$Bxg(Belberg, IT University of Copenhagen
Russell O'Connor, McMaster University
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
license.
There is no specific page limit, but authors should strive for brevity.
More information about the Logic-ml
mailing list