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 F0C237EEFC for ; Wed, 18 Nov 2015 15:58:40 +0100 (CET) IronPort-PHdr: 9a23:OfGHjRDeBYzXS//sKj80UyQJP3N1i/DPJgcQr6AfoPdwSP78o8bcNUDSrc9gkEXOFd2CrakU1qyI6uu+ByQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTqkb7rsMONKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ6jiR6WZgKK4jM4U34K2k5DCg3BqRX7RYvZsy3gt+M71jPMbuPsSrVhcC+i7rxrADbngT0YPjpxpGjYg9ZvhaYC8U38jxN6yo/QJoqSMawtLevmYdoGSD8ZDY5qXCtbD9b5NtNXAg== 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-f50.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.50; 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.50 as permitted sender) identity=mailfrom; client-ip=74.125.82.50; 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-f50.google.com) identity=helo; client-ip=74.125.82.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-wm0-f50.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BZAgCYkUxWlTJSfUpWCINaNG8GhBATqH2HBIovgWUXAQmFboFEBzoSAQEBAQEBAQEQAQEBAQcLCwkfMEESAYFZgiALBh0BGwwDDwMSEDcCJAERAQUBIhMIGod2AQMSDZ5lggiBMT4xi0iBaoJ5higKGScNVoQGCwEBARkBBQ6KPoN3gUQBUoIzDC4TgTEFjhKEVoNbB4UhhVJGgXKBWxaEKoMljxOCJRIkgRcoAYI+I4F7IDSBO4IIgUkBAQE X-IPAS-Result: A0BZAgCYkUxWlTJSfUpWCINaNG8GhBATqH2HBIovgWUXAQmFboFEBzoSAQEBAQEBAQEQAQEBAQcLCwkfMEESAYFZgiALBh0BGwwDDwMSEDcCJAERAQUBIhMIGod2AQMSDZ5lggiBMT4xi0iBaoJ5higKGScNVoQGCwEBARkBBQ6KPoN3gUQBUoIzDC4TgTEFjhKEVoNbB4UhhVJGgXKBWxaEKoMljxOCJRIkgRcoAYI+I4F7IDSBO4IIgUkBAQE X-IronPort-AV: E=Sophos;i="5.20,313,1444687200"; d="scan'208";a="188082053" Received: from mail-wm0-f50.google.com ([74.125.82.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Nov 2015 15:58:40 +0100 Received: by wmec201 with SMTP id c201so76902624wme.1 for ; Wed, 18 Nov 2015 06:58:39 -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=alIIeDrDlNkvBcBWv6QlV80Ra6p21gT78E/2Ea89kYs=; b=LhJ3sR6GReybzPSWjFTgqe5nAsjDD6hEAFnJdfK4AAKUzPOVqxyS3he81h+6nNea7X IoRpCoz/o66VDDNemBgI6KYZO2kDNVhNVVK8p5SsgbaK85gqLjIbyjmIEVafbBNMngHz adeIpG+6aw71MxgSIsimT/1ucaO6rmF4oyDAYddUExf5dRcogUwxqgWeLChX4CQdkmbs xN5xq/40zuEfhF5UiTLgKKxdg21GSRtS/xI/fW/CH44Nk4im0lLl48BnDFjs4v9KezqM ib+YWiCM5wpPymB2NEp28UC8Yx/KL0auBJXF7Fq9hETsr6YWtL86hy9hup5DmBs2ha5l /tiQ== X-Received: by 10.28.88.135 with SMTP id m129mr4824385wmb.67.1447858719133; Wed, 18 Nov 2015 06:58:39 -0800 (PST) MIME-Version: 1.0 Received: by 10.27.82.65 with HTTP; Wed, 18 Nov 2015 06:58:19 -0800 (PST) From: Ashish Agarwal Date: Wed, 18 Nov 2015 09:58:19 -0500 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary=001a11443518a39b670524d1e028 Subject: [Caml-list] Call For Presentations: Compose 2016, New York, Feb 4-5 --001a11443518a39b670524d1e028 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I'm forwarding this announcement on behalf of Gershom Bazerman. The Compose conference had a great set of talks last year, and I recommend it to anyone who can make it out to New York City in February. -- Compose is a conference for typed functional programmers, focused specifically on Haskell, OCaml, F#, and related technologies. It will be held in New York on Thursday and Friday, Feb 4-5, 2016. Registration will be open shortly. http://www.composeconference.org/ To get a sense of Compose, you can check out the great talks from the 2015 conference: http://www.composeconference.org/2015/summary/ 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/2016/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 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 pa= pers doesn=E2=80=99t mean it=E2=80=99s hard! Accessible lectures on classic resu= lts 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 December 14, 2015. We will send out notice of acceptance by December 24th. We prefer that submissions be via the EasyChair website (https://easychair.org/conferences/?conf=3Dcompose2016). 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 wa= nt 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 --001a11443518a39b670524d1e028 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I'm forwarding this announcement on behalf of Ger= shom Bazerman. The Compose conference had a great set of talks last year, a= nd I recommend it to anyone who can make it out to New York City in Februar= y.

--
Compose is a conference for typed = functional programmers, focused
specifically on Haskell, OCam= l, F#, and related technologies. It will
be held in New York on T= hursday and Friday, Feb 4-5, 2016.
Registration will be open shor= tly.


To get a se= nse of Compose, you can check out the great talks from the

Belo= w is our call for presentations. We recognize the deadline is
tig= ht, so feel free to submit proposals and ideas on the less-polished
side.


=
* * *

The audience for Compose is Haske= ll, OCaml, F#, or SML developers who
are looking to increase thei= r skills or learn new technologies and
libraries. Presentations s= hould be aimed at teaching or introducing
new ideas or tools. We = are also interested in presentations aiming at
taking complex con= cepts, such as program derivation, and putting them
into producti= ve use. However proposals on anything that you suspect
our audien= ce may find interesting are welcome. The following are some
of th= e types of talks we would welcome:

Library/Tool Ta= lks =E2=80=94 Exploring the uses of a powerful toolkit or
library= , be it for parsing, testing, data access and analysis, or
anythi= ng else.

Production Systems =E2=80=94 Experience r= eports on deploying functional
techniques in real systems; insigh= ts 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 lect= ures on classic results and why
they matter to us today. Such tal= ks can include simply introducing the
principles of a field of re= search so as to help the audience read up
on it in the future; fr= om abstract machines to program derivation to
branch-and-bound al= gorithms, the sky=E2=80=99s the limit.

We also wel= come proposals for more formal tutorials. Tutorials should
be aim= ed at a smaller audience of beginner-to-novice understanding,
and= ideally include hands-on exercises.

The due date = for submissions is December 14, 2015. We will send out
notice of = acceptance by December 24th. We prefer that submissions be
via th= e EasyChair website
a title, and describe the topic you intend = to speak on. Talks can be
either 30 or 45 minutes, please indicat= e 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 f= eel
"final"=E2=80=94don't worry! We'll work wit= h you to polish it up. If you want
to discuss your proposal(s) be= fore 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 hel= p your talk be great.

* * *

Diversity

We would like to put an emphasis on s= oliciting a diverse set of
speakers - anything you can do to dist= ribute 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

--001a11443518a39b670524d1e028--