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 ESMTPS id 6BA635D5 for ; Tue, 10 Dec 2019 16:52:31 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,300,1571695200"; d="scan'208";a="419658881" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Dec 2019 17:52:30 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 851E47F345; Tue, 10 Dec 2019 17:52:30 +0100 (CET) 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 0C8D97F345 for ; Tue, 10 Dec 2019 17:52:26 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Sam.Lindley@ed.ac.uk; spf=Pass smtp.mailfrom=Sam.Lindley@ed.ac.uk; spf=None smtp.helo=postmaster@seine.is.ed.ac.uk IronPort-PHdr: =?us-ascii?q?9a23=3AOe+ELxVPag0erd96u17l5u5NBM/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBeFt8tkgFKBZ4jH8fUM07OQ7/m7HzVRut3Q6jgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrowjdrNQajI9sJ6o+zhbFvGZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+27Ql8JwkblboAq/qBNj347aboaVNP9kcaPce9MRWG5NU8lVWiBEBI63?= =?us-ascii?q?cokBAPcbPetAsYfzp0YAoxiwCwaiC+zg1jBGi2Tq3aA5yektDR3K0QIiEt8IrX?= =?us-ascii?q?/arM/1NKAXUe2t0afH1zDDZO5Q1zf87ojHbxQhru+MXLltdsff1FMgFwbfgluW?= =?us-ascii?q?qIzlOS6a1uATvGmb9OdvS/+gh3Q9pA5tuDSv28Qsh5DPi4kIxF7E8iB5z5w0Jd?= =?us-ascii?q?2+UEN0f8SrEIBQti6GN4t5WMIiQ3tytCY90L0Gtoa3fCcLyJQ7xx7fdueIf5KJ?= =?us-ascii?q?4hLkUuuaPDR2hGp9db6imRq/9VKsxvPhWsS0ylpGsyhInsPSunwRyRDf8tWLRu?= =?us-ascii?q?V580u7xzqDygDe5vtZLU01mqfXMYMtz7AsmpcVrE/NBDX5mF/sg6+Tbkgk+van?= =?us-ascii?q?6+DgYrj+vZ+TKY50igfgPag0m8y/Gv40PRYTUGSB4+uzyKfv/VD6QLlSj/02lL?= =?us-ascii?q?fWsIzCKMgGuKK0BxVZ3pg+5xu/FTuqzdYVkWMZIF5ZZh6Ll43pNEvPIPD8A/e/?= =?us-ascii?q?mVOskDJzyv7bJLLhB4/BIH7CkLfnYLl971BTyQoowN9B+p1YEKsOL+7pVk/st9?= =?us-ascii?q?zUFgU5PBCsw+b7FNV90ZsTVn6VDa+cNKPeqFuI5uM0I+mQf4IVozb8K/095/H0?= =?us-ascii?q?l3M5mFkdfbOo3ZQNcny4EO5mcA2lZi/ni9IFVGMLpRYWTerwiVTEXyQASWy1Wv?= =?us-ascii?q?cH7zRzLIOgAYPOV8j5u7WEmgO6GJFSa3FuB1zKGHyuaobSCKREUz6bPsI0ym9M?= =?us-ascii?q?brOmUYJ0iUD36F3KjoF/J++RwRU28Ir53YEtteDf0xg5syF3XZzEgjO9Clpsl2?= =?us-ascii?q?ZNfAcYmaV2oEhz0FCGiPAqjvAeHNcV+vAbC15nZ66Z9PRzDpXJYiyEftqNTw/3?= =?us-ascii?q?EM6rADc8CNMqhdICJU92Xcih3EjO?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A6AQAbzO9dh8oR14FlhDOBChNWMSqEA?= =?us-ascii?q?6wFBVIBCAEDAQoBASMMAQGGRRwHAQQ0EwIQAQEEAQEBAgECAwQBEwEBAQoLCQg?= =?us-ascii?q?phT4MgjsMgzsGDwEFGxVGAiYCbAYCAQGDHgGCdw+uTYEyhU+DCyIWgUIGgQ4oj?= =?us-ascii?q?CeBTD+BEScPhB+BYAEBAhqBACuDLIJeBI08KaB/B4IycoYxjkchgkKEMoNEhBo?= =?us-ascii?q?niz+EP5JQiEWGH4MIAgQCBAUCFAGBaVmBIU00P4JsUBEUV4wnAoY9gjCFP0Iyj?= =?us-ascii?q?ysBAQ?= X-IPAS-Result: =?us-ascii?q?A0A6AQAbzO9dh8oR14FlhDOBChNWMSqEA6wFBVIBCAEDAQo?= =?us-ascii?q?BASMMAQGGRRwHAQQ0EwIQAQEEAQEBAgECAwQBEwEBAQoLCQgphT4MgjsMgzsGD?= =?us-ascii?q?wEFGxVGAiYCbAYCAQGDHgGCdw+uTYEyhU+DCyIWgUIGgQ4ojCeBTD+BEScPhB+?= =?us-ascii?q?BYAEBAhqBACuDLIJeBI08KaB/B4IycoYxjkchgkKEMoNEhBoniz+EP5JQiEWGH?= =?us-ascii?q?4MIAgQCBAUCFAGBaVmBIU00P4JsUBEUV4wnAoY9gjCFP0IyjysBAQ?= X-IronPort-AV: E=Sophos;i="5.69,300,1571695200"; d="scan'208";a="332723494" X-MGA-submission: =?us-ascii?q?MDHZUENXyRUEnS7BacotrxULUGM+Yo17wPjwmA?= =?us-ascii?q?epubfU8G94crfFzK2vlszP0SPp7DyC5pZ6InYI5jVkaFz8aoHvlKtJ0f?= =?us-ascii?q?Dy+hMenJ4uQAtkj2H5IOtN9OD7x6ZZ1RZBF+xbHT2kbhcbzNWzkyunxL?= =?us-ascii?q?46EFa58jLE/+Cw8OBDskUrGA=3D=3D?= Received: from seine.is.ed.ac.uk ([129.215.17.202]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Dec 2019 17:52:24 +0100 Received: from beeknow.inf.ed.ac.uk (beeknow.inf.ed.ac.uk [129.215.202.44]) by seine.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id xBAGqNGc006869 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Tue, 10 Dec 2019 16:52:23 GMT Received: from [129.215.164.130] (strachey.inf.ed.ac.uk [129.215.164.130]) (authenticated bits=0) by beeknow.inf.ed.ac.uk (8.14.7/8.14.7) with ESMTP id xBAGqMmI019821 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NO) for ; Tue, 10 Dec 2019 16:52:22 GMT To: caml-list@inria.fr From: Sam Lindley Message-ID: Date: Tue, 10 Dec 2019 16:52:23 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-GB Content-Transfer-Encoding: 8bit X-Edinburgh-Scanned: at seine.is.ed.ac.uk with MIMEDefang 2.84, Sophie, Sophos Anti-Virus, Clam AntiVirus X-Scanned-By: MIMEDefang 2.84 on 129.215.17.202 Subject: [Caml-list] MSFP 2020 - Second Call for Papers Reply-To: Sam Lindley X-Loop: caml-list@inria.fr X-Sequence: 17903 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: Eighth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Saturday 25th April 2020, Dublin, Ireland A satellite workshop of ETAPS 2020 https://msfp-workshop.github.io/msfp2020/ ** Deadline: 9th January (abstract), 16th January (paper) ** The eighth 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, as part of ETAPS 2016. The seventh MSFP Workshop was held in July 2018, in Oxford, UK, as part of FLoC 2018. Important Dates: ================ Abstract deadline: 9th January (Thursday) Paper deadline: 16th January (Thursday) Notification: 27th February (Thursday) Final version: 26th March (Thursday) Workshop: 25th April (Saturday) Invited Speakers: ================= Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France Satnam Singh - Google Research, USA Program Committee: ================== Stephanie Balzer - CMU, USA Kwanghoon Choi - Chonnam, South Korea Ralf Hinze - Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh and Imperial, UK (co-chair) Max New - Northeastern, USA (co-chair) Fredrik Nordvall-Forsberg - Strathclyde, UK Alberto Pardo - Montevideo, Uruguay Exequiel Rivas Gadda - Inria Paris, France Claudio Russo - DFINITY, UK Tarmo Uustalu - Reykjavik, Iceland Nicolas Wu - Imperial, UK Maaike Zwart - Oxford, 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 Sam Lindley (Sam.Lindley@ed.ac.uk) and Max New (maxnew@ccs.neu.edu) if you have any questions about the scope of the workshop. 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 that 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. Submissions 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. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. A short abstract should be submitted a week in advance of the paper deadline (for both full paper and extended abstract submissions). We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2020 -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.