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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C871180143 for ; Tue, 30 May 2017 16:39:44 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f47.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.47 as permitted sender) identity=mailfrom; client-ip=209.85.214.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-it0-f47.google.com) identity=helo; client-ip=209.85.214.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f47.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ABeclrxRDZ18FEWYlWQNq4N0G3tpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zYBGN2/xhgRfzUJnB7Loc0qyN4v6mBDNIoc7Y9itTL9oUD15NoP?= =?us-ascii?q?5VtjJjKfbGM3GzFOTtYS0+EZYKf35e1Fb/D3JoHt3jbUbZuHy44G1aMBz+MQ1o?= =?us-ascii?q?Ora9QdaK3Iy42O+o5pLcfRhDiiajbrNuNhW2qhjautULjYd4JKs8zhrErmFIdu?= =?us-ascii?q?lU2GhkIU6fkwvm6sq++JNu8T5ct+49+8JFTK73Y7k2QbtEATspNGw4+NfluR7f?= =?us-ascii?q?QwWR+3ASSH8Wkh1GAwjE6BH1QJL8uTbku+R+xSeXI9T4Qag7Vjq+4ahrTgToiD?= =?us-ascii?q?ocOD4i7G7XkM1wg7lFrx+nuhdy3pTbYICRNPp5Y6PdYdYXTndPU8pNSyBMBJ63?= =?us-ascii?q?Yo0SBOQDIOlYtZHwqFkArRW+CweiB/7hxCFUiXLtx6I2z/4sHBva0AA8Hd8Dtm?= =?us-ascii?q?nfotXvNKcVVOC41KjGwi/YYPNM2Dfy9ozIeQ08r/6QXbJ/b9DRxlc1FwjYiViQ?= =?us-ascii?q?ppbqMCiP1uQMrWeb6/BsVfmzhG4ntQ5xuCagxt03h4nGg4Ia0FHE9SFjzIkpIt?= =?us-ascii?q?24TVd2bNi5G5VesCGaMpF5QsIkQ2xwvyY11qcJuZu/fCQQz5Qn3RHfZ+Scc4iJ?= =?us-ascii?q?7RLjTOKRLi1+hH5/f7K/nRmy/VC6yuLiTcm7zkxFrjBZndnMrHABzRvT6tKISv?= =?us-ascii?q?dl8Ueh2CqP1wDO6u5fO0w7ia3bK5s5zr4wkZoTrVjMHjXumEnskKCWcUAk9vCv?= =?us-ascii?q?6+XoeLnpvIOTO5VpigH9NKklh8+xAfwgPwQQQ2SW/f6w2b7j8EHjXrlGk/I7nr?= =?us-ascii?q?PWvZ3YI8kQu7S3DBVP0ok57hayFzem38ocnXkANF9FfQiIj4ntO13XIfD4Eeuz?= =?us-ascii?q?j02ikDpkxf3KJLLhApLKLnjMlLfuY6xx5FJbyAo21dxf5pRUBa8dIP/rREP9qN?= =?us-ascii?q?jVAgU6PgG02errFshx24wEVW+AAKKVKKbSvkWJ5uIrLemMfogVuDPlJvgq/fHh?= =?us-ascii?q?lmU5mV4Dcqmtx5cXc2y3HvR4LEWDf3XsmMwMEWgPvgUkTezqjEeOXiJUZ3a3R6?= =?us-ascii?q?48/C00CJq6DYffQYCgmKCO0z2+Hp1Sf2xGDlGMEWz0d4ifQPcNaCeSItd7nTAe?= =?us-ascii?q?VLihTZUh1RC0uwPgxbpnNLmcxipNvpvm0JBo/ODJjllm/jVxC4GZ0nqRZ2ByhG?= =?us-ascii?q?IBATEsivNRu0t4n3iK27J5jvgQLtdT6ulESE9uOpfW1e13D5bpUQLMZNqTYFmj?= =?us-ascii?q?S9SiRzo2S4RikJc1f09hFoD63Vj41C2wDupNmg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CtAADSgi1Zhi/WVdFWBhsBAQEDAQEBC?= =?us-ascii?q?QEBARYBAQEDAQEBCQEBAYQMgQ0HgyVGgTaCb4VzkWlyjDmDFoU4gg8sgkKBXIF?= =?us-ascii?q?aAoJJBz8YAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMigkMBAQEBAgEMEQYdARsME?= =?us-ascii?q?gMBCwYDAgsNKgICIQEBEQEFARwGCgkJCweJdgEDDQgQjymRGj+MB4IEBQEcgwo?= =?us-ascii?q?Fg1MKGScNVoM7AQEBBwEBAQEBARoCBhKGT4FggmsEMIF9AVqBVQ0LBwEOO4Jlg?= =?us-ascii?q?mAFh2mBXpQhO4IQhBx0hzCEWIIGVYJqgX2DbIZJizInhEOCahQfgRUPEIE3CzA?= =?us-ascii?q?hI1sZgiWCDCofggskNgGHFQ8XghcBAQE?= X-IPAS-Result: =?us-ascii?q?A0CtAADSgi1Zhi/WVdFWBhsBAQEDAQEBCQEBARYBAQEDAQE?= =?us-ascii?q?BCQEBAYQMgQ0HgyVGgTaCb4VzkWlyjDmDFoU4gg8sgkKBXIFaAoJJBz8YAQEBA?= =?us-ascii?q?QEBAQEBAQESAQEBCAsLCCgvgjMigkMBAQEBAgEMEQYdARsMEgMBCwYDAgsNKgI?= =?us-ascii?q?CIQEBEQEFARwGCgkJCweJdgEDDQgQjymRGj+MB4IEBQEcgwoFg1MKGScNVoM7A?= =?us-ascii?q?QEBBwEBAQEBARoCBhKGT4FggmsEMIF9AVqBVQ0LBwEOO4JlgmAFh2mBXpQhO4I?= =?us-ascii?q?QhBx0hzCEWIIGVYJqgX2DbIZJizInhEOCahQfgRUPEIE3CzAhI1sZgiWCDCofg?= =?us-ascii?q?gskNgGHFQ8XghcBAQE?= X-IronPort-AV: E=Sophos;i="5.38,418,1491256800"; d="scan'208,217";a="226770782" Received: from mail-it0-f47.google.com ([209.85.214.47]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 May 2017 16:39:42 +0200 Received: by mail-it0-f47.google.com with SMTP id w68so10562039itc.0 for ; Tue, 30 May 2017 07:39:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=VX6qTOg1zGxirAx9TCN8KZGIyOE2sOf1dDDA+ZTfbN4=; b=IFrZZklH9+aw9SPwgO7NdURTcqWohJN8nW/UoYHi8BL64dJEfUIE0V6DSZl0lYoyEw KuTWVnMgFnM2Cg3brn7lUHsB5LvJssnRYXzSRpUJzdcmk4MfyZCA+diYGzZ5hC2TclDV +G8qMBd7nuVNbdcOmuueYySozaO3WkbtxqKu4ChWAv7E7wMVcLLPFuzF3wBGvY4ogs8u 5R62vzlgxO256X9rFwdzP9tJEB2ah4XWuBRlg8sauUOiwOR1D5RwUSD3Sp0xjZC3C27G W3f5euH20c9dDJb5W4qwoMxPH8uh+BHxKKasV/e16GZevmK0oIxmAMFFJ9ZlnnMapSUa 6azg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to; bh=VX6qTOg1zGxirAx9TCN8KZGIyOE2sOf1dDDA+ZTfbN4=; b=LdjNKWfQTA7sDIlmOSl48/96iTRP07TzKfaAAr2zJl75rMTqS+ir39H2rA90iq6nhj YpTzjE7vXSC1GK0PaORpGcWCk/aJP1FMJFszuMTW6Mk7ZRE9Yx06LGVPPI/xoeSUtv/z LBXrQnmPe2uRSw9TPQOO/Ud5+M0nNlNBz5BT9RJylV99SE+W++BnNyAxL0XmppO9NULT RbwdCwuN0Ic6V0TKJzOXs0SR/bFCsCnY59LudVb7jUcdNwIqB4GSGwT8R60dvYFtppgW srgkThTNfcxxkEoC9gTJvOSPd6jIU+5kNN8jwaibsH7Ue8BE3QC7yQcthS1gnoFjl5tl vQZw== X-Gm-Message-State: AODbwcDbR3iZ4iud/6QdbVj4mi94tvwIyM4QQg4udqAgifaOquou/nkb tPY12qjMfYuyz3vRfZhyvEa3KcXbdrI8 X-Received: by 10.36.69.225 with SMTP id c94mr2232266itd.79.1496155180944; Tue, 30 May 2017 07:39:40 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.36.212 with HTTP; Tue, 30 May 2017 07:39:00 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Tue, 30 May 2017 10:39:00 -0400 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="001a11c14bf616d7ed0550bec67e" Subject: Re: [Caml-list] OCaml workshop 2017: call for presentations --001a11c14bf616d7ed0550bec67e Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear caml-list, This is a reminder that the deadline for submission to the OCaml Workshop (September 8th 2017, Oxford) is tomorrow on May 31st. Please send us your talk proposals! https://icfp-ocaml17.hotcrp.com/ Feel free to write me an email for any question you would have about the workshop. On Mon, May 15, 2017 at 6:30 PM, Gabriel Scherer wrote: > Dear caml-list, > > This is a gentle reminder that the presentation submission deadline for > the OCaml workshop 2017 on May 31st, in two weeks. (For the details, the > original announcement at the end of this email.) Writing a talk proposal = is > not very difficult (you can do it in 20-30 minutes), no need to wait for > the last minute! > > https://icfp-ocaml17.hotcrp.com/ > > If you have any question about the workshop, feel free to send me an emai= l. > > If you know someone whose work would be of interest to the OCaml > community, please encourage them to propose a presentation. The workshop = is > a unique (yearly) even to meet other people of the OCaml community whose > work may have been supporting your own, or building on top of it. > > The programme of the ICFP conference is now available. For a sneak peek, > some of the preprints are already available ( > https://github.com/gasche/icfp2017-papers ). Besides the ICFP conference, > many co-located events may also be of interest to the caml-community. See > the list of events on the ICFP webpage (ML-family languages, Haskell, > Scheme, Erlang, type-directed programming, effectful programming, > high-performance computinng, art and music). > http://icfp17.sigplan.org/home > > For the more theory-oriented among us, the co-located FSCD conference also > have many nice events (linear logic, unification, security, > higher-dimensional rewriting, homotopy type theory, string diagrams, proof > theory, confluence, logical frameworks, program rewriting): > http://www.cs.ox.ac.uk/conferences/fscd2017/ > > Finally, if you are a student (or are a teacher with students), you should > consider sending application(s) to the Programming Language Mentoring > Workshop ( http://icfp17.sigplan.org/track/PLMW-ICFP-2017 ), who can fund > conference attendance to university student ( the main target is > undergraduate and young graduate, corresponding to the bachelor/master > cycles in Europe ). ACM also has various forms of financial support > available, in particular for students that give a presentation; see > http://www.sigplan.org/PAC/. > > Cheers > > On Mon, Apr 3, 2017 at 6:04 PM, Gabriel Scherer > wrote: > >> Call for presentations >> >> OCaml 2017 >> The OCaml Users and Developers Workshop >> >> September 8th, 2017, >> Oxford, UK, >> Co-located with ICFP 2017 >> >> http://ocaml.org/meetings/ocaml/2017/ >> >> Talk proposal submission deadline: May 31st, 2017 >> >> >> (Please redistribute widely.) >> >> The OCaml Users and Developers Workshop brings together the >> OCaml community, including users of OCaml in industry, academia, >> hobbyists and the free software community. Previous editions >> have been colocated with ICFP 2012 in Copenhagen, ICFP 2013 in >> Boston, ICFP 2014 in Gothenburg, ICFP 2015 in Vancouver and ICFP >> 2016 in Nara, following the OCaml Meetings in Paris in 2010 and >> 2011. >> >> OCaml 2017 will be held on September 8th, 2017 in Oxford, UK, >> colocated with ICFP 2017 and FSCD 2017. >> >> http://conf.researchr.org/home/icfp-2017 >> http://www.cs.ox.ac.uk/conferences/fscd2017/ >> >> Scope >> ----- >> >> Presentations and discussions will focus on the OCaml >> programming language and its community. We aim to solicit talks >> on all aspects related to improving the use or development of >> the language and its programming environment, including, for >> example (but not limited to): >> >> - compiler developments, new backends, runtime and architectures >> >> - practical type system improvements, such as (but not >> limited to) GADTs, first-class modules, generic programming, >> or dependent types >> >> - new library or application releases, and their design >> rationales >> >> - tools and infrastructure services, and their enhancements >> >> - prominent industrial or experimental uses of OCaml, or >> deployments in unusual situations. >> >> Presentations >> ------------- >> >> It will be an informal meeting with no formal proceedings. The >> presentation material will be available online from the workshop >> homepage. The presentations may be recorded, and made available >> at a later time. >> >> The main presentation format is a workshop talk, traditionally >> around 20 minutes in length, plus question time, but we also >> have a poster session during the workshop -- this allows to >> present more diverse work, and gives time for discussion. The >> program committee will decide which presentations should be >> delivered as posters or talks. >> >> Submission >> ---------- >> >> To submit a presentation, please register a description of the >> talk (about 2 pages long) at >> >> https://icfp-ocaml17.hotcrp.com/ >> >> providing a clear statement of what will be provided by the >> presentation: the problems that are addressed, the solutions or >> methods that are proposed. >> >> LaTeX-produced PDFs are a common and welcome submission >> format. For accessibility purposes, we ask PDF submitters to >> also provide the sources of their submission in a textual >> format, such as .tex sources. Reviewers may read either the >> submitted PDF or the text version. >> >> Important dates >> --------------- >> >> Wednesday 31st May (any time zone) Abstract submission deadline >> Wednesday 28th June Author notification >> Friday 8th September 2017 OCaml Workshop >> >> ML family workshop and post-proceedings >> --------------------------------------- >> >> The ML family workshop, held on the previous day, deals with >> general issues of the ML-style programming and type systems, >> focuses on more research-oriented work that is less specific to >> a language in particular (OCaml). There is an overlap between >> the two workshops, and we have occasionally transferred >> presentations from one to the other in the past. The authors who >> feel their submission fits both workshops are encouraged to >> mention it at submission time and/or contact the Program Chairs. >> >> We are planning to publish combined post-proceedings and to >> invite interested authors of selected presentations to expand >> their abstracts for inclusion. >> >> Program Committee >> ----------------- >> >> Ashish Agarwal, Solvuu, USA >> Fran=C3=A7ois Bobot, CEA, France >> Fr=C3=A9d=C3=A9ric Bour, OCaml Labs, France >> Cristiano Calcagno, Facebook, UK >> Louis Gesbert, OcamlPro, France >> S=C3=A9bastien Hinderer, INRIA, France >> Atsushi Igarashi, Kyoto University, Japan >> Oleg Kiselyov, Tohoku University, Japan >> Julia Lawall, INRIA/LIP6, France >> Sam Lindley, The University of Edinburgh, UK >> Louis Mandel, IBM Research, USA >> Zoe Paraskevopoulou, Princeton University, USA >> Gabriel Scherer, Northeastern University, USA >> >> Questions and contact >> --------------------- >> >> Please send any questions to the chair: >> Gabriel Scherer >> >> > --001a11c14bf616d7ed0550bec67e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear caml-list,

This is a reminder = that the deadline for submission to the OCaml Workshop (September 8th 2017,= Oxford) is tomorrow on May 31st. Please send us your talk proposals!
=C2=A0 https://icfp-ocaml17.= hotcrp.com/

Feel free to write me an email for any questio= n you would have about the workshop.
On Mon, May 15, 2017 at 6:30 PM, Gabriel Scher= er <gabriel.scherer@gmail.com> wrote:
Dear caml-list,
This is a=C2=A0 gentle reminder that the presentation submission= deadline for the OCaml workshop 2017 on May 31st, in two weeks. (For the d= etails, the original announcement at the end of this email.) Writing a talk= proposal is not very difficult (you can do it in 20-30 minutes), no need t= o wait for the last minute!

=C2=A0 https://icfp-ocaml17.hotcrp.com/
=
If you have any question about the workshop, feel free to se= nd me an email.

If you know someone whose work woul= d be of interest to the OCaml community, please encourage them to propose a= presentation. The workshop is a unique (yearly) even to meet other people = of the OCaml community whose work may have been supporting your own, or bui= lding on top of it.

The programme of the ICFP conference = is now available. For a sneak peek, some of the preprints are already avail= able ( https://github.com/gasche/icfp2017-papers ). Besides the ICFP = conference, many co-located events may also be of interest to the caml-comm= unity. See the list of events on the ICFP webpage (ML-family languages, Has= kell, Scheme, Erlang, type-directed programming, effectful programming, hig= h-performance computinng, art and music).
=C2=A0 http://icfp17.sigplan.org/home
For the more theory-oriented among us, the co-located FSCD = conference also have many nice events (linear logic, unification, security,= higher-dimensional rewriting, homotopy type theory, string diagrams, proof= theory, confluence, logical frameworks, program rewriting):
=C2=A0 http= ://www.cs.ox.ac.uk/conferences/fscd2017/

F= inally, if you are a student (or are a teacher with students), you should c= onsider sending application(s) to the Programming Language Mentoring Worksh= op ( http://icfp17.sigplan.org/track/PLMW-ICFP-2017 ), who can f= und conference attendance to university student ( the main target is underg= raduate and young graduate, corresponding to the bachelor/master cycles in = Europe ). ACM also has various forms of financial support available, in par= ticular for students that give a presentation; see http://www.sigplan.org/PAC/.

<= /div>
Cheers

On Mon, Apr 3, 2017 at 6:04 PM, G= abriel Scherer <gabriel.scherer@gmail.com> wrote:
=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Call for presenta= tions

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0 OCaml 2017
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 The OCaml Users and Dev= elopers Workshop

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0 September 8th, 2017,
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Oxford, UK,
= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Co-located with ICFP 20= 17

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0 http://ocaml.org/meetings/ocaml/2017/

= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Talk proposal = submission deadline: May 31st, 2017


(Please redistribute widely.= )

The OCaml Users and Developers Workshop brings together the
OCa= ml community, including users of OCaml in industry, academia,
hobbyists = and the free software community. Previous editions
have been colocated w= ith ICFP 2012 in Copenhagen, ICFP 2013 in
Boston, ICFP 2014 in Gothenbur= g, ICFP 2015 in Vancouver and ICFP
2016 in Nara, following the OCaml Mee= tings in Paris in 2010 and
2011.

OCaml 2017 will be held on Septe= mber 8th, 2017 in Oxford, UK,
colocated with ICFP 2017 and FSCD 2017.
=C2=A0 http://conf.researchr.org/home/icfp-2017
=C2=A0 http://= www.cs.ox.ac.uk/conferences/fscd2017/

Scope
-----
Presentations and discussions will focus on the OCaml
programming langu= age and its community. We aim to solicit talks
on all aspects related to= improving the use or development of
the language and its programming en= vironment, including, for
example (but not limited to):

- compile= r developments, new backends, runtime and architectures

- practical = type system improvements, such as (but not
=C2=A0 limited to) GADTs, fir= st-class modules, generic programming,
=C2=A0 or dependent types

= - new library or application releases, and their design
=C2=A0 rationale= s

- tools and infrastructure services, and their enhancements
- prominent industrial or experimental uses of OCaml, or
=C2=A0 deploym= ents in unusual situations.

Presentations
-------------

It= will be an informal meeting with no formal proceedings. The
presentatio= n material will be available online from the workshop
homepage. The pres= entations may be recorded, and made available
at a later time.

Th= e main presentation format is a workshop talk, traditionally
around 20 m= inutes in length, plus question time, but we also
have a poster session = during the workshop -- this allows to
present more diverse work, and giv= es time for discussion. The
program committee will decide which presenta= tions should be
delivered as posters or talks.

Submission
----= ------

To submit a presentation, please register a description of th= e
talk (about 2 pages long) at

=C2=A0 https://icfp-ocaml17.hotcrp.com/

providing a clear statement of what will be provided by the
pr= esentation: the problems that are addressed, the solutions or
methods th= at are proposed.

LaTeX-produced PDFs are a common and welcome submis= sion
format. For accessibility purposes, we ask PDF submitters to
als= o provide the sources of their submission in a textual
format, such as .= tex sources. Reviewers may read either the
submitted PDF or the text ver= sion.

Important dates
---------------

Wednesday 31st May (= any time zone)=C2=A0 Abstract submission deadline
Wednesday 28th June=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0 Author notification
Friday 8th September 2017=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 OCaml Workshop
ML family workshop and post-proceedings
------------------------------= ---------

The ML family workshop, held on the previous day, dea= ls with
general issues of the ML-style programming and type systems,
= focuses on more research-oriented work that is less specific to
a langua= ge in particular (OCaml). There is an overlap between
the two workshops,= and we have occasionally transferred
presentations from one to the othe= r in the past. The authors who
feel their submission fits both workshops= are encouraged to
mention it at submission time and/or contact the Prog= ram Chairs.

We are planning to publish combined post-proceedings and= to
invite interested authors of selected presentations to expand
the= ir abstracts for inclusion.

Program Committee
-----------------
Ashish Agarwal, Solvuu, USA
Fran=C3=A7ois Bobot, CEA, France
Fr= =C3=A9d=C3=A9ric Bour, OCaml Labs, France
Cristiano Calcagno, Facebook, = UK
Louis Gesbert, OcamlPro, France
S=C3=A9bastien Hinderer, INRIA, Fr= ance
Atsushi Igarashi, Kyoto University, Japan
Oleg Kiselyov, Tohoku = University, Japan
Julia Lawall, INRIA/LIP6, France
Sam Lindley, The U= niversity of Edinburgh, UK
Louis Mandel, IBM Research, USA
Zoe Parask= evopoulou, Princeton University, USA
Gabriel Scherer, Northeastern Unive= rsity, USA

Questions and contact
---------------------

Ple= ase send any questions to the chair:
=C2=A0 Gabriel Scherer <gabriel.scherer@gma= il.com>



--001a11c14bf616d7ed0550bec67e--