From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8005 Path: news.gmane.org!not-for-mail From: Paul B Levy Newsgroups: gmane.science.mathematics.categories,gmane.comp.science.types.announce Subject: Call for participation, Mathematically Structured Functional Programming 2014 Date: Fri, 07 Feb 2014 18:50:59 +0000 Message-ID: Reply-To: Paul B Levy NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1391954836 22426 80.91.229.3 (9 Feb 2014 14:07:16 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 9 Feb 2014 14:07:16 +0000 (UTC) To: categories@mta.ca, types-announce@lists.seas.upenn.edu Original-X-From: majordomo@mlist.mta.ca Sun Feb 09 15:07:23 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WCV2Y-0003Aw-2O for gsmc-categories@m.gmane.org; Sun, 09 Feb 2014 15:07:22 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:41735) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1WCV1v-0007PW-Ak; Sun, 09 Feb 2014 10:06:43 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1WCV1t-0002wP-Aw for categories-list@mlist.mta.ca; Sun, 09 Feb 2014 10:06:41 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8005 gmane.comp.science.types.announce:4224 Archived-At: Dear all, The fifth workshop on Mathematically Structured Functional Programming http://www.cs.bham.ac.uk/~pbl/msfp2014/ takes place on Saturday 12 April in Grenoble,France, as part of ETAPS. Please register through ETAPS: http://www.etaps.org/2014/ The early registration rate ends on Friday 14 February. INVITED SPEAKERS Bob Atkey. Applications of Relational Parametricity beyond Type Abstraction Shin-ya Katsumata, Kyoto University. Logical Relations for Monads by Categorical TT-Lifting ACCEPTED PAPERS Monad transformers for backtracking search (Jules Hedges) Free Applicative Functors (Paolo Capriotti and Ambrus Kaposi) Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion (Wolfgang Jeltsch) Foundations of Total Functional Data-Flow Programming (Baltasar Tranc?n Y Widemann and Markus Lepper) Coherence for skew-monoidal categories (Tarmo Uustalu) Polymonadic Programming (Michael Hicks, Gavin Bierman, Nataliya Guts, Daan Leijen and Nikhil Swamy) Normalization by Evaluation in the Delay Monad (Andreas Abel and James Chapman) Koka: Programming with Row-polymorphic Effect Types (Daan Leijen) MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 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 arrows? 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. Best regards, Neelakantan Krishnaswami and Paul Blain Levy [For admin and other information see: http://www.mta.ca/~cat-dist/ ]