From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 19FE07EE4B for ; Tue, 15 Oct 2013 11:05:54 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of n.krishnaswami@cs.bham.ac.uk) identity=pra; client-ip=147.188.128.150; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="n.krishnaswami@cs.bham.ac.uk"; x-sender="n.krishnaswami@cs.bham.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of n.krishnaswami@cs.bham.ac.uk) identity=mailfrom; client-ip=147.188.128.150; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="n.krishnaswami@cs.bham.ac.uk"; x-sender="n.krishnaswami@cs.bham.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@sun61.bham.ac.uk) identity=helo; client-ip=147.188.128.150; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="n.krishnaswami@cs.bham.ac.uk"; x-sender="postmaster@sun61.bham.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AugBAJQEXVKTvICWnGdsb2JhbABaFoMpxBAWDgEBAQEBBg0JCRQogl4BBTAQPRYYAwIBAgFYCAEBiAIMmyCYMIkUjXYWBoFVhA8DnjyOb4Fn X-IPAS-Result: AugBAJQEXVKTvICWnGdsb2JhbABaFoMpxBAWDgEBAQEBBg0JCRQogl4BBTAQPRYYAwIBAgFYCAEBiAIMmyCYMIkUjXYWBoFVhA8DnjyOb4Fn X-IronPort-AV: E=Sophos;i="4.93,498,1378850400"; d="scan'208";a="30398101" Received: from sun61.bham.ac.uk ([147.188.128.150]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Oct 2013 11:05:53 +0200 Received: from [147.188.128.127] (helo=bham.ac.uk) by sun61.bham.ac.uk with esmtp (Exim 4.72) (envelope-from ) id 1VW0Zc-0007gu-Pe for caml-list@inria.fr; Tue, 15 Oct 2013 10:05:52 +0100 Received: from mx1.cs.bham.ac.uk ([147.188.192.53]) by bham.ac.uk (envelope-from ) with esmtp (Exim 4.72) id 1VW0Zc-0002DU-Fd for caml-list@inria.fr using interface smart1.bham.ac.uk; Tue, 15 Oct 2013 10:05:52 +0100 Received: from cca-1305.cs.bham.ac.uk ([147.188.194.204]) by mx1.cs.bham.ac.uk with esmtp (Exim 4.51) id 1VW0Zc-0002Q3-PQ for caml-list@inria.fr; Tue, 15 Oct 2013 10:05:52 +0100 Message-ID: <525D0570.9030005@cs.bham.ac.uk> Date: Tue, 15 Oct 2013 10:05:52 +0100 From: Neelakantan Krishnaswami Organization: School of Computer Science, University of Birmingham User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130625 Thunderbird/17.0.7 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] CFP for MSFP 2014 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: ================= To be announced. 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øgelberg, 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.