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 33A1F5D4 for ; Sat, 19 May 2018 09:26:36 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,417,1520895600"; d="scan'208";a="327584124" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 May 2018 11:26:34 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BC4BC8244E; Sat, 19 May 2018 11:26:34 +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 7CEF48240C for ; Sat, 19 May 2018 11:26:29 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=akenn@fb.com; spf=Pass smtp.mailfrom=prvs=867776eed0=akenn@fb.com; spf=None smtp.helo=postmaster@mx0b-00082601.pphosted.com IronPort-PHdr: =?us-ascii?q?9a23=3AN48aLxca47FwBx3WwftwTORKlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcSzZR7h7PlgxGXEQZ/co6odzbaO6Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahb75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM38H/ZhNFsjKxVoxyhpgBwzYHbb4yOKPp+Z7/Rcc8GSWZdQ8pcUTFKDIOm?= =?us-ascii?q?b4sICuoMJfpVr4/gqFsUsxS/CxSnCubxxT9OgH/5w7A10uQ8GgzBxgMgHMwBsH?= =?us-ascii?q?LSrNjuOqcdSvq5w7XPzTXGdv5b3yr25obPchAku/6MXLRwfNLKyUkuGAPFllGQ?= =?us-ascii?q?ppbjPz+P0eQNqWeb4/JgVeKol24otxtxoiC1ysgwjYnJg4QYwU3H+yVh2Is4JN?= =?us-ascii?q?+1RFRlbdOqDZdcrTyWOot4T884TWxkpD42xqMHtJKlYCQHzYkrywLCZPGCb4eE?= =?us-ascii?q?/hbuWPiULDtlh39pZLeyihOv/UWlzuDzTMa53VlSoipLjNbBtWwB2hnW58eZVv?= =?us-ascii?q?Ry5Fmu1DOT2ADd9O1LPEU5mKnZJp4v2LE9k5UevlrYESLynkj9kbWYeV8++uey?= =?us-ascii?q?7uTqerXmqYGYN49zkgz+N6svltCkDughLgQCQ3SX9Oei2LDi4UH1Xa9GjuUukq?= =?us-ascii?q?nZt5DaPtgbqbCkDANPzokj7BO/Ay+n0NQeg3YHMEpIdROFgoTzJV3DLu30Ae2i?= =?us-ascii?q?j1msnjpn3f7LMqH5DpXINHfDkbPhfbhn605bzQo+1chf54hKCrEaOP/+WU78ud?= =?us-ascii?q?7aAxI7MgG73fjoB8hh2o4GQ22PAbGWMKXUsVKT6OIgOPOAa5MSuDb4M/Ql/eLh?= =?us-ascii?q?jWclmV8BeqmkxYcYZ2q9HvRiOkmZZXvsgswdEWoRpQo/TOnqiEWYXjJJZnayWb?= =?us-ascii?q?g85jAhB468A4fDXNPlvLvUliyyG5kTYmFdFniNF23pfsOKQb1EPCmbJ8sklj0f?= =?us-ascii?q?SZCgTZUg3Fegrlmp5aBgK7/9/CECuI2r99Vz4eDfhFlm/D95CcK13WvLRGZxyD?= =?us-ascii?q?BbDwQq1bxy9BQugmyI1rJ11qQBRI5joshRWwJ/DqbyiulzCtT8QAXELoWHQhCt?= =?us-ascii?q?RdD0WGhtHOJ0+McHZgNGI/vnlgrKj3ikCfkekLnZXMVpoJKZ5GD4IoNG81iD1K?= =?us-ascii?q?QliAN2EM5fbWfj3vYnp1KNX9ePi12ZkL22eKha1ynIpj+O?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CqAQCx7P9ahx6Z50NXBh4BDAaCb4E1b?= =?us-ascii?q?gQLKIxXjBqDCJRYA14lB4ZTGQcBBDQUAQIBAQEBAQEBAQETAQEBCA0JCCgjAQu?= =?us-ascii?q?CNSKCdSMBASYSEQGBACYBBAoJCAwHgwcCgWcDCA0BDp8yAooBAQEBgweCbwEBB?= =?us-ascii?q?YQcGIEgggcDBYg1gVQ/gQ+GHQSBNxmDPoIkhheBJ4Uai3YJhSBKiiSDbYJfhHq?= =?us-ascii?q?JX4ZxAgICAgkCDQEBBYElM1uBGDMaCBsVgjpEhXyFFIU+b4EVjE2CRgEB?= X-IPAS-Result: =?us-ascii?q?A0CqAQCx7P9ahx6Z50NXBh4BDAaCb4E1bgQLKIxXjBqDCJR?= =?us-ascii?q?YA14lB4ZTGQcBBDQUAQIBAQEBAQEBAQETAQEBCA0JCCgjAQuCNSKCdSMBASYSE?= =?us-ascii?q?QGBACYBBAoJCAwHgwcCgWcDCA0BDp8yAooBAQEBgweCbwEBBYQcGIEgggcDBYg?= =?us-ascii?q?1gVQ/gQ+GHQSBNxmDPoIkhheBJ4Uai3YJhSBKiiSDbYJfhHqJX4ZxAgICAgkCD?= =?us-ascii?q?QEBBYElM1uBGDMaCBsVgjpEhXyFFIU+b4EVjE2CRgEB?= X-IronPort-AV: E=Sophos;i="5.49,417,1520895600"; d="scan'208";a="327584113" Received: from mx0b-00082601.pphosted.com ([67.231.153.30]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 19 May 2018 11:26:28 +0200 Received: from pps.filterd (m0109331.ppops.net [127.0.0.1]) by mx0a-00082601.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w4J9QQHn010879 for ; Sat, 19 May 2018 02:26:26 -0700 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fb.com; h=from : to : subject : date : message-id : content-type : content-transfer-encoding : mime-version; s=facebook; bh=X9/ZwquEjDe8y+Oimkl+ud48J1125kN1P9Qb7tqv5MM=; b=F6b+1WU6D6lWVGu0L9hi4CH8/EFu+OIDRE9k91S8NyHWSAvJKubgaRca+srt/B1yMGzu Ak8lJC4m3lTwl/a9W3Q4yWP4QUOkgkWQpENgH1NiKgY5n3QGD1HDD+4XBbkD6HQBM7FS lmD31Y/I0WNwzkcokUhJaBwpLmG4YZ8rhZw= Received: from mail.thefacebook.com ([199.201.64.23]) by mx0a-00082601.pphosted.com with ESMTP id 2j2h9vr00a-1 (version=TLSv1 cipher=ECDHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Sat, 19 May 2018 02:26:26 -0700 Received: from NAM01-SN1-obe.outbound.protection.outlook.com (192.168.54.28) by o365-in.thefacebook.com (192.168.16.11) with Microsoft SMTP Server (TLS) id 14.3.361.1; Sat, 19 May 2018 02:26:24 -0700 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fb.onmicrosoft.com; s=selector1-fb-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=X9/ZwquEjDe8y+Oimkl+ud48J1125kN1P9Qb7tqv5MM=; b=hBu6Oh9yxnpep1ZtsN4KVgSVZadZ+f631BSZ6ThDd5Q/XB8BZOJu1wQVhVq/l7V7Xte2wmJNsFykoRsS5sXVQSW9rzGZISBBSix+j1e/MZp76EoR0jZm3PEVWutkYqkuFRVAzAkLNF1MQdcPQ8sFNNy+xFdLRGMXUHtrtCEAU9E= Received: from DM3PR15MB0668.namprd15.prod.outlook.com (10.164.33.18) by DM3PR15MB0651.namprd15.prod.outlook.com (10.164.33.13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.776.11; Sat, 19 May 2018 09:26:16 +0000 Received: from DM3PR15MB0668.namprd15.prod.outlook.com ([fe80::ecae:cf2d:87fa:4eb9]) by DM3PR15MB0668.namprd15.prod.outlook.com ([fe80::ecae:cf2d:87fa:4eb9%13]) with mapi id 15.20.0776.010; Sat, 19 May 2018 09:26:15 +0000 From: Andrew Kennedy To: "caml-list@inria.fr" Thread-Topic: OCaml Users and Developers Workshop 2018: Call for presentations Thread-Index: AdPvTbmS+EFP/3DQTR+sK/fScaoX8g== Date: Sat, 19 May 2018 09:26:15 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [2620:10d:c092:180::1:9a44] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;DM3PR15MB0651;7:YFAKOb0fDZOEWeC53W8GFf8rUfZxeo+6uKyDkhVq2+Uhub6IKOt1hgEdZr5OtceYnL54vJPdoGWzl96cyzg/Pg4TsQGuT70yoJetyyc3NOHbyQKgkcI2K74VTYZk0mqd3OmunNVvElp2MafcwCD0vX1UV+8TrINsyFn9lAEJjMeyG0NZ2XqekUoAhoPW1HMOMD4YC4PF4oHp1voeUNNQ/gayWYEm6kx1bvx/+2x1XZ3m4AP3ok3oYpYYcvV30S3S;20:rxk+663pVyKrjFG/wwDwTaTbCi3TDW9/Gqmkp4gSv6Jg+oBCGNkufgI3x8LU0k9oTpwQfSSqUsSC5YatLF8yNVMZ4sSNci2il8lw7VFZH+QCqKdWzRanPJ8w6ciAzj7KRl4CMPeI43N3v1I0PMEaGRhqDIca9YKmh+a0MoB4L9k= x-ms-exchange-antispam-srfa-diagnostics: SOS; x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(7020095)(4652020)(5600026)(4534165)(4627221)(201703031133081)(201702281549075)(2017052603328)(7153060)(7193020);SRVR:DM3PR15MB0651; x-ms-traffictypediagnostic: DM3PR15MB0651: x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(209352067349851)(67672495146484)(81227570615382); x-ms-exchange-senderadcheck: 1 x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(8211001083)(6040522)(2401047)(8121501046)(5005006)(3002001)(10201501046)(93006095)(93001095)(3231254)(11241501184)(944501410)(52105095)(149027)(150027)(6041310)(20161123558120)(20161123560045)(20161123562045)(20161123564045)(201703131423095)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(6072148)(201708071742011)(7699016);SRVR:DM3PR15MB0651;BCL:0;PCL:0;RULEID:;SRVR:DM3PR15MB0651; x-forefront-prvs: 0677FFABBF x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(376002)(39860400002)(39380400002)(366004)(396003)(346002)(199004)(189003)(6506007)(316002)(102836004)(14454004)(2906002)(6116002)(7696005)(966005)(476003)(486006)(305945005)(46003)(86362001)(53936002)(97736004)(59450400001)(2900100001)(99286004)(186003)(6436002)(81166006)(33656002)(8936002)(5640700003)(8676002)(25786009)(5250100002)(7736002)(2501003)(9686003)(81156014)(6306002)(2351001)(55016002)(478600001)(74316002)(105586002)(45080400002)(68736007)(5660300001)(3280700002)(106356001)(6916009)(3660700001);DIR:OUT;SFP:1102;SCL:1;SRVR:DM3PR15MB0651;H:DM3PR15MB0668.namprd15.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; x-microsoft-antispam-message-info: FoUMBUmijoE5ktLmjpAxtwnWrnN7S+Et4M1uI2+oAAgG/zd0XID5xOFIzi5eycF1Mr8KvmC0hmAHlsYhBzn5Gq4+GZlhhQhIQrwCqSioMFUK1ZaoRkUliA1Zv+CQQ124K7mN33ShmxbAPEREk63rl0Mlhscz3h8efVra1+YQx1LexW2POVc+bKccGLi6EwAp spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Office365-Filtering-Correlation-Id: 72021530-4f76-4775-31bd-08d5bd6a921f X-MS-Exchange-CrossTenant-Network-Message-Id: 72021530-4f76-4775-31bd-08d5bd6a921f X-MS-Exchange-CrossTenant-originalarrivaltime: 19 May 2018 09:26:15.7400 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 8ae927fe-1255-47a7-a2af-5f3a069daaa2 X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM3PR15MB0651 X-OriginatorOrg: fb.com X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:,, definitions=2018-05-19_05:,, signatures=0 X-Proofpoint-Spam-Reason: safe X-FB-Internal: Safe Subject: [Caml-list] OCaml Users and Developers Workshop 2018: Call for presentations Reply-To: Andrew Kennedy X-Loop: caml-list@inria.fr X-Sequence: 16898 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: We warmly invite submissions to the OCaml Users and Developers Workshop 201= 8,=20 to be held during the ICFP conference week on Thursday, September 27th in=20 St. Louis, Missouri, USA. https://icfp18.sigplan.org/track/ocaml-2018-papers#Call-for-Contributions =20 Scope ----- Presentations and discussions will focus on the OCaml programming language = and its community. We solicit talks on all aspects related to improving the use= or=20 development of the language and its programming environment, including, for= =20 example (but not limited to): * compiler developments, new backends, runtime and architectures * practical type system improvements, such as (but not limited to) GADTs,=20 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=20 in unusual situations. Presentations ------------- The OCaml Users and Developers Workshop will be an informal meeting with no= =20 formal proceedings. The presentation material will be available online from= =20 the workshop homepage. The presentations may be recorded, and made available at a later time. The main presentation format is a workshop talk, tradition= ally=20 around 20 minutes in length, plus question time, but we also have a poster = session=20 during the workshop - this allows to present more diverse work, and gives t= ime=20 for discussion. The program committee will decide which presentations shoul= d be=20 delivered as posters or talks. Submission ---------- To submit a presentation, please register a description of the talk (up to = 4=20 pages long) at https://ocaml18.hotcrp.com/ providing a clear statement of w= hat=20 will be provided by the presentation: the problems that are addressed, the= =20 solutions or methods that are proposed. LaTeX-produced PDFs are a common an= d=20 welcome submission format. For accessibility purposes, we ask PDF submitter= s to=20 also provide the sources of their submission in a textual format, such as .= tex=20 sources. Reviewers may read either the submitted PDF or the text version. Important dates --------------- Thursday 31st May (any time zone): Abstract submission deadline=20 Thursday 28th June: Author notification=20 Thursday 27th September 2018: OCaml Workshop ML family workshop and post-proceedings --------------------------------------- The ML family workshop, held on the previous day, deals with general issues= of=20 the ML-style programming and type systems, focuses on more research-oriente= d work=20 that is less specific to a language in particular (OCaml). There is an over= lap=20 between the two workshops, and we have occasionally transferred presentatio= ns=20 from one to the other in the past. The authors who feel their submission fi= ts=20 both workshops are encouraged to mention it at submission time and/or conta= ct=20 the Program Chairs. We are planning to publish combined post-proceedings and to invite interest= ed=20 authors of selected presentations to expand their abstracts for inclusion. Program committee ----------------- Andrew Kennedy, Facebook, UK (chair) Stephen Dolan, University of Cambridge, UK Clark Gaebel, Jane Street,=20 Nicol=E1s Ojeda B=E4r, LexiFi, France Jonathan Protzenko, Microsoft Research, USA Gabriel Scherer, INRIA, France Kanae Tsushima, National Institute of Informatics, Japan John Whitington, University of Leicester, UK Questions and contact --------------------- Please send any questions to the chair: Andrew Kennedy (akenn@fb.com) --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs=