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 C57F25D6 for ; Wed, 3 Apr 2019 21:14:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,306,1549926000"; d="scan'208,217";a="377086568" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Apr 2019 23:14:03 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7CFA282673; Wed, 3 Apr 2019 23:14:03 +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 8A6FB822B9 for ; Wed, 3 Apr 2019 23:13:59 +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-qk1-f175.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A94jlbBdfg+91r+l1N6c02j9klGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcW7YB7h7PlgxGXEQZ/co6odzbaP6ua4AidZus7J8ChbNsAVD1ld0Y?= =?us-ascii?q?RetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN7s9xgHVrnZGdO?= =?us-ascii?q?ha2G1lKU6OlBr4+su84YRv/itNt/497cJMTbn2c6ElRrFEEToqNHw46tf2vhfZ?= =?us-ascii?q?VwuP4XUcUmQSkhVWBgXO8Q/3UJTsvCbkr+RxwCaVM9H4QrAyQjSi8rxkSAT0hy?= =?us-ascii?q?cdNj4263/Yh8pth69Guh2hphh/w4nJYIGJMfd1Y63Qcc8GSWdHQ81eUDFBAoWh?= =?us-ascii?q?YIsOFOoOIeJYr47mp1QQsBS1GA2gCezzxjNNgHL9wK803Pk7EQze0wMgEdABvn?= =?us-ascii?q?Taotv2KakdTf24wbLSwjnfdf5bwyvx5JTKfx0nvPqCXahwcc3UyUQ3Cw7FlVWQ?= =?us-ascii?q?qY3+PzOVy+8Ar2eb4PB6VeOhkWEnrxx6rz+1yccjkIbJnIwUxUrA9SlkxIs4J9?= =?us-ascii?q?21RVV0Yd6hCpRQtiWaO5FqTcMlRmFloSA3waAIt568eSgF0pUnxxjHZvOZaYeI?= =?us-ascii?q?+RLiW/qRIThihXJlYqizhxGo8Uiv0uHzSs600FNSripCidnDqGwC1xvV6siJVP?= =?us-ascii?q?R95Fmu2TCT2A/N8O1EJlo0laXDJ58hxb4wi4YTsVnYESDogkn5kKiWdkAi9+O1?= =?us-ascii?q?6Orneq3rqoGAO4JwkA3zMaQjltahDegmLAQCRXWX9Oa82bDl4Eb3Wq9Fjucsna?= =?us-ascii?q?ncqJ3aJdoUpqq+AwJN14Ys8Re/DzO/3NQBnnkLMUtJeByag4XrO1zCOv/4DfC4?= =?us-ascii?q?g1SjlDdk2erKMaHmApXINnTDkbHhcqhh60NE1gY/0dRS64hXB7wBOv7/RFH9uM?= =?us-ascii?q?LCAhMkMQG5w/7rCNBn2YMfXWKPDLWZMKTXsVKQ/O0vLPODZJUbuTnnL/gp+vrj?= =?us-ascii?q?gH05lFIGcqmp2IEYaHG8Hvh8P0qZZn/sjs8bEWgWpgo+UPDqiFqaXDFPfXmyWq?= =?us-ascii?q?Y86ig/CIKnFofDWpuggKeB3Se+Bp1ZfHpKClGKEXfydoWLQe0AaCyIIpwprjtR?= =?us-ascii?q?SL6tSpQq0Ra1uQO/0bdsL/LV9ysErsCwh/Zv4OiGvAoy9Cd0R+2S2nuSRmU8ym?= =?us-ascii?q?oHTiUp1aQm8BMg4liG2Kl8xfdfEIoAtLtyTg4mOMuEnKRBANfoV1edJo7YGmbj?= =?us-ascii?q?ec2vBHQKdvx0xtYPZ0hnHND710LM2iOrB/kekLnZXcVooJKZ5GD4IoNG81iDzL?= =?us-ascii?q?Mo1gB0Tc5GNGngjal6pVCKWtz51n6BnqPvTpwymS7A8GDZkziLtUBcFRdzCODL?= =?us-ascii?q?BC9CIETRqtv96wXJSLr8Ubk=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BIEQDpIKVchq/eVdFdCIN+USgZUDMnh?= =?us-ascii?q?A5iO4JejzyLMChwDYVoigoQJYRHAoVEGgcBBDQSAQEDAQEJAQMBAQETAQEBCAs?= =?us-ascii?q?LCBsOIwsBgjoMGoJiCQMDHQYdARsMAw8DDAYQNwICIgERAQUBHAwBDFuCRwGBX?= =?us-ascii?q?AEDFQ+hRjyLHYESBQEXgnoFgTIBgwYKGScNX4E4AgYSgR2LM4IWhGGBQYEHGQI?= =?us-ascii?q?CGIEhAVKCXRSCQwOBKwEBAYkrKJphAQYCAYFrCIUdbodyhAgabYEYKoVog1qIV?= =?us-ascii?q?ZFljWcPIYFDgXczGiMvITFtCoFECYIbgQkBCIJChRSFWyYwjXKCTAEB?= X-IPAS-Result: =?us-ascii?q?A0BIEQDpIKVchq/eVdFdCIN+USgZUDMnhA5iO4JejzyLMCh?= =?us-ascii?q?wDYVoigoQJYRHAoVEGgcBBDQSAQEDAQEJAQMBAQETAQEBCAsLCBsOIwsBgjoMG?= =?us-ascii?q?oJiCQMDHQYdARsMAw8DDAYQNwICIgERAQUBHAwBDFuCRwGBXAEDFQ+hRjyLHYE?= =?us-ascii?q?SBQEXgnoFgTIBgwYKGScNX4E4AgYSgR2LM4IWhGGBQYEHGQICGIEhAVKCXRSCQ?= =?us-ascii?q?wOBKwEBAYkrKJphAQYCAYFrCIUdbodyhAgabYEYKoVog1qIVZFljWcPIYFDgXc?= =?us-ascii?q?zGiMvITFtCoFECYIbgQkBCIJChRSFWyYwjXKCTAEB?= X-IronPort-AV: E=Sophos;i="5.60,306,1549926000"; d="scan'208,217";a="377086564" X-MGA-submission: =?us-ascii?q?MDHL+s8kJDhy0rBOilY1SKNnYoPR2RdOkrWrsZ?= =?us-ascii?q?M0DUKFcgl/qGIcz71JmV73bCmwOgEhbMuHAgl0kguSi52qHlpnPMnR+Z?= =?us-ascii?q?FyhovP50Dy0x5mffMMN5LWFbyfahjnbsTd0sNWzWOClfyTDYcGtMxbU8?= =?us-ascii?q?biOSf0Un3iYcljhJy0/E6Q/w=3D=3D?= Received: from mail-qk1-f175.google.com ([209.85.222.175]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Apr 2019 23:13:58 +0200 Received: by mail-qk1-f175.google.com with SMTP id o129so328740qke.8 for ; Wed, 03 Apr 2019 14:13:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=ba9Q5EmIvc2wYHWrME1xYk8d5hLcEQzceoUdmzIjXaA=; b=DMAvYoskKQQA0Ix2s/XPBoNUfBX2sBUmCuC+qCS/cTMiAI3l5Ejm+OqnWAoeDgSGh9 dBfUtOC4SUizDSFkgK5SRI3acrg7gDR0L1ZYMvpbpA6vnLMwM/lEDOf2yaQTLG19wJh8 dA/Nzo0UlMJ5LJSDk8UjEQW1mh0A3Yat5nKS/TRdagHCfeDuAAS/MBePY9hZnIFSGrwL JcaVXbyInfGtrp7eE6tzA4134UeuAtvB8dm/2IfVPwzbCa9IdhWTP0VLNo1nT0XkWlnQ pCWg+d1eIHQ9Dve4FSJUV5wNYELyKYcU8tDySGCim0xUsulcMt62aiholPMWwaSxlLoE 8EOQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=ba9Q5EmIvc2wYHWrME1xYk8d5hLcEQzceoUdmzIjXaA=; b=D6qUjmIhAbp1dhqOjhfRZ4NUOY5hWZIfWuclo8czankoJdBJjFNXrBmTAW3jOkvCgV fb+Oz17LrkEMxXAvsgu2qMLkMN85IA0yRO0r9MeWwfXxsKW9D/Zk4eNTKPHGve+rRbhX G6nGXdnO+qrHpJxSjqh3A/g7r+LGNcovp0EoRgsVd2/W0Rlkek+We/WsZQU/xkz1cCI1 75tz/X1s3UBhCeH4CH2el21Qj+2QougfKeDWF6/1LZHTCDd8qF592NJyPOJVjm6wRV9m cTvXn4nxb5s6b1tVk9FvvOaHEjbf3pFPhCLrKHnDo0VjDX6Tht6XT6cGyE/icwCGA9zh Q+Mg== X-Gm-Message-State: APjAAAUVJLo+R02SqLlR8K0ki1yzgDHqS7/utPGXCRBTYIxp7RHN6TIO 4c/23v2jrcdH3F0MhCNqwaAaXdtXprLSlI/C/Lp0SZBC X-Google-Smtp-Source: APXvYqwEpOWg7Gv4GlBdlCpzCb2ij89EksKso1O8g3VscxK8Pdzkt+oe9Gi0Ni5QeXprjkYbOtqmLe/uUKHa0YAMjIE= X-Received: by 2002:ae9:c210:: with SMTP id j16mr1988013qkg.218.1554326036689; Wed, 03 Apr 2019 14:13:56 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Ashish Agarwal Date: Wed, 3 Apr 2019 17:13:45 -0400 Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="0000000000004839060585a6bbea" Subject: [Caml-list] Compose Conference: Second CFP and Keynote Speakers Reply-To: Ashish Agarwal X-Loop: caml-list@inria.fr X-Sequence: 17459 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: --0000000000004839060585a6bbea Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The April 23rd submission deadline for Compose NYC is rapidly approaching, so get your submissions in soon. We are also excited to announce that we now have two confirmed keynote speakers: David Spivak - Compositional Graphical Logic Donya Quick - Making Algorithmic Music ************************* Compose Conference NYC 2019 Call for Presentations June 24-25, 2019 New York City http://www.composeconference.org/2019/cfp The audience for Compose is people using Haskell, PureScript, OCaml, F#, SML, and other strongly typed functional programming languages who are looking to increase their skills or learn new technologies and libraries. Presentations should be aimed at teaching or introducing new ideas or tools. We are also interested in presentations aiming at taking complex concepts, such as program derivation, and putting them into productive use. However presentations on anything that you suspect our audience may find interesting are welcome. The following are some of the types of talks we would welcome: *Library/Tool Talks* =E2=80=94 Exploring the uses of a powerful toolkit or = library, be it for parsing, testing, data access and analysis, or anything else. *Production Systems* =E2=80=94 Experience reports on deploying functional techniques in real systems; insights revealed, mistakes made, lessons learned. *Theory made Practical* =E2=80=94 Just because it=E2=80=99s locked away in = papers doesn=E2=80=99t mean it=E2=80=99s hard! Accessible lectures on classic results and why they= matter to us today. Such talks can include simply introducing the principles of a field of research so as to help the audience read up on it in the future; from abstract machines to program derivation to branch-and-bound algorithms, the sky=E2=80=99s the limit. Check out the Compose YouTube channel to see videos of talks we've had previously and get an idea of the kinds of topics we usually feature. We also welcome presentations for more formal tutorials. Tutorials should be aimed at a smaller audience of beginner-to-novice understanding, and ideally include hands-on exercises. The due date for submissions is *April 23, 2019*. We will send out notice of acceptance by *April 30th*. We prefer that submissions be via the EasyChair website (https://easychair.org/conferences/?conf=3Dcompose2019). Please suggest a title, and describe the topic you intend to speak on. Talks can be either 30 or 45 minutes, please indicate how much time you would prefer to take. You may submit multiple talks if you have several ideas and are unsure which would be the most likely to be accepted. Accepted talks will be asked to submit slides for review prior to the conference. Feel free to include any additional information on both your expertise and interesting elements of your topic that would be appropriate for inclusion in the public abstract. Furthermore, if your abstract doesn't feel "final"=E2=80=94don't worry! We'll work with you to polish it up. If you wa= nt to discuss your presentation(s) before submitting, or to further nail down what you intend to speak on, please feel free to contact us at nyc@composeconference.org. We're happy to work with you, even if you are a new or inexperienced speaker, to help your talk be great. *Diversity* We would like to put an emphasis on soliciting a diverse set of speakers - anything you can do to distribute information about this CFP and encourage submissions from under-represented groups would be greatly appreciated. We welcome your contributions and encourage you to apply! --0000000000004839060585a6bbea Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The April 23rd submission deadline for= Compose NYC is rapidly approaching, so get your submissions in soon. We ar= e also excited to announce that we now have two confirmed keynote speakers:=

David Spivak - Compositio= nal Graphical Logic
Donya Quick - Making Algorithmic = Music


****************= *********
Compose Conference NYC 2019
Call for Presentations
June = 24-25, 2019
New York City
http://www.composeconference.org/2019/cfp<= /div>

The audience for Compose i= s people using Haskell, PureScript, OCaml, F#, SML, and other strongly type= d functional programming languages who are looking to increase their skills= or learn new technologies and libraries. Presentations should be aimed at = teaching or introducing new ideas or tools. We are also interested in prese= ntations aiming at taking complex concepts, such as program derivation, and= putting them into productive use. However presentations on anything that y= ou suspect our audience may find interesting are welcome. The following are= some of the types of talks we would welcome:

Library/Tool Talks<= /b> =E2=80=94 Exploring the uses of a powerful toolkit or library, be it fo= r parsing, testing, data access and analysis, or anything else.

P= roduction Systems =E2=80=94 Experience reports on deploying functional = techniques in real systems; insights revealed, mistakes made, lessons learn= ed.

Theory made Practical =E2=80=94 Just because it=E2=80=99s= locked away in papers doesn=E2=80=99t mean it=E2=80=99s hard! Accessible l= ectures on classic results and why they matter to us today. Such talks can = include simply introducing the principles of a field of research so as to h= elp the audience read up on it in the future; from abstract machines to pro= gram derivation to branch-and-bound algorithms, the sky=E2=80=99s the limit= .

Check out the Compose YouTube channe= l to see videos of talks we've had previously and get an idea of th= e kinds of topics we usually feature.

We also welcome presentations = for more formal tutorials. Tutorials should be aimed at a smaller audience = of beginner-to-novice understanding, and ideally include hands-on exercises= .

The due date for submissions is April 23, 2019. We will sen= d out notice of acceptance by April 30th. We prefer that submissions= be via the EasyChair website (https://easychair.org/conferences/?= conf=3Dcompose2019). Please suggest a title, and describe the topic you= intend to speak on. Talks can be either 30 or 45 minutes, please indicate = how much time you would prefer to take. You may submit multiple talks if yo= u have several ideas and are unsure which would be the most likely to be ac= cepted. Accepted talks will be asked to submit slides for review prior to t= he conference.

Feel free to include any additional information on bo= th your expertise and interesting elements of your topic that would be appr= opriate for inclusion in the public abstract. Furthermore, if your abstract= doesn't feel "final"=E2=80=94don't worry! We'll work= with you to polish it up. If you want to discuss your presentation(s) befo= re submitting, or to further nail down what you intend to speak on, please = feel free to contact us at nyc@composeconference.org. We're happy to work with = you, even if you are a new or inexperienced speaker, to help your talk be g= reat.

Diversity
We would like to put an emphasis on solici= ting a diverse set of speakers - anything you can do to distribute informat= ion about this CFP and encourage submissions from under-represented groups = would be greatly appreciated. We welcome your contributions and encourage y= ou to apply!

--0000000000004839060585a6bbea--