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 sympa.inria.fr (Postfix) with ESMTPS id 8C4ED8239C for ; Fri, 2 Mar 2018 13:35:48 +0100 (CET) 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-wr0-f173.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=209.85.128.173; 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 209.85.128.173 as permitted sender) identity=mailfrom; client-ip=209.85.128.173; 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-wr0-f173.google.com) identity=helo; client-ip=209.85.128.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bob.atkey@gmail.com"; x-sender="postmaster@mail-wr0-f173.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ApzeUJRxV5bf4zcHXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+gUIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsLxUb05Vzav4qlyRBP0hy?= =?us-ascii?q?oMKjo1/WHLhsB1iq9QvRCvqAFlw4PMfo+bKfpwcKDTc9wUSmVOQslfWjddAo6+?= =?us-ascii?q?dYYDE/YNMOhaooT7ulAArQG+BQ6pBO731jFIgWT50rMg0+Q9DArLwBAgH9EQv3?= =?us-ascii?q?XUsd74M7wdUeeuw6XS1zrDc/BW1in96YXTfRAhpOuDXbN0ccbL1UYvEAbFg0yW?= =?us-ascii?q?pIf4MT2V0eENvHKa7+pmTe+glXQoqxpxozezxscjkIjJhpgPxlDD7yV5z545Ks?= =?us-ascii?q?amR059fd6kFppQuDqAO4txWMMiTGdlszs5xL0eoZO3YjQGxZA9yxPca/GLaZWE?= =?us-ascii?q?7gzgWeqLPDt1hnxodKqhixqv/0Ws0PPwWtW03VpQsyZIltrBumoJ2hDO7MWMV+?= =?us-ascii?q?Fz8V272TmV0gDe8uFELl4wlarcM5Mhx6Q/lpsXsUjaEC72gln6gLaYdkk5+OWl?= =?us-ascii?q?5f7rYrrhpp+bOI90jh/xPr4ylcy4BOQ0KgkOX26F9uSgzLDv41H1TbFQgvA1kq?= =?us-ascii?q?TVqo3WKdoYq6KjHgNY0Igu5w66Dzi80dQYmXcHLEhCeBKCl4XmIFbOL+viAfil?= =?us-ascii?q?n1SskylkxvDdM73uB5XCNHnDkLP7cblh7E5czRI/zcpD6JJMFrEBPPXzV1ftu9?= =?us-ascii?q?PCCx85NxW4w+LmCNVmyoMTQnmPA6+cMKPKq1CE/OMvI++WZI8UojnxMfYl5+S9?= =?us-ascii?q?xUM+zFQUeK3s2ZoMdFi5GO5nKgOXeynCmNAERF0NtAckUKTDlF6PQHYHbXG4Ga?= =?us-ascii?q?sg5TwqII2jBIbHAIuqherSj2+AApRKazUeWRi3GnDyetDZA65dOhLXGddol3k/?= =?us-ascii?q?bZbkToYg0R+0swqjkuhoK+PV/msTspexjYEptd2Wrgk78HlPN+rYy3uEFjgmkW?= =?us-ascii?q?YBRjtw16d68xQklwWzlJNgivkdLuR9ovNEVgBga8zZxu1+Ts/oAkfPJ4jSDlmh?= =?us-ascii?q?RdqiDHc6Sddjm9I=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C/BgCARJlahq2AVdFdHgEGDIMfgRcDg?= =?us-ascii?q?RWDVJgcgVuBPYgPjB6CFQojh3AZBwEEMhYBAgEBAQEBAQEBARIBAQEICwsIKC6?= =?us-ascii?q?COAwMgncGFQgBGwwSAxIQDwImAiURAQUBLwgBAYR+AQMVBAycSECMFIIFBQEcg?= =?us-ascii?q?wIFgWuBagoZJw1XWYIjAgYJAQh9hBeCKYM9KQyGJgQZgQ8kB4MngmIEml4JhlK?= =?us-ascii?q?KJAeBZ06CE4FUgmYSJoU+iXyEdYI3AgQCBAUCBhQlgQklA4FqDggzGiNPMYISC?= =?us-ascii?q?YIZH4IHd4xMAQEB?= X-IPAS-Result: =?us-ascii?q?A0C/BgCARJlahq2AVdFdHgEGDIMfgRcDgRWDVJgcgVuBPYg?= =?us-ascii?q?PjB6CFQojh3AZBwEEMhYBAgEBAQEBAQEBARIBAQEICwsIKC6COAwMgncGFQgBG?= =?us-ascii?q?wwSAxIQDwImAiURAQUBLwgBAYR+AQMVBAycSECMFIIFBQEcgwIFgWuBagoZJw1?= =?us-ascii?q?XWYIjAgYJAQh9hBeCKYM9KQyGJgQZgQ8kB4MngmIEml4JhlKKJAeBZ06CE4FUg?= =?us-ascii?q?mYSJoU+iXyEdYI3AgQCBAUCBhQlgQklA4FqDggzGiNPMYISCYIZH4IHd4xMAQE?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.47,412,1515452400"; d="scan'208";a="316060404" Received: from mail-wr0-f173.google.com ([209.85.128.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Mar 2018 13:35:47 +0100 Received: by mail-wr0-f173.google.com with SMTP id p104so9923277wrc.12 for ; Fri, 02 Mar 2018 04:35:47 -0800 (PST) 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=FCAG20Mv4n9fPCay68FQzdardeRNN+gSlRh4wrzjsQ+2Wu1u29pE3HcBBnePWNlNIW sHI1gfLqJLVO6Lq35yX/5KRhTkqIjz/IGfO8S41w5Nny2BypX4/alGvuj4YwgbYp1fSL 4ZHPOYmVKKHLNKTTyXTfU96kMTXTqiq/hD9SjuOmpkOB/Xkuuyk/zwJh8lICCtEd2RMp M1cFbgw2WTW1BoYsdpjPRaa9hzzLK00+8jiYO8kNy92k+x7XZAmDapfuJ+lyOyRQ0Ufi ngcnHRbhzvzZPvO6cqv1SkIhFKlev5hXC79TmWk6N74EedsC2sAG+xwrIOMq6YscIXYV i7XA== 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=rK10+P3TwhqzP+vKyj3UM+1hzg6oaJtyQh//5HPXdShEDYQZy72Psvvp2T/DdwuZ8x 4CpcZL4bmflNI5/w9TlK4CztiNtbign8fT/h4FXAHhZew27CNoWr2dlKR/FS92TnIJuK k0Js0VH5Y38aW+hH3ZQoGe48tN3sjmQIDlHVkc7PM1pdzkso2gv7PzhUTd+HBJ9vS36N 2hcyc/rmtRGLY8JzvUisG8BVBBJEgcw7h6mQs4p4NhkbBrBaP2VZXmcap5MtpNqBLkVH p5msoW3j7B4s1cRuqn63kbkhfEvaGRgGCNRvS/Qkd6UDbb63pbvZPzGxdkG12Yb+AH98 ucyw== X-Gm-Message-State: APf1xPC6wSiMdYtD3ykPjOXxObciV0JpYUtlF+GXKuhTOu1FgrV7GSR4 /K772T11jrKuhtZDvm3VCQOfDqoz X-Google-Smtp-Source: AG47ELsSylg0YvbKzGnYbMRnsLL01hKTKEw+mUeWMURFZw51ojhLZXxcfhnGdKCP4UKdJrbndR0mOw== X-Received: by 10.223.166.171 with SMTP id t40mr5270468wrc.49.1519994147184; Fri, 02 Mar 2018 04:35:47 -0800 (PST) Received: from [192.168.43.196] ([213.205.198.91]) by smtp.gmail.com with ESMTPSA id b45sm7559678wrb.79.2018.03.02.04.35.45 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 02 Mar 2018 04:35:46 -0800 (PST) To: caml-list@inria.fr From: Robert Atkey Message-ID: <8c135238-0648-f2c8-52cc-80bab547871b@gmail.com> Date: Fri, 2 Mar 2018 12:35:39 +0000 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: Call for Papers 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.