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 4317C5D5 for ; Sat, 8 Jun 2019 20:04:32 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,568,1557180000"; d="scan'208,217";a="386585585" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Jun 2019 22:04:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D99D0826E4; Sat, 8 Jun 2019 22:04:30 +0200 (CEST) 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 BD7D38247D for ; Sat, 8 Jun 2019 22:04:25 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=agarwal1975@gmail.com; spf=Pass smtp.mailfrom=agarwal1975@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f193.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Alza6qhZvMoe51emqWutaP5T/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8izbnLW6fgltlLVR4KTs6sC17OP9fm8CSdZvcrJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQi6oR/MusQZgoZuJbs9xxTGr3BVZ+?= =?us-ascii?q?lY2GRkKE6JkR3h/Mmw5plj8ypRu/Il6cFNVLjxcro7Q7JFEjkoKng568L3uxbN?= =?us-ascii?q?SwuP/WYcXX4NkhVUGQjF7Qr1UYn3vyDnq+dywiiaPcnxTbApRTSv6rpgRRH0hC?= =?us-ascii?q?sbMTMy7WbYitF2jK1GoRKhvABww4rTYIGOKvVxY77WcdcVSGZdW8pcUTFKDIGh?= =?us-ascii?q?YIsVF+cOMuZWoYf+qVUTsRSzGBKhC/nzxjJSnHL6wbE23uYnHArb3AIgBdUOsH?= =?us-ascii?q?HModjpL6cSUeG1zLLIzT7ec/5W1i3y6JLGcx87pfGHQLV9ftDeyUY1DQPEgE+f?= =?us-ascii?q?qYj4Mz6R1OkAs3OW7+VlVe21im4nrxt9rSSoxscpk4TEgJ8exF7D9SV82ok1JN?= =?us-ascii?q?u4RVZnYd+qEZtQqz2aOJVsQs84X25ovyM6xqUatp68eSgK0JMnxwXBZPObdIiI?= =?us-ascii?q?5BzjW/iLIThmgnJqZKywiwy18Ui6xe3xUNS/3lVSriddjNXAqnQA2wbQ58WHUP?= =?us-ascii?q?dx40as1SqV2wzO7uxJL0Y5nrfBJZE72L4/jJ8TvFzDHiDonEX2i7ebdkA+9eip?= =?us-ascii?q?7+Tre6zmpoOBO4NthAHyL6Ajl8KlDeQ3NQgOWGeb+eCi27H54UL5R7BKguU3kq?= =?us-ascii?q?nfrp/aOdwWqrClDwJRyIou6BayAy273NkZgXULNk9JdRaJgoTxPlHBOvH4DfOx?= =?us-ascii?q?g1S2lzdrwujLMafuAprXNHjCnq3ufbJg50NYygc+zctS551RCr4bIfLzXlX9u8?= =?us-ascii?q?DfDh88KwC02froCM1h1oMCXmKCGrOWP7nXsV+M/+4vJ+iMZJQJuDvmMPgk5/vu?= =?us-ascii?q?jWcjllMHfKmp24EXaHGiEfh8LUWZeymkvtBUDGEGvxE1SOvxhVHHSzNYZm6zUq?= =?us-ascii?q?Qg/WNoW6y8CoKWb5utgaeBlA60F4dJb2QOXlmDGG33foHdCqhRQC2XK85l1DcD?= =?us-ascii?q?UO7yGMcayRiyuVqimPJcJe3O93hE7cu+hugw3PXakFQJzRIxD8mZ1DvTHWR9n2?= =?us-ascii?q?dNXiNvma4m8Bc7xVCE3qx1xfdfEI4Lvq8bYkIBLZfZitdCJZXqQAuYJ4WGTV+n?= =?us-ascii?q?RpOtBjRjFotgke9LWF50HpCZtj6G2iOrB7EPkLnSXc4796vd2z76IMMvkns=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AzIQB/FPxcYsGgVdFlg34qJQEBAUJRM?= =?us-ascii?q?yiEFYEdgl6Od4IPiSweCnINhW2IMoFnCQEDAQwjDAEBgUuCdYJsGwcBBDQTAQM?= =?us-ascii?q?BAQQBAQIBAQMBBhgMCggnJQsBgjoMGoJiLAYdARsMEgMSCQc3AiQBEQEFAQ4aA?= =?us-ascii?q?QxbgkiBaQEDHQ+XWYMfPIsggRQFAReCegWBMwGCfQoZJw1dA4E6AgcSgSKHbIN?= =?us-ascii?q?xghaDJU4CgXABPIEVCwKBLgESAQ89gl0UgkQEgS0BAQGndgEGAgGBdggTghuEK?= =?us-ascii?q?YkWg2gbd4EuhnyNeoQKjm5aVI9ADyGBRYEIcTMaI4EBbQqBRAmCHoENAQiCQoU?= =?us-ascii?q?UhVsmMI1agkMBAQ?= X-IPAS-Result: =?us-ascii?q?A0AzIQB/FPxcYsGgVdFlg34qJQEBAUJRMyiEFYEdgl6Od4I?= =?us-ascii?q?PiSweCnINhW2IMoFnCQEDAQwjDAEBgUuCdYJsGwcBBDQTAQMBAQQBAQIBAQMBB?= =?us-ascii?q?hgMCggnJQsBgjoMGoJiLAYdARsMEgMSCQc3AiQBEQEFAQ4aAQxbgkiBaQEDHQ+?= =?us-ascii?q?XWYMfPIsggRQFAReCegWBMwGCfQoZJw1dA4E6AgcSgSKHbINxghaDJU4CgXABP?= =?us-ascii?q?IEVCwKBLgESAQ89gl0UgkQEgS0BAQGndgEGAgGBdggTghuEKYkWg2gbd4Euhny?= =?us-ascii?q?NeoQKjm5aVI9ADyGBRYEIcTMaI4EBbQqBRAmCHoENAQiCQoUUhVsmMI1agkMBA?= =?us-ascii?q?Q?= X-IronPort-AV: E=Sophos;i="5.63,568,1557180000"; d="scan'208,217";a="308616148" X-MGA-submission: =?us-ascii?q?MDEwxi7k2HwXFWgNWW/Sy6ph1ChPEJAYDMhh9Q?= =?us-ascii?q?dwesxRGYe54kx8bDI0AGkNgQM23MC7ui76duFbnC5e6AdO6HnMUnP/Yl?= =?us-ascii?q?e5FRHP7eN6e2XibEwRlWtIBrxhnlH68f51l2eAr/q4ZEGgwFobRQFjK2?= =?us-ascii?q?kmFoMlR1/xyhPVaNQYrUBQ1Q=3D=3D?= Received: from mail-qt1-f193.google.com ([209.85.160.193]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Jun 2019 22:04:03 +0200 Received: by mail-qt1-f193.google.com with SMTP id m29so6376072qtu.1 for ; Sat, 08 Jun 2019 13:04:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=5hXjHSxWTX3X4/iAbEGJ84joiY8PKW4sfOZslBtAYYs=; b=paOMvB9ZCTCjhOidXUfjhfotlXn3ajiGPMWeA9W/uxEupUnnjdtaKk9FSX84HXaBzL b2g+nWBGWdpgIkuM7LjAGXEyHfzQwAaH3n4u+KyDPAhbnz1dr2JowpmnwTPXS7vEcywB VKIRXO9pWyo313MyRI+tIGrGJzflkJ5Z9nM2HnFG43r3aXqbExGAp7EkX3Ojh7fSqze1 Pwr1LwTSNizzUS2quDH+Dz0Q1wTPHQx7bwnwHJo7kMR8lAjzT3xcXzqvue04ArcHeHPz vZMA0CbNEjU6Y9q8d2FE3fqlG96lVTZzzbC5EAd4oUVHTJ2+1HF9GXqfJSxfbATToe4N GQHw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=5hXjHSxWTX3X4/iAbEGJ84joiY8PKW4sfOZslBtAYYs=; b=AQxM2n8BXrvTycJU4siO8mJn1FJ9lrW5ixdE8mVsRKf+6dZpPBupcw3QqoaNGXBVHu pF5jz4z8o+3S7M1RdBahUl26UBDmSZgBW9ex6hBjdgU20BzYq9hxvH2ywu5MARPtoxn7 6+EoCnvcGjjBG/G/UCO6cm9AMmwaHvMJORIJFYEE8WAMtM2my7Zi3ITTIy9Oo2BHNw8D M66q0gBH5I+sFKmDq0AuxBujbfiB0sWp73bHt8ZT2ovJFZu4Zmln6iweLYpQ+XXT0OVt xHD99ZprLlUd/YOr4Ep8+LgQDPFWQEPc/XU9n39vgrbiZYgNWbnY98qPgB5p6asuaJ6T OmsA== X-Gm-Message-State: APjAAAUdR/wBI59qR0sNzBEToqQuPfbOiGyGvF3Rp4+aQzK11dQf8C/m 1LtAZR7drJEludbPxsvPvQJGetmNWOS2s2lpuyxI4b5ICVM= X-Google-Smtp-Source: APXvYqxl4igtz+APBLDcj7j+ibYouRAye86IcgeEjQR1azhu1TntOzPIyKrBj64pPis3xKuqS6fNIo7WGJvU6R85PUk= X-Received: by 2002:ad4:43c1:: with SMTP id o1mr35905223qvs.226.1560024241819; Sat, 08 Jun 2019 13:04:01 -0700 (PDT) MIME-Version: 1.0 From: Ashish Agarwal Date: Sat, 8 Jun 2019 16:03:50 -0400 Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="000000000000c65798058ad572aa" Subject: [Caml-list] Compose Conference [New York, Jun 22 - 25, 2019] -- Tickets Available Reply-To: Ashish Agarwal X-Loop: caml-list@inria.fr X-Sequence: 17613 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: --000000000000c65798058ad572aa Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Call for Participation Compose Conference 2019 June 22 - 23 (Unconference) June 24 -25 (Main Conference) New York City, NY http://www.composeconference.org/2019 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The practice and craft of functional programming :: Conference Compose is a conference for typed functional programmers, focused specifically on Haskell, OCaml, F#, SML, and related technologies. Typed functional programming has been taken up widely, by industry and hobbyists alike. For many of us it has renewed our belief that code should be beautiful, and that programming can be as enjoyable as it is practical. Compose is about bringing together functional programmers of all levels of skill and experience =E2=80=94 from technical leads to novices, and from lo= ng-time hackers to students just getting started. It will feature a two days of great and wide-ranging talks Invited Keynotes Donya Quick =E2=80=93 Making Algorithmic Music David Spivak =E2=80=93 Compositional Graphical Logic Accepted Talks and Tutorials Kenny Foner =E2=80=93 Functors of the World, Unite! Phillip Carter =E2=80=93 The anatomy of the F# tools for Visual Studio Sebastien Mondet =E2=80=93 Genspio: Generating Shell Phrases In OCaml Justin Le =E2=80=93 Applicative Regular Expressions using the Free Alternat= ive Gaetano Checinski =E2=80=93 Buckaroo SAT =E2=80=93 Solving a partially reve= aled SAT problem for Package Management Richard Feldman =E2=80=93 From Rails to Elm and Haskell Samuel G=C3=A9lineau =E2=80=93 Stuck macros: deterministically interleaving macro-expansion and typechecking Vaibhav Sagar =E2=80=93 Yes, IHaskell Can Do That! Fintan Halpenny =E2=80=93 Bowl Full of Lentils Aditya Siram =E2=80=93 A Tase Of ATS Ward Wheeler =E2=80=93 Phylogenetic Software in Haskell Igor Trindade Oliveira =E2=80=93 Type Driven Secure Enclave Development usi= ng Idris David Christiansen =E2=80=93 Bidirectional Type Checking Chris Smith =E2=80=93 Teaching the intersection of mathematics and function= al programming Brandon Kase =E2=80=93 Fast Accumulation on Streams James Koppel =E2=80=93 The Best Refactoring You=E2=80=99ve Never Heard Of Allister Beharry =E2=80=93 Using Dependent Types in an F# DSL for Linear Al= gebra Diego Balseiro =E2=80=93 Bridge Haskell and ReasonML in Production Follow @composeconf on Twitter: https://twitter.com/composeconf On freenode irc, chat with fellow attendees at #composeconference Policies (diversity and anti-harassment): http://www.composeconference.org/conduct Email us with any questions at info@composeconference.org Please forward this announcement to interested parties and lists. --000000000000c65798058ad572aa Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Call for Participation
Compose Conference 2019
= June 22 - 23 (Unconference)
June 24 -25 (Main Conference)
New York= City, NY

http://www.composeconference.org/2019

=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
The practice and craft of = functional programming :: Conference

Compose is a conference for typ= ed functional programmers, focused specifically on Haskell, OCaml, F#, SML,= and related technologies.

Typed functional programming has been tak= en up widely, by industry and hobbyists alike. For many of us it has renewe= d our belief that code should be beautiful, and that programming can be as = enjoyable as it is practical. Compose is about bringing together functional= programmers of all levels of skill and experience =E2=80=94 from technical= leads to novices, and from long-time hackers to students just getting star= ted.

It will feature a two days of great and wide-ranging talks
<= br>Invited Keynotes
Donya Quick =E2=80=93 Making Algorithmic Music
=
David Spivak =E2=80=93 Compositional Graphical Logic

Accepted T= alks and Tutorials
Kenny Foner =E2=80=93 Functors of the World, Unite!
Phillip Carter =E2=80=93 The anatomy of the F# tools for Visual St= udio
Sebastien Mondet =E2=80=93 Genspio: Generating Shell Phrases= In OCaml
Justin Le =E2=80=93 Applicative Regular Expressions usi= ng the Free Alternative
Gaetano Checinski =E2=80=93 Buckaroo SAT = =E2=80=93 Solving a partially revealed SAT problem for Package Management
Richard Feldman =E2=80=93 From Rails to Elm and Haskell
= Samuel G=C3=A9lineau =E2=80=93 Stuck macros: deterministically interleaving= macro-expansion and typechecking
Vaibhav Sagar =E2=80=93 Yes, IH= askell Can Do That!
Fintan Halpenny =E2=80=93 Bowl Full of Lentil= s
Aditya Siram =E2=80=93 A Tase Of ATS
Ward Wheeler =E2= =80=93 Phylogenetic Software in Haskell
Igor Trindade Oliveira = =E2=80=93 Type Driven Secure Enclave Development using Idris
Davi= d Christiansen =E2=80=93 Bidirectional Type Checking
Chris Smith = =E2=80=93 Teaching the intersection of mathematics and functional programmi= ng
Brandon Kase =E2=80=93 Fast Accumulation on Streams
= James Koppel =E2=80=93 The Best Refactoring You=E2=80=99ve Never Heard Of
Allister Beharry =E2=80=93 Using Dependent Types in an F# DSL for = Linear Algebra
Diego Balseiro =E2=80=93 Bridge Haskell and Reason= ML in Production

Follow @composeconf on Twitter: https://twitter.com/composeconf
On freenode irc, chat with fellow attendees at #composeconference
<= br>Policies (diversity and anti-harassment):
http://www.composeconference.org/conduct
<= br>Email us with any questions at info@composeconference.org

Please forward this a= nnouncement to interested parties and lists.

--000000000000c65798058ad572aa--