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 0B1135D5 for ; Mon, 4 Jun 2018 13:14:55 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,476,1520895600"; d="scan'208";a="330230615" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Jun 2018 15:14:51 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6E6B782459; Mon, 4 Jun 2018 15:14:51 +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 18AF28240C for ; Mon, 4 Jun 2018 15:14:44 +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-wr0-f182.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AeQk1Jx8p+bmBe/9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?0ekcTK2v8tzYMVDF4r011RmVBdids6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+553ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRgH1hi?= =?us-ascii?q?kHNDA3/m/YhcNsg6xUux+hux5yzpTIbI2JOvdzfKXQds4aS2pbWcZRUjRMDJ+7?= =?us-ascii?q?b4QUEeUBJ/pYpJThqlsSrhuxGwmtD/7oxzBTgX/5xrc23P49EQHFwgMhH8kDsH?= =?us-ascii?q?vRrNrvNacSVfq5w7XPzTXGdv5b3yr25obPchAku/6MXLRwfNLPxkY1DAPEjkmf?= =?us-ascii?q?qYz/MDOUzOQBqW+b7/BvVe63kGEotQdxoiSpxsctkYbFnIUVykrL9SlhzoY1Id?= =?us-ascii?q?q4R1JlbdK4DZddtDuWN4xsQsMtRWxjpSU0yqUetJKlYCQHzI4ryh3fZvCdboSE?= =?us-ascii?q?/BHuWPyMLTp7mn5pYK+zihiu/US61+HxVs253ExXoidGndTArG0B2wLO5sWBV/?= =?us-ascii?q?Bz5F2u2SyV2ADW8uxEIV47la7cK5M5x74/jJsTsUDaEi74gkX6kLaadks59uWr?= =?us-ascii?q?9ejreLrmppibN497jgHxLL4ildC4AeQ9KgQOXm6b9vqg1LD740H1XLFHguc1n6?= =?us-ascii?q?TZqpzWONoXq62jDwNI0Ysv9Q6zDzK839QZmXkHIkhFeBWCj4XxIF7OJ+v3Ae2l?= =?us-ascii?q?jFSwkzdk2fDHM6buApXINHfDkbPhcaxh5E5bzQo/1cpf6I5MCrEdPPLzXVf8u8?= =?us-ascii?q?DCAR88Nwy42uLnCNRm1oMCQm+PGa+YMKbKsVCS/O4vIu+MZJUUuDnnMfQl6eTu?= =?us-ascii?q?3jcFngoWdKytmJ8Wc2yQH/J8Ikzfb2C/rM0GFDIwuQAzVvCioUGBXC8bM3y1Ve?= =?us-ascii?q?Q1+jI2GaqpCI7CQsamh7nXj3TzJYFfem0TUgPEKnzvbYjRA65dOhLXGddol3k/?= =?us-ascii?q?bZbkToYg0R+0swqjkuhoK+PV/msTspexjYEptd2Wrgk78HlPN+rYy3uEFjgmkW?= =?us-ascii?q?YBRjtw16d68xQklwWzlJNgivkdLuR9ovNEVgBga8zZxu1+Ts/oAkfPJ4fTDlmh?= =?us-ascii?q?RdqiDHc6Sddjm9I=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CdAwCvORVbh7aAVdFchFaBJ4N4lHKBU?= =?us-ascii?q?CuIeI1JCyOGWxkHAQQzFQECAQEBAQEBAQEBEwEBAQgNCQgbDSMMgjUignUGFQg?= =?us-ascii?q?BGx4DEhAPAiYCJREBBQEvCAEBgx4CgWYBAxUPmlY8iwiBfwUBF4JwBYFjgWUKG?= =?us-ascii?q?SYNVVeBYAIGCQEIeYc3ghOBDySFbwsBAoEYJAeDHIJUAphuBwKFbIhxBoF8gXC?= =?us-ascii?q?DeQ+FJol4hF+CIQIEAgQFAgUPIYE2gXQzGiNQMYISCYIlg06FFIU/bo8aAQE?= X-IPAS-Result: =?us-ascii?q?A0CdAwCvORVbh7aAVdFchFaBJ4N4lHKBUCuIeI1JCyOGWxk?= =?us-ascii?q?HAQQzFQECAQEBAQEBAQEBEwEBAQgNCQgbDSMMgjUignUGFQgBGx4DEhAPAiYCJ?= =?us-ascii?q?REBBQEvCAEBgx4CgWYBAxUPmlY8iwiBfwUBF4JwBYFjgWUKGSYNVVeBYAIGCQE?= =?us-ascii?q?IeYc3ghOBDySFbwsBAoEYJAeDHIJUAphuBwKFbIhxBoF8gXCDeQ+FJol4hF+CI?= =?us-ascii?q?QIEAgQFAgUPIYE2gXQzGiNQMYISCYIlg06FFIU/bo8aAQE?= X-IronPort-AV: E=Sophos;i="5.49,476,1520895600"; d="scan'208";a="330230549" Received: from mail-wr0-f182.google.com ([209.85.128.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 04 Jun 2018 15:14:43 +0200 Received: by mail-wr0-f182.google.com with SMTP id 94-v6so43295769wrf.5 for ; Mon, 04 Jun 2018 06:14: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=4cnPD19CrCthf7G8k5DsQQmuLNkRhgBSXbokZJ/5sVs=; b=ZrSsH9qlyxY15RgGnaTMMZSxvcmINoTQ5h+seiHcWhwZez7gI5kP/jtKubpf6ZKTxV 9f6htPInPH/gHZj1DzmIpmF9B6ify2rR4aq68xH9jK3V8DjBEyc+B+KKrNjyHaLYRbO9 n0fMuOwTTLPkSjyHRW9yL5oAjjWDvACRC9pVTuG5PX5Fkvhe8v47Hbq8CyATUyo43uTT 1LTvbldHG5j47F/I39tT6yNXqiD1nssCZRBpU5M6meZSIdcyEJsYxZHFbpSpnp0eXaNH oBNrZ/CryJVnhXsgdSDNFfXiL1BgeH2uBc60sM0ze+gphjn2u3Y4DW/aqm3Mi35iFyOl kVvw== 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=4cnPD19CrCthf7G8k5DsQQmuLNkRhgBSXbokZJ/5sVs=; b=DuFnqdRZzka8HGcvxOOj5NQRzr/e72mCq104b3rIcDduNodY9eNF6R8SG9M/swLzHt FmXycL/Im3V7MO1QBk/qZ1JHxlV24ziTc6Egh0TNLmhMxpgsgnuR/vP415lI2otjv9m1 lwYmzH4FmYAbQhZpYmRW2zRSg/jqfV8kJ4K8+OxVo7dTRtRRqHE0zHVdXQIfgOLZQrvl hhOATCpgh3t92Dg37Nne9QBVCH5mAr5NZzNMYWmVdFcNYT/kZ5YsiEpBLBR5Sk75AQGy tIsMxjHhMLZYT16Ez65sZzy7b4ZVNBN0y/RUNKBUrrkwIvGer5rSAMFYdD7eLtwtFkDQ QUSw== X-Gm-Message-State: ALKqPwc85jzHE/UmgC8pxA8clsw8W8zkASqvayyldVgbu2TlIqWfmv+2 dXNZId02kMVR0DsdczsMJn4FhrXx X-Google-Smtp-Source: ADUXVKJPw8lr/Ezpi5XSqmxlxYpa6Sn4MThjrruuj3Mph6rEFIZZGDqs+AMwEffFbmfpzPCeXb16BA== X-Received: by 2002:a1c:6fce:: with SMTP id c75-v6mr8811263wmi.83.1528118082831; Mon, 04 Jun 2018 06:14:42 -0700 (PDT) Received: from [130.159.184.121] (lap-robert.cis.strath.ac.uk. [130.159.184.121]) by smtp.gmail.com with ESMTPSA id p3-v6sm30775284wrn.31.2018.06.04.06.14.41 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 04 Jun 2018 06:14:42 -0700 (PDT) To: caml-list@inria.fr From: Robert Atkey Message-ID: <02c96a95-4efc-97b3-a1c9-bbfb79d5e950@gmail.com> Date: Mon, 4 Jun 2018 14:14:41 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.8.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 Participation Reply-To: Robert Atkey X-Loop: caml-list@inria.fr X-Sequence: 16923 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/ CALL FOR PARTICIPATION Registration: ============ Register here: http://www.floc2018.org/register/ Early registration deadline: Wednesday 6th June Invited Speakers: ================= - Tamara von Glehn, University of Cambridge, UK - Didier Remy, INRIA, France 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. Programme: ========== See also https://easychair.org/smart-program/FLoC2018/MSFP-program.html for abstracts. 09:00 Invited speaker: Tamara von Glehn Polynomial models of type theory 10:00 Maaike Zwart and Dan Marsden Some No-Go Theorems for Distributive Laws (extended abstract) 10:30 Coffee 11:00 Jeremy Pope Formalizing Constructive Quantifier Elimination in Agda 11:45 Exequiel Rivas Relating Idioms, Arrows and Monads from Monoidal Adjunctions 12:30 Lunch 14:00 Invited Speaker: Didier Remy Ornamentation put into practice in ML 15:00 Jeremy Gibbons and Guillaume Boisseau Profunctor Optics and the Yoneda Lemma 15:30 Coffee 16:00 Jules Hedges Backward induction for repeated games 16:45 Conor McBride Everybody's Got To Be Somewhere 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 -- 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