From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id F1B8C5D5 for ; Sat, 31 Mar 2018 21:34:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,388,1517871600"; d="scan'208";a="320841955" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 31 Mar 2018 23:34:26 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 348A08243A; Sat, 31 Mar 2018 23:34:26 +0200 (CEST) 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 13BE68239C for ; Sat, 31 Mar 2018 23:34:14 +0200 (CEST) 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-f54.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AXn2dOx+1zOKJdf9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?0uocTK2v8tzYMVDF4r011RmVBd6ds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+55Pebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMsrqQL06Wzmv4b5nRAPnhS?= =?us-ascii?q?waMzI08H3bhsl2galGohyuugZ/zpbKbo+INPRwfa3Tct0VSmVdUchcTDBBD4Gm?= =?us-ascii?q?YocTE+YMM+RVoo/grFUOtxu+AgysCfvzxD9PnXD5w7c60/g8GgzawAwgHMwBsX?= =?us-ascii?q?TJp9jyL6gSVvu6wLPSwjXfbPNZxzf85ZPHchAku/6MXLZwfdDNxkkoEgPIl1Od?= =?us-ascii?q?opHrMTOS0+QCqWmb7+x4WO2xkWEnsAFwrSSvxsg2i4nJnJgZylfe9SV22Io6Ps?= =?us-ascii?q?O3SEhnYd6iEZtfrDuWN4xsQsMtRWxjpSU0yqUetJO5cyUG0okrywDfZvCdcIWE?= =?us-ascii?q?/AjvWeaeLDtgh39oeqizihWv/US61OHxWMu53ExXoidLjNXBsG0G2QbJ5cidUP?= =?us-ascii?q?R9+1+s2TaR2ADX7eFJOUU0mrDaK54l27IxmJ8TvVjaEi/4mEj7g7Wadkoj+uiv?= =?us-ascii?q?5OTnZqvpqoWAOI9zjwHyKqUumsqhDuQkKgUDXWeW9f6h2LH9/UD1WrZHguMsnq?= =?us-ascii?q?TZv53WPcEbqbS4Aw9R3IYj8RG/DzK+3dsDmnkIN0hJdwibj4jqJV7PIOv1Dfi6?= =?us-ascii?q?g1u2kTdrw+rKMaHmApXINnTDiqvufa5h605Azwo+1cxQ6IhRCrEFOf7zXk7xtM?= =?us-ascii?q?fEDhIiKAy1w+PnCM1n2Y8EWGKPBLWZMKLIvlOS6OIvObrEWIhAsz/4L70h5uXy?= =?us-ascii?q?pX4/g14UO6ezjrUNb3XtJPNsLl+FKVPwgdoQWTMAuQB4RfDphUyqXjtaZnL0VK?= =?us-ascii?q?U5sGJoQLm6BJvOE9j+yIeK2z22S8AOPzEUOhW3CX7tMr68dbIJYSOWLNVml2Vd?= =?us-ascii?q?B7ekQo4lkxqpsV2jkuY1Hq/v4iQd8Knb+p1t/eSKzEM98DV1C4KW1GTfFzgpzF?= =?us-ascii?q?NNfCc/2eVEmWI4ylqH1vIl0flRFNgW+PYRFwlnadjTyOt1D920UQXELI+E?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CUAAB3/r9afzZSfUpcHgEGDIMTgRADg?= =?us-ascii?q?RSDXJUAgUuBOIdFiw6BegsjiQgZBwEEMBgBAgEBAQEBAQEBARIBAQkLCwgmMYI?= =?us-ascii?q?3DAyCeQYVCAEbDBIDEhAPAiYCJREBBQEvCAEBhHABAxUEC6IrPIsFgX8FAReCb?= =?us-ascii?q?wWBYYFiChkmDVVXgiMCBgkBCHeGWIITgQwihXMEGHskB4McglQClzoIhVGIVwa?= =?us-ascii?q?BMDqBY4E8gigPIoRViRWEJIIdAgQCBAUCBQ8hgQQcgXQOCDMaI08xghIJgguOO?= =?us-ascii?q?m6OCgEB?= X-IPAS-Result: =?us-ascii?q?A0CUAAB3/r9afzZSfUpcHgEGDIMTgRADgRSDXJUAgUuBOId?= =?us-ascii?q?Fiw6BegsjiQgZBwEEMBgBAgEBAQEBAQEBARIBAQkLCwgmMYI3DAyCeQYVCAEbD?= =?us-ascii?q?BIDEhAPAiYCJREBBQEvCAEBhHABAxUEC6IrPIsFgX8FAReCbwWBYYFiChkmDVV?= =?us-ascii?q?XgiMCBgkBCHeGWIITgQwihXMEGHskB4McglQClzoIhVGIVwaBMDqBY4E8gigPI?= =?us-ascii?q?oRViRWEJIIdAgQCBAUCBQ8hgQQcgXQOCDMaI08xghIJgguOOm6OCgEB?= X-IronPort-AV: E=Sophos;i="5.48,388,1517871600"; d="scan'208";a="320841885" Received: from mail-wm0-f54.google.com ([74.125.82.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 31 Mar 2018 23:33:43 +0200 Received: by mail-wm0-f54.google.com with SMTP id h76so20122305wme.4 for ; Sat, 31 Mar 2018 14:33:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:subject:from:message-id:date:user-agent:mime-version :content-language:content-transfer-encoding; bh=bgXjOLLPzwQy8C8XWH9QSLBrUW1Lb6quM/sszp71adE=; b=fJrUUdG+aUnW8ZUHF8bTWOtYIK3m7dJBOo6SJgs5cpgnPZofGXskXvYaRYt7FdG0TN 93MnGDFPIhzFiRYNIwPW5Qk7ZKtJV9ByUCNBkqz1R+tOPjJ4tKHgBtpJUjjtrNcRZsII 6xDQCPLiE+QgnBMFl7aaFPdecVFyno//7yiHtaW6AB7EJFv/wXTt3ay7UA0j4ACGe5C5 ttTSZGlG4ZhpbrC78yHnY9hH31IiweDR98U1zpmW0acfOATHYj+gAhNADvJctGfneuDB 14EXk6qyCYMyqEIZWbPRG/zOgeXEuYKfg7xMJYWkWGTdsUC371dV/zglBiO7G5fMMt6m wC6A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:subject:from:message-id:date:user-agent :mime-version:content-language:content-transfer-encoding; bh=bgXjOLLPzwQy8C8XWH9QSLBrUW1Lb6quM/sszp71adE=; b=myq6U/2h/7MOslv7LM19BKAAIVpLE8sH6dzw4WVbpfBuCqADJT8Qmc/GQk7go9kVdQ E5vOZV9+0h6Y5KiZoEAa3T//vEki+L5GYrtUz7RywKNsTA30Cgh8UuehGFs86FnYBl8s 8vNdIzA2fBGdw8AtCqBXS3jFsEhtPYQGjoZWhRV+y5BngrTXbuSQlC+VPXrgslcY3HYs Li6M0GoooiZHICAe+g9e4NGBagHTCHr3+Tb4m7JpoJphd6JS1qsNkYsSv+KPmFAVoscW yqm7flRUWLDRFsXyqFvb4TUvxgEsrENxO//mFKltBZROdw7QWyLwlsYXAkprFLIiPL08 wkNg== X-Gm-Message-State: AElRT7E81EvMhUyXzgi4QBIo5JnsnFOcdwvvk5YP7/MZokHoTA3uzr1R 6StqkpTI/VffOKoDgYZsfs8bcqdV X-Google-Smtp-Source: AIpwx49raWqIypz7IJqyuNaAzwwCLyT1kkD0dcYTVnJDELdClt8Bw9b5t7riKfQRCYJyjYsw7qvhaw== X-Received: by 10.28.160.5 with SMTP id j5mr5085467wme.7.1522532022591; Sat, 31 Mar 2018 14:33:42 -0700 (PDT) Received: from [192.168.1.81] (5751ed84.skybroadband.com. [87.81.237.132]) by smtp.gmail.com with ESMTPSA id p25sm5533401wmi.14.2018.03.31.14.33.41 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 31 Mar 2018 14:33:41 -0700 (PDT) To: caml-list@inria.fr From: Robert Atkey Message-ID: <8ec26d68-934c-9a18-a3b8-db6d4ec20172@gmail.com> Date: Sat, 31 Mar 2018 22:33:40 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-GB Content-Transfer-Encoding: 7bit Subject: [Caml-list] Mathematically Structured Functional Programming 2018: Final Call for Papers Reply-To: Robert Atkey X-Loop: caml-list@inria.fr X-Sequence: 16767 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Seventh Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Sunday 8th July 2018, Oxford, UK A satellite workshop of FSCD 2018 http://msfp2018.bentnib.org/ ** New this time: additional talk proposal category ** ** Deadline: 5th April (abstract), 12th April (paper) ** The seventh 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. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, just after ETAPS 2016. Important Dates: ================ Abstract deadline: 5th April (Thursday) Paper deadline: 12th April (Thursday) Notification: 17th May (Thursday) Final version: 14th June (Thursday) Workshop: 8th July (Sunday) Invited Speakers: ================= - Tamara von Glehn, University of Cambridge, UK - Didier Remy, INRIA, France Program Committee: ================== Andreas Abel - Chalmers, Sweden Danel Ahman - INRIA Paris, France Robert Atkey - University of Strathclyde, UK (co-chair) Jeremy Gibbons - University of Oxford, UK Jennifer Hackett - University of Nottingham, UK Mauro Jaskelioff - Universidad Nacional de Rosario, Argentina Shin-ya Katsumata - National Institute of Informatics, Japan Sam Lindley - University of Edinburgh, UK (co-chair) Clare Martin - Oxford Brookes University, UK Shin-Cheng Mu - Academia Sinica, Taiwan Valeria de Paiva - Nuance Communications, US Alexandra Silva - University College London, UK Submission: =========== 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 Please contact the programme chairs Robert Atkey and Sam Lindley if you have any questions about the scope of the workshop. (New this time) We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages which we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Full papers (not two page talk abstracts) must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers and talks must be presented at the workshop by at least one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2018. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs