From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 CDF717FA83 for ; Wed, 12 Apr 2017 20:19:36 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=agarwal1975@gmail.com; spf=Pass smtp.mailfrom=agarwal1975@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f181.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.216.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.216.181 as permitted sender) identity=mailfrom; client-ip=209.85.216.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@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-qt0-f181.google.com) identity=helo; client-ip=209.85.216.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-qt0-f181.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AkMgUcB3Lq0rDOAMosmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIRI/ad9pjvdHbS+e9qxAeQG96Kt7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXbAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb6S606Viqn76dqTh/nkj?= =?us-ascii?q?0HPCM9/GzZlsB8kKdXrRS8rBJ93oHUepmYOvpwcK3eYN0UW3ZOU91LWCBdGI6x?= =?us-ascii?q?dZcDA/YDMOtesoLzp0EOrRy7BQS0GO7v0T9Ihn7t3a06zu8sDQ7G0xY6H9MAqn?= =?us-ascii?q?vUqMj+OaAIXuC61qbI1zvCYOlS2Tvg7IXFcBAsrOqDXbJ1a8XRyE0vGxnZgVWX?= =?us-ascii?q?rIzoJjWY3fkDvWic6upvT+Ovi2g/pg5vvDig2MEsipXSiYIPy1DE6Tt2zJwpKt?= =?us-ascii?q?2/TU53ecKkEZVRtyGGK4t5XNkiT3t0tyY9z70KoZy7czYWyJg92xHfbPmHf5CU?= =?us-ascii?q?7RLkUeaROTB4hGl7d72jgBay90agxfPmVsaq1lZFsjRKnsPLtnAX2Bze7NWMRP?= =?us-ascii?q?hl/kq5xzqDywTe5vtHLE00j6bXNYMtz78qmpYOsknPAyn7k1jsgqCMbEUr4O2o?= =?us-ascii?q?5vznYrr4op+cMJd5igTkPaQvnsyzGP04MhQSU2SC9+Swyb7u8VDjTLVFif02la?= =?us-ascii?q?bZsJTEKsgBuqG5BApV3p4i6xa5ETimzMwVkWcbIF9BYh6KjIjkN0vQLPzlDPqz?= =?us-ascii?q?mUmgnTR2y/zeO73uGJTNLnzNkLf7erZ97lZRxxA8zd9F/ZJVBKsOIPbuVkL1tt?= =?us-ascii?q?HVDgQ0MwOxw+n9CdV90pkSVn6IAq+cKK/Sq0OH5vozI+mQY48YoCryJOIg5/7q?= =?us-ascii?q?lHM5nV4dfbK13ZYMc3C5HvFmI12Dbnb2g9cBF30KvgskQ+Dwhl2CS20bW3HndK?= =?us-ascii?q?s54nkfCZm6RdPIT4WpxbiAxzuTH5tMZ2kABEraQlnycIDRcuwMaTmSauZumyYb?= =?us-ascii?q?XLzpH4Yu3AuxvQujmuU6BuXR8ywc85nk0Y4mtKXoiRgu+GktXIym2GaXQjQvxj?= =?us-ascii?q?sF?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C2AQA1b+5YhrXYVdFcHQEFAQsBGQYMg?= =?us-ascii?q?0o/gQsHg1+KE5Q0hiSEKYgogg8OHoQegVqDfAc/GAEBAQEBAQEBAQEBEgEBAQg?= =?us-ascii?q?LCwgoL4I9AQQBAQEBAwMDAQEHgmEGHQEbDAUNAxIQBzACJAERAQUBDhQTCBKJY?= =?us-ascii?q?wEDFQ6YdINFP4wEggQFARyDCQWDWQoZJw1Wgn0BCgEBARwCBhKKfwSBbEEBgio?= =?us-ascii?q?RAUmCWYJfBYErAQEBm1IIAQGBPwmFOocfhECBf4UuiheSOhQfgRUPEIE1CCUWI?= =?us-ascii?q?FYYUIM6KhsEggskNYZ0gi4BAQE?= X-IPAS-Result: =?us-ascii?q?A0C2AQA1b+5YhrXYVdFcHQEFAQsBGQYMg0o/gQsHg1+KE5Q?= =?us-ascii?q?0hiSEKYgogg8OHoQegVqDfAc/GAEBAQEBAQEBAQEBEgEBAQgLCwgoL4I9AQQBA?= =?us-ascii?q?QEBAwMDAQEHgmEGHQEbDAUNAxIQBzACJAERAQUBDhQTCBKJYwEDFQ6YdINFP4w?= =?us-ascii?q?EggQFARyDCQWDWQoZJw1Wgn0BCgEBARwCBhKKfwSBbEEBgioRAUmCWYJfBYErA?= =?us-ascii?q?QEBm1IIAQGBPwmFOocfhECBf4UuiheSOhQfgRUPEIE1CCUWIFYYUIM6KhsEggs?= =?us-ascii?q?kNYZ0gi4BAQE?= X-IronPort-AV: E=Sophos;i="5.37,191,1488841200"; d="scan'208,217";a="268846234" Received: from mail-qt0-f181.google.com ([209.85.216.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Apr 2017 20:19:35 +0200 Received: by mail-qt0-f181.google.com with SMTP id v3so28925576qtd.3 for ; Wed, 12 Apr 2017 11:19:35 -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=A6PAcgY7ZnkRowGvT4IJfZuvTsG5+klX9J+PWdSLFyg=; b=U9FsARC2d96JN0ixQDq85JNP2sh7xotO7rlxhozxbzN78hHJdhiCmznB8EtPOJg6aG pBfwI2ntrIJfTEa0J9/V6KKMu751D4WdPu6Ey9el0aqgfScLHTQReqfeC4ZegtiYNmgo TtDD+ecXezq6QvLKKAguI64vZELaz0FrkPyHBGb3DoHIgejRESW8n57oHNSqtNivyP3k MocceoCielFoMsDLBZiHvlo7YD1HArC4gon2fRGcLeEUNkY3JgPuw89brkVuHfkpSFEY aEQBCki1S3w2yI4cPfDrxSZUzxpPWZzbxlUnwT5er088gmnPhBCmx1W9E19I/eIMpLS+ 0hhg== 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=A6PAcgY7ZnkRowGvT4IJfZuvTsG5+klX9J+PWdSLFyg=; b=c1j1K98Mcwxkho0lshvlPq4TlYPqNFS8HAMMchRyscTY5w0rUvjp3QA46fPuDGbAX6 IeFI6mQjuXYH0LaK8Ly9dOpMLhahL4RmTSffImUjN27xwIhq/jnzUGbfHay3S/a3S1ul alD8n+bTrNSNedb/vIpVZ98ThnXpTa4hccMpv2geJ3biPhRfsm1EJgOL6/NWCRKmg0ha L+sY0fiqexdMxdOvfPVn25sAA00Z9uihGFQGbDvI6OTQyJ7/njAk8lmgFxa6Vh/HQYQ0 JOYcSYz6KTMisHMH7+JB2/CPhGE3DrUUzXEWD17izdiey3MDRepYff52i6o4+bYMGXT4 /ffA== X-Gm-Message-State: AFeK/H0XGWH+lZzNzSoY9uQhQISfDmTuZSSzyjhH6aAtc/4L230D+5bDwbKHsc6ciMR1BFJ/Dxnpezls4wg9NQ== X-Received: by 10.200.37.199 with SMTP id f7mr68665090qtf.147.1492021174498; Wed, 12 Apr 2017 11:19:34 -0700 (PDT) MIME-Version: 1.0 Received: by 10.12.140.136 with HTTP; Wed, 12 Apr 2017 11:19:14 -0700 (PDT) From: Ashish Agarwal Date: Wed, 12 Apr 2017 14:19:14 -0400 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary=001a114060521a7a80054cfc4087 Subject: [Caml-list] Compose Conference Call for Participation [NYC, May 18-19] --001a114060521a7a80054cfc4087 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable =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 Call for Participation Compose Conference 2017 May 18-19 2017 New York, NY http://www.composeconference.org/2017 =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 novice= s, and from long-time hackers to students just getting started. It will feature a keynote by Emily Riehl on aspects of category theory and computation, and two days of great talks. * Invited Talks Emily Riehl: TBA * Local Information (venue): http://www.composeconference.org/2017/ * Accepted Talks and Tutorials Barry Burd - Teaching Haskell David Rhodes - Learning F#: Case study with branch and bound Edmund Cape - Multiplying by 1 - an important form of computation and how it reveals distinctions between kleislis Enzo Alda, et al. - Reactive Sheets: an intuitive approach to functional=E2=80=91reactive computing Hezekiah Carty and Chris Donaher - Distrest - REST access to distributed services Hongbo Zhang - BuckleScript: Making functional programming accessible to JavaScript developers Jennifer Paykin, Kenneth Foner, Antal Spector-Zabusky - `choose` Your Own Derivative Joachim Breitner - Lock-step simulation is child=E2=80=99s play Mart=C3=ADn Ceresa, Gustavo Grieco - QuickFuzz Testing for Fun and Profit Michael Chavinda - Android programming in Froid Nikhil Barthwal - Implementing an Event-Driven Microservices Architecture in F#: A case study of Jet.com Nikita Volkov - New Hasql - a simpler, safer and faster Postgres client Sebastien Mondet - Typed-Tagless Final Bioinformatics Stephen Compall - Working with Monads in OCaml Stuart Popejoy - Smart Contracts and Formal Verification with Z3 with Pact Tikhon Jelvis - The Probability Monad Yaron Minsky - Data Driven UIs, Incrementally * Full abstracts: http://www.composeconference.org/2017/program * Registration: http://composeconference.eventbrite.com * Follow @composeconf on twitter for news: https://twitter.com/composeconf * On freenode irc, chat with fellow attendees at #composeconference * Corporate sponsorships are welcome. Current sponsors list forthcoming. * 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. --001a114060521a7a80054cfc4087 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
=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

Call for Participation

Compose Conference 2017

May 18-19 2017
New York, NY

http://www.composeconference.org/2017

=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=C2=A0spec= ifically on Haskell, OCaml, F#, SML, and related technologies.

Typed functional programming has been taken up widely, by industry and=C2= =A0hobbyists alike. For many of us it has renewed our belief that code=C2= =A0should be beautiful, and that programming can be as enjoyable as it is= =C2=A0practical. Compose is about bringing together functional programmers= =C2=A0of all levels of skill and experience =E2=80=94 from technical leads = to=C2=A0novices, and from long-time hackers to students just getting starte= d.

It will feature a keynote by Emily Riehl on aspects of category theory=C2= =A0and computation, and two days of great talks.

* Invited Talks
Emily Riehl: TBA

* Local Information (venue): http://www.composeconference.org/2017/

* Accepted Talks and Tutorials

Barry Burd - Teaching Haskell
David Rhodes - Learning F#: Case study with branch and bound
Edmund Cape - Multiplying by 1 - an important form of computation and
how it reveals distinctions between kleislis
Enzo Alda, et al. - Reactive Sheets: an intuitive approach to
functional=E2=80=91reactive computing
Hezekiah Carty and Chris Donaher - Distrest - REST access to
distributed services
Hongbo Zhang - BuckleScript: Making functional programming accessible
to JavaScript developers
Jennifer Paykin, Kenneth Foner, Antal Spector-Zabusky - `choose` Your
Own Derivative
Joachim Breitner - Lock-step simulation is child=E2=80=99s play
Mart=C3=ADn Ceresa, Gustavo Grieco - QuickFuzz Testing for Fun and Profit Michael Chavinda - Android programming in Froid
Nikhil Barthwal - Implementing an Event-Driven Microservices
Architecture in F#: A case study of Jet.com
Nikita Volkov - New Hasql - a simpler, safer and faster Postgres client
Sebastien Mondet - Typed-Tagless Final Bioinformatics
Stephen Compall - Working with Monads in OCaml
Stuart Popejoy - Smart Contracts and Formal Verification with Z3 with Pact<= br> Tikhon Jelvis - The Probability Monad
Yaron Minsky - Data Driven UIs, Incrementally

* Full abstracts: http://www.composeconference.org= /2017/program

* Registration: http://composeconference.eventbrite.com<= /a>

* Follow @composeconf on twitter for news: https://twitter.com/c= omposeconf

* On freenode irc, chat with fellow attendees at #composeconference

* Corporate sponsorships are welcome. Current sponsors list forthcoming.

* 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.

--001a114060521a7a80054cfc4087--