From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 8051B7FAF6 for ; Sat, 22 Nov 2014 19:16:34 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=74.125.82.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of agarwal1975@gmail.com designates 74.125.82.54 as permitted sender) identity=mailfrom; client-ip=74.125.82.54; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f54.google.com) identity=helo; client-ip=74.125.82.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-wg0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoMDAHDScFRKfVI2lGdsb2JhbABUCIJIgRtZBIMCuBKEF4xzhmp9BxYBAQEBAREBAQEBBwsLCRIwhBsLBh0BGwwDDwMSEDcCJAERAQUBIhsaiAkBAxINpzaDJT0xizuBcoMRijoKGScNaIVaAQsBGQEFDo0rgnsBUoMENoEfBYwliyiEWYJbgTQSg0eDOIpLgg8YKYNMggkqMAGBBoFEAQEB X-IPAS-Result: AoMDAHDScFRKfVI2lGdsb2JhbABUCIJIgRtZBIMCuBKEF4xzhmp9BxYBAQEBAREBAQEBBwsLCRIwhBsLBh0BGwwDDwMSEDcCJAERAQUBIhsaiAkBAxINpzaDJT0xizuBcoMRijoKGScNaIVaAQsBGQEFDo0rgnsBUoMENoEfBYwliyiEWYJbgTQSg0eDOIpLgg8YKYNMggkqMAGBBoFEAQEB X-IronPort-AV: E=Sophos;i="5.07,438,1413237600"; d="scan'208";a="90032362" Received: from mail-wg0-f54.google.com ([74.125.82.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Nov 2014 19:16:12 +0100 Received: by mail-wg0-f54.google.com with SMTP id y10so9129360wgg.27 for ; Sat, 22 Nov 2014 10:16:33 -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=7KpV/jT1vyjomWf8kdMu+L5K6E1bqOfri1WdSxf6mS4=; b=ERp2QTEJNfL+No8kLPliAmooXF9xVHH3wNTpa98ucNfhn4twmkDdv4f0nm/HwRKzQC wAN+htUtdRU/usu6LaUbKoxGbYlGm5qVh7VBFVaW9+Tv5U+Uk7SxU+rZPQxDSTnlN2DU oemi4mDatkR4tLhFbT8kqnv1l9RfYM9LgUtNYh9WWQYufiB2iAKntGIVKA2/BS0g0MXu artxVdqnMl0FlRhH/a4sVVF42qYP64pdNbVZlzqYWNLQBHp2/6mNYwcJ64HLPw7pusYf dZ7wGYSDmY33hIccXIOZApx2MLMkTML3auiwusNmZMK4P1bHlJGmmlfj+7dsIvHsrVo8 LbpA== X-Received: by 10.194.184.75 with SMTP id es11mr18779885wjc.35.1416680193413; Sat, 22 Nov 2014 10:16:33 -0800 (PST) MIME-Version: 1.0 Received: by 10.27.5.203 with HTTP; Sat, 22 Nov 2014 10:16:13 -0800 (PST) From: Ashish Agarwal Date: Sat, 22 Nov 2014 13:16:13 -0500 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary=047d7b6da766b0586a0508768fda Subject: [Caml-list] Call for Presentations: Compose Conference [New York, Jan 30-Feb 1] --047d7b6da766b0586a0508768fda Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Compose is a new conference for typed functional programmers, focused specifically on Haskell, OCaml, F#, and related technologies. It will be held in New York from Jan 30-Feb 1, and registration is opening shortly. http://www.composeconference.org/ 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. Call for Presentations and Speakers. http://www.composeconference.org/call/index.html --- The audience for Compose is Haskell, OCaml, or F# 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 for the Sunday unconference. Such 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 November 30, 2014. We will send out notice of acceptance by 10 December. We prefer that submissions be via the EasyChair website (https://easychair.org/conferences/?conf=3Dcompose2015). Please suggest a title, and describe the topic you intend to speak on. 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 atcomposeconference.org. We're happy to work with you, even if you are a new or inexperienced speaker, to help your talk be great. =E2=80=94Gershom --047d7b6da766b0586a0508768fda Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Compose is a new conference for typed functional programmers, focused spe= cifically on Haskell, OCaml, F#, and related technologies. It will be held = in New York from Jan 30-Feb 1, and registration is opening shortly.<= br style=3D"font-family:arial,sans-serif;font-size:13px">
http://www.composeconference.org/

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

Call for Presentations and Speakers.
http://www.composeconference.org/call/index= .html

---

The = audience for Compose is Haskell, OCaml, or F# developers who are looking to= increase their skills or learn new technologies and libraries. Presentatio= ns should be aimed at teaching or introducing new ideas or tools. We are al= so interested in presentations aiming at taking complex concepts, such as p= rogram 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 p= owerful toolkit or library, be it for parsing, testing, data access and ana= lysis, or anything else.

Production Systems= =E2=80=94 Experience reports on deploying functional techniques in real sy= stems; 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 le= ctures on classic results and why they matter to us today. Such talks can i= nclude simply introducing the principles of a field of research so as to he= lp the audience read up on it in the future; from abstract machines to prog= ram derivation to branch-and-bound algorithms, the sky=E2=80=99s the limit.=

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

The due date for submis= sions is November 30, 2014. We will send out notice of acceptance by 10 Dec= ember. We prefer that submissions be via the EasyChair website (https://easychai= r.org/conferences/?conf=3Dcompose2015). Please suggest a title, and describe the topic you int= end to speak on.

Additional information may= be included on both your expertise and the interesting elements of your to= pic, going on what might be included in a public abstract. Furthermore, if = your abstract doesn't feel "final"=E2=80=94don't worry! W= e'll work with you to polish it up. If you want to discuss your proposa= l(s) before submitting, or to further nail down what you intend to speak on= , please feel free to contact us at info atcomposeconference.org. We're happy to work with you, even if you are= a new or inexperienced speaker, to help your talk be great.

=E2=80=94Gershom

--047d7b6da766b0586a0508768fda--