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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A74B27FEF2 for ; Fri, 26 Feb 2016 10:44:08 +0100 (CET) IronPort-PHdr: 9a23:WIOuox+GecMBg/9uRHKM819IXTAuvvDOBiVQ1KB90OkcTK2v8tzYMVDF4r011RmSDdqdtakP07SempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRciM1I/viaibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MdFVeD+fr8kZb1eFjUvdW4vt+PxshyWZwyFrlIAUWgH2k5CBAKD5Q35U4bZvS7zt+470y6fa56lBYsoUCivuv84ACTjjz0KYmY0 Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bob.atkey@gmail.com; spf=Pass smtp.mailfrom=bob.atkey@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f51.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bob.atkey@gmail.com) identity=pra; client-ip=74.125.82.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bob.atkey@gmail.com"; x-sender="bob.atkey@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of bob.atkey@gmail.com designates 74.125.82.51 as permitted sender) identity=mailfrom; client-ip=74.125.82.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bob.atkey@gmail.com"; x-sender="bob.atkey@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f51.google.com) identity=helo; client-ip=74.125.82.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bob.atkey@gmail.com"; x-sender="postmaster@mail-wm0-f51.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CPAACHHdBWjjNSfUpehAxtqFIEA4cZiEaEBx2HPTwQAQEBAQEBAQEQAQEBAQcLCwkfMYItgi0LBg8BBQgBGxwCAxIQDwIFFgsCCwMCAQIBEREBBQEvCAEBHodnAQMSBJ5ZggeBMT4xizSBaYJXhQ8KGScNUYNwDBgBBQoEbYUXhXCCRB9ogjSBOgWXCIEbJ4QWiAiCKYZtDoVQjQsvgQ83gi4NBAiBSGqINQEBAQ X-IPAS-Result: A0CPAACHHdBWjjNSfUpehAxtqFIEA4cZiEaEBx2HPTwQAQEBAQEBAQEQAQEBAQcLCwkfMYItgi0LBg8BBQgBGxwCAxIQDwIFFgsCCwMCAQIBEREBBQEvCAEBHodnAQMSBJ5ZggeBMT4xizSBaYJXhQ8KGScNUYNwDBgBBQoEbYUXhXCCRB9ogjSBOgWXCIEbJ4QWiAiCKYZtDoVQjQsvgQ83gi4NBAiBSGqINQEBAQ X-IronPort-AV: E=Sophos;i="5.22,498,1449529200"; d="scan'208";a="204734771" Received: from mail-wm0-f51.google.com ([74.125.82.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Feb 2016 10:44:08 +0100 Received: by mail-wm0-f51.google.com with SMTP id g62so65289748wme.0 for ; Fri, 26 Feb 2016 01:44:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=to:subject:from:message-id:date:user-agent:mime-version :content-transfer-encoding; bh=Vn+VPUbQxALNna9SZDQb9aO7EAYm8cZaDObIGzpJK4k=; b=uGzkIp22XvQ9EdgN8ih1yFevrKjVVFmko4XiOX3zAIXDfp/Koz82GhKJzXI2+gKk8Y pCvnMzkrj+S5cePEYvbgjgxbpYSIEJ35FVgVC0ShuU+h5sA2iFdtGXCcRyQcygdXUiIS 29604OWiMTZLYi5mxmTL3FZPVNHLOcLfX6eYZzkkAYw1SUkXLhdvgw/spKpj+4n2ou4L sxtBxUE4pdayojzP+DaB8mYfOmbxfJelp5lN8IrSUy/LF/7uBYTMe/ZXFQd/+FO5Zsu/ U1TRodjgKRKtjKVG1uNuzUmDBToQ46s3vg7xZd+bTaAKgzWdVQVkSnwWJOY4zywvChia yuaQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:to:subject:from:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=Vn+VPUbQxALNna9SZDQb9aO7EAYm8cZaDObIGzpJK4k=; b=RemUNmtgUVmQGpmqI3rRBr+8YX5nNsJPbly2Jytuwo0RR05bDX5WB4EIWAs5uuFff6 8FArSlpAnvYa03Ed/IoxV10812903HFiN32GDJLsYTjHGI3TCLgekStgozidt9U43EHh x2YANWAxbzDXKI+RfHedqZkO6pp2AOYyj3QnJnwATB9RI/bAJSuB7i17YkizqPXCd9dP /kiFJUgDsHD6SsjKMmq4vbrIM7l2fTECRMcPv+8hUPkHjL3kCWinNTk4U+B/nL7+4iJX zzZvXcHG1+UNaft9DIqSLv59n20pgqbwXzUDH6Df4P0iHJFJc4DNw76IAXRartctFV4y VA4Q== X-Gm-Message-State: AD7BkJL+wOU0dKcKraaBq3dOScPW7f59Mu/CdsLc5xjipPxt2PsHcgfbpPuWeZ4LpbrGoA== X-Received: by 10.28.180.84 with SMTP id d81mr2278946wmf.42.1456479847986; Fri, 26 Feb 2016 01:44:07 -0800 (PST) Received: from [10.14.124.179] (host86-187-18-152.range86-187.btcentralplus.com. [86.187.18.152]) by smtp.googlemail.com with ESMTPSA id ks5sm11688045wjb.13.2016.02.26.01.44.07 for (version=TLSv1/SSLv3 cipher=OTHER); Fri, 26 Feb 2016 01:44:07 -0800 (PST) To: caml-list@inria.fr From: Bob Atkey Message-ID: <56D01E66.9090203@gmail.com> Date: Fri, 26 Feb 2016 09:44:06 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] Call for Participation: MSFP 2016 Sixth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 8 April 2016, in Eindhoven, The Netherlands A satellite workshop of ETAPS 2016 CALL FOR PARTICIPATION http://msfp2016.bentnib.org/ **The early registration deadline for ETAPS is 1st March** The sixth 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. This year's MSFP will be held on Friday 8th April 2016, Co-located with ETAPS 2016 in Eindhoven, The Netherlands. The programme will contain the following accepted papers: - Maciej Piróg. Eilenberg-Moore Monoids and Backtracking Monad Transformers. - Bartek Klin and Michał Szynwelski. SMT solving for functional programming over infinite structures. - Niccolò Veltri, Tarmo Uustalu and Denis Firsov. Variations on Noetherianness. - Danel Ahman and Tarmo Uustalu. Directed containers as categories. - Satoshi Matsuoka. Strong Typed Bohm Theorem and Functional Completeness on the Linear Lambda Calculus. Invited speakers TBC. Check the website for details. About the Workshop ================== The sixth 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. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. Program Committee: ================== Zena Ariola, University of Oregon Robert Atkey, University of Strathclyde (co-chair) Ornela Dardha, University of Glasgow Helle Hvid Hansen, Delft University of Technology Chantal Keller, IUT d'Orsay Neelakantan Krishnaswami, University of Birmingham (co-chair) Nicolas Wu, University of Bristol