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 324847EFC0 for ; Mon, 4 Jan 2016 20:31:04 +0100 (CET) IronPort-PHdr: 9a23:edjFeBzFx9YlMKPXCy+O+j09IxM/srCxBDY+r6Qd0eweIJqq85mqBkHD//Il1AaPBtWFraocw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwudrqzQtaapv/0/t7x0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY+YtaRu+CVIuv8n69UIEeCjJ/x5HvRkC2ENOmUxrOnqrgWLGQCG439ZVmQNjjJJBRLE5Vf0RMGinDH9s79UwymbJs2+ZL89Qyur6+8/QRDhkjgOM2dorzz/hcl5jaYdqxWk8U8si7XIaZ2YYaItNpjWeskXEC8YBp5c 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-wm0-f44.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=74.125.82.44; 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 74.125.82.44 as permitted sender) identity=mailfrom; client-ip=74.125.82.44; 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-wm0-f44.google.com) identity=helo; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-wm0-f44.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CuBQDUx4pWlCxSfUpeg1g0bQaIU6InBAOBeYUPihWCHSKFbYEYBzwQAQEBAQEBAQEQAQEBAQcLCwkfMIItgiALBh0BGwwFDQMSEDcCJAERAQUBIhMaCId3AQMSDqA2ggeBMT4xi0iBaoJ5iGUKGScNVoIeAQEIAQEBARkBBQ6PbREBTIJvgUkFjjCITweFQIYcgXWBXIRGiFmMbhEkgRcRKIIvIoICIDSDToFCAQEB X-IPAS-Result: A0CuBQDUx4pWlCxSfUpeg1g0bQaIU6InBAOBeYUPihWCHSKFbYEYBzwQAQEBAQEBAQEQAQEBAQcLCwkfMIItgiALBh0BGwwFDQMSEDcCJAERAQUBIhMaCId3AQMSDqA2ggeBMT4xi0iBaoJ5iGUKGScNVoIeAQEIAQEBARkBBQ6PbREBTIJvgUkFjjCITweFQIYcgXWBXIRGiFmMbhEkgRcRKIIvIoICIDSDToFCAQEB X-IronPort-AV: E=Sophos;i="5.20,521,1444687200"; d="scan'208";a="195553622" Received: from mail-wm0-f44.google.com ([74.125.82.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 04 Jan 2016 20:31:03 +0100 Received: by mail-wm0-f44.google.com with SMTP id b14so876590wmb.1 for ; Mon, 04 Jan 2016 11:31:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=B5Sgqv7cSpXqMm3onW4ywnIilaWKjekrhzmepMiUCDQ=; b=bR3yhboZnWHIqetid0C5XlFVVBgAqUez4GOkLwldC3+JTqqPswXjuqrnHQKsdwZOJD LI+57S9+/GfJx9HS0uwHpbkNnyinxVtPorqkRPhYKVlxE4LqUa8OAdPg548sf3YZqaLV /8jTbHEnHKREOKaI+FF8DLeIVYAqW5yCyaYG5Y70VOYa6HtpGBbZlK9CLpnbWEySJb8/ +77ze2+8VL45kPZvjBb4Epe85bfTXIilXCI6XUabogqtFsDENiJ/qAv0d/vo2si5JDVF 7m0yi+/dsHpi3Wl6ZlaQkOs/0qQiK9qVb1oMrq+0Dgx9vNTK5XZNaGd9sfmRJ27ZQ/aW A2Vg== X-Received: by 10.194.82.229 with SMTP id l5mr109242053wjy.140.1451935863313; Mon, 04 Jan 2016 11:31:03 -0800 (PST) MIME-Version: 1.0 Received: by 10.27.12.2 with HTTP; Mon, 4 Jan 2016 11:30:43 -0800 (PST) From: Ashish Agarwal Date: Mon, 4 Jan 2016 14:30:43 -0500 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary=047d7bb03f405e9a440528872907 Subject: [Caml-list] Compose Conference Call for Participation [NYC, Feb 4-5] --047d7bb03f405e9a440528872907 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 2016 February 4-5, 2016 New York, NY http://www.composeconference.org/ =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 long-time hackers to students just getting started. It will feature a keynote by Eugenia Cheng on her work popularizing mathematics, two days of great talks, and plans are underway for a weekend hackathon/unconference. * Invited Talks: Eugenia Cheng: How to Bake 'How to Bake Pi': reflections on making abstract mathematics palatable * Local Information (venue): http://www.composeconference.org/2016/ * Accepted Talks and Tutorials Aditya Siram: FLTKHS - Easy Native GUIs in Haskell, Today! Austin Seipp: Cryptography and Verification with Cryptol Kenneth Foner: 'There and Back Again' and What Happened After Krzysztof Cieslak: Ionide and state of F# open source environment Leonid Rozenberg: The Intersection of Machine Learning, Types and Testing Luite Stegeman: Fun with GHCJSi Markus Mottl: AD-OCaml - Parallel Algorithmic Differentiation for OCaml Mindy Preston: Composing Network Operating Systems Niki Vazou: Liquid Types for Haskell Paulmichael Blasucci: (Nearly) Everything You Ever Wanted to Know About F# Active Patterns but were Afraid to Ask Rachel Reese: Chaos Testing at Jet Riccardo Terrell: Functional Reactive Programming for Natural User Interface Stephen Compall: Add a type parameter! One 'simple' design change, a panoply of outcomes Stephanie Weirich: Dynamic Typing in GHC Tikhon Jelvis: Analyzing Programs with Z3 Zvonimir Pavlinovic, Tim King and Thomas Wies: Improving Type Error Localization for Languages with Type Inference * Full abstracts: http://www.composeconference.org/2016/speakers/ * Registration: http://composeconference.eventbrite.com * Follow @composeconf on twitter for news: https://twitter.com/composeconf * On freenode irc, chat will 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. --047d7bb03f405e9a440528872907 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 2016

February 4-5, 2016
New York, NY

http://www.composeconference.org/

=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 long-time hackers to students just getting started.

It will feature a keynote by Eugenia Cheng on her work popularizing
mathematics, two days of great talks, and plans are underway for a
weekend hackathon/unconference.

* Invited Talks:
Eugenia Cheng: How to Bake 'How to Bake Pi': reflections on making<= br> abstract mathematics palatable

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

* Accepted Talks and Tutorials

Aditya Siram: FLTKHS - Easy Native GUIs in Haskell, Today!
Austin Seipp: Cryptography and Verification with Cryptol
Kenneth Foner: 'There and Back Again' and What Happened After
Krzysztof Cieslak: Ionide and state of F# open source environment
Leonid Rozenberg: The Intersection of Machine Learning, Types and Testing Luite Stegeman: Fun with GHCJSi
Markus Mottl: AD-OCaml - Parallel Algorithmic Differentiation for OCaml
Mindy Preston: Composing Network Operating Systems
Niki Vazou: Liquid Types for Haskell
Paulmichael Blasucci: (Nearly) Everything You Ever Wanted to Know
About F# Active Patterns but were Afraid to Ask
Rachel Reese: Chaos Testing at Jet
Riccardo Terrell: Functional Reactive Programming for Natural User Interfac= e
Stephen Compall: Add a type parameter! One 'simple' design change, = a
panoply of outcomes
Stephanie Weirich: Dynamic Typing in GHC
Tikhon Jelvis: Analyzing Programs with Z3
Zvonimir Pavlinovic, Tim King and Thomas Wies: Improving Type Error
Localization for Languages with Type Inference

* Full abstracts: http://www.composeconference.org/20= 16/speakers/

* Registration: http://composeconference.eventbrite.com
* Follow @composeconf on twitter for news: https://twitter.com/compos= econf

* On freenode irc, chat will 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.

--047d7bb03f405e9a440528872907--