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 sympa.inria.fr (Postfix) with ESMTPS id 3C0D17FD2F for ; Mon, 27 Feb 2017 22:33:13 +0100 (CET) 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-it0-f46.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.214.46; 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.214.46 as permitted sender) identity=mailfrom; client-ip=209.85.214.46; 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-it0-f46.google.com) identity=helo; client-ip=209.85.214.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-it0-f46.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AQT7uiBDqs8xbS4WtIHAhUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP76psbcNUDSrc9gkEXOFd2CrakV1qyM7eu5BDVIoc7Y9itdINoUD15NoP?= =?us-ascii?q?5VtjJjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScb6xv663OGq+pDVfx4AxH/kOeszf12KqlD2ncAThcNGK70tgk/Cq35MPu?= =?us-ascii?q?BX3n9AJFSJnh+66N3mr7B59CEFkukh9tVAGYz1dr4nRLgQWD0pOnoq7cmy5Eae?= =?us-ascii?q?ZQSK73oYFG4Rl0wbUED+8BjmU8Kp4WPBve1n1XzfZJWuQA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CEEAB/mrRYhi7WVdFWCB4GDBcBAQQBA?= =?us-ascii?q?QoBAYNHAT6BCQeDVKN9ZoQkgmuFLIINKoV4gh8HQRYBAQEBAQEBAQEBARIBAQE?= =?us-ascii?q?ICwsKHS9CDoFjBAEdAQSCOgYdARsMAw8DEhAKLQIkAREBBQEiE4lbAQMVDqBbg?= =?us-ascii?q?0M/jAOCBAUBHIMJBYNkChknDVWDEwEKAQEBARsCBhKKIIJFQnghgRoBMh2CWYJ?= =?us-ascii?q?fBYErAQEBh2iHOotECAEBgToJhTGGSE2EHoF7GIUIg1OGKpFqFB6BFSYJgSkhF?= =?us-ascii?q?B8tPU6DWxwEgg4fNYMOhFBtgU8BAQE?= X-IPAS-Result: =?us-ascii?q?A0CEEAB/mrRYhi7WVdFWCB4GDBcBAQQBAQoBAYNHAT6BCQe?= =?us-ascii?q?DVKN9ZoQkgmuFLIINKoV4gh8HQRYBAQEBAQEBAQEBARIBAQEICwsKHS9CDoFjB?= =?us-ascii?q?AEdAQSCOgYdARsMAw8DEhAKLQIkAREBBQEiE4lbAQMVDqBbg0M/jAOCBAUBHIM?= =?us-ascii?q?JBYNkChknDVWDEwEKAQEBARsCBhKKIIJFQnghgRoBMh2CWYJfBYErAQEBh2iHO?= =?us-ascii?q?otECAEBgToJhTGGSE2EHoF7GIUIg1OGKpFqFB6BFSYJgSkhFB8tPU6DWxwEgg4?= =?us-ascii?q?fNYMOhFBtgU8BAQE?= X-IronPort-AV: E=Sophos;i="5.35,215,1484002800"; d="scan'208,217";a="262318509" Received: from mail-it0-f46.google.com ([209.85.214.46]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Feb 2017 22:33:12 +0100 Received: by mail-it0-f46.google.com with SMTP id 203so67938765ith.0 for ; Mon, 27 Feb 2017 13:33:12 -0800 (PST) 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=ztvI6CXW8cZ9rFoIb3NW3uSzPUxcHhXSV7LEBnmq6U8=; b=Zzi7hra3lnzd/04KkKoY6KuxhUpc9bFMDKmKRNGvfCnnHnflH9+R1+xcGnfJN3Mi/S tYbQMS7QchrJfKQcXanFT4jq+dgbjy2SH7PfHzKfdwM1wFJrX2K1/7Wi8nIFkWl5tPFC 5F30oGD50XbCLqP2g0pBf59JYKxDfFSnmw53DdI3kohT4FaQsAezxtZGKm4OT5fgV0iU f70xnBFUaWKbiV4gtHphS/BHSs+50nsqxuldA6MVohLy3cL05B5Sw0QR+qYLUJSxYb8P k3927vApoq16EKrNn7/FJTTkVrtlqfNBTo7hqq+KX9ySXEzjJN/1vuh+xwFefUuiCBka htwQ== 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=ztvI6CXW8cZ9rFoIb3NW3uSzPUxcHhXSV7LEBnmq6U8=; b=IWekQPAdwaMi1+KkOH1usDbQKESy6iO6xBfkdbhhIrWfQyo5f6HobiEquv0eLHxz2x kTV8he09tEMoaomTmnss+Bv1luCLCkRqXWyk+zJzDTFA89bynoUO9cFB2BvkXUVvEyOL ioblLDxJb1n8UoKBWVvrYju7SmxNGtxxJuGEqQ7OJ6mIzlMZFzyUDh0dZCmWo8P5JPnq T2MlYiDIeiZH/oTuOtuUkwZ42bbi/QjEH1mQrekL6BC3CXq9bk3w/tM558UCHqZZiuIX NAe9tMTBfVwcqhhmJXbxpFc0MglEJx/YnA6Pdjze1cS9I1QqcJtM72YcE9dn2fqaoJD9 R/zg== X-Gm-Message-State: AMke39kGOVJgWx/jygxuG4FET2U0+PNad2T1YJHkwocYJg+RYNB1jcqLOaVMwA/FkHQa1hmkXOzSJO5SKg1Scg== X-Received: by 10.36.204.136 with SMTP id x130mr16706912itf.93.1488231190524; Mon, 27 Feb 2017 13:33:10 -0800 (PST) MIME-Version: 1.0 Received: by 10.36.238.136 with HTTP; Mon, 27 Feb 2017 13:32:50 -0800 (PST) From: Ashish Agarwal Date: Mon, 27 Feb 2017 13:32:50 -0800 Message-ID: To: OCaml List Content-Type: multipart/alternative; boundary=94eb2c05ff86747d92054989d3d6 Subject: [Caml-list] Call For Presentations: Compose 2017, New York, May 18-19 --94eb2c05ff86747d92054989d3d6 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable ---------- Forwarded message ---------- From: Gershom Bazerman Compose is a conference for typed functional programmers, focused specifically on Haskell, OCaml, F#, SML, and related technologies. It will be held in New York on Thursday and Friday, May 18-19, 2017. Registration will be open shortly. http://www.composeconference.org/2017 To get a sense of Compose, you can check out the great talks from past conferences: https://www.youtube.com/channel/UC0pEknZxL7Q1j0Ok8qImWdQ Below is our call for presentations. We recognize the deadline is tight, so feel free to submit proposals and ideas on the less-polished side. http://www.composeconference.org/2017/cfp/ *** The audience for Compose is Haskell, OCaml, F#, or SML developers 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 proposals 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 li= brary, be it for parsing, testing, data access and analysis, or anything else. Production Systems =E2=80=94 Experience reports on deploying functional tec= hniques in real systems; insights revealed, mistakes made, lessons learned. Theory made Practical =E2=80=94 Just because it=E2=80=99s locked away in pa= pers 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. We also welcome proposals 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 March 23, 2017. We will send out notice of acceptance by March 30th. We prefer that submissions be via the EasyChair website (https://easychair.org/conferences/?conf=3Dcompose2017). 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. Additional information may be included on both your expertise and the interesting elements of your topic, going on what might be included in a 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 proposal(s) before submitting, or to further nail down what you intend to speak on, please feel free to contact us at info@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! Best, Gershom --94eb2c05ff86747d92054989d3d6 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
---------- Forwarded message ----------
From: Gershom B= azerman

Compose is a conference for typed functional programmers, fo= cused specifically on Haskell, OCaml, F#, SML, and related technologies. It= will be held in New York on Thursday and Friday, May 18-19, 2017. Registra= tion will be open shortly.

http://www.composeconference.org/2017

To get a sense of= Compose, you can check out the great talks from past conferences: https://www.y= outube.com/channel/UC0pEknZxL7Q1j0Ok8qImWdQ

Below is our call fo= r presentations. We recognize the deadline is tight, so feel free to submit= proposals and ideas on the less-polished side.

http://www.composeconference.org/2017/cf= p/

***

The audience for Compose is Haskell, OCaml, F#, or= SML developers who are looking to increase their skills or learn new techn= ologies and libraries. Presentations should be aimed at teaching or introdu= cing 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 proposals on anything that you suspect our audience= may find interesting are welcome. The following are some of the types of t= alks we would welcome:

Library/Tool Talks =E2=80=94 Exploring the us= es of a powerful toolkit or library, be it for parsing, testing, data acces= s and analysis, or anything else.

Production Systems =E2=80=94 Exper= ience 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 mat= ter to us today. Such talks can include simply introducing the principles o= f a field of research so as to help the audience read up on it in the futur= e; from abstract machines to program derivation to branch-and-bound algorit= hms, the sky=E2=80=99s the limit.

We also welcome proposals for more= formal tutorials. Tutorials should be aimed at a smaller audience of begin= ner-to-novice understanding, and ideally include hands-on exercises.
The due date for submissions is March 23, 2017. We will send out notice of= acceptance by March 30th. We prefer that submissions be via the EasyChair = website (= https://easychair.org/conferences/?conf=3Dcompose2017). 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 tak= e.

Additional information may be included on both your expertise and= the interesting elements of your topic, going on what might be included in= a public abstract. Furthermore, if your abstract doesn't feel "fi= nal"=E2=80=94don't worry! We'll work with you to polish it up.= If you want to discuss your proposal(s) before submitting, or to further n= ail down what you intend to speak on, please feel free to contact us at info@composeconference.org. = We're happy to work with you, even if you are a new or inexperienced sp= eaker, to help your talk be great.

***

Diversity

We wo= uld like to put an emphasis on soliciting a diverse set of speakers - anyth= ing you can do to distribute information about this CFP and encourage submi= ssions from under-represented groups would be greatly appreciated. We welco= me your contributions and encourage you to apply!

B= est,
Gershom

--94eb2c05ff86747d92054989d3d6--