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 7F6185D5 for ; Tue, 29 May 2018 11:14:33 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,456,1520895600"; d="scan'208";a="329373757" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 May 2018 13:14:31 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id EA7DD82453; Tue, 29 May 2018 13:14:30 +0200 (CEST) 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 8D47782416 for ; Tue, 29 May 2018 13:14:19 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=akenn@fb.com; spf=Pass smtp.mailfrom=prvs=9687379dff=akenn@fb.com; spf=None smtp.helo=postmaster@mx0b-00082601.pphosted.com IronPort-PHdr: =?us-ascii?q?9a23=3AoM26yhUgW5d+mT1AmXGFsRXWhAjV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBKOt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/XlMJ+kb5brhyiqRxxwYHUYZ2aOvVxca7GYdMaXHZNUtpNWyBdH4+x?= =?us-ascii?q?aZYEAeobPeZfqonwv0cDrR2jCgm2GuzuxCJDiHro0q081eQuDxzJ3Qw9FN8Jqn?= =?us-ascii?q?vUr8v6NKEUUe2uwqnH1i/PYO9R2Tf48YXFdA0qr/+LXbJ1a8XRyE8vGhvejlWR?= =?us-ascii?q?pozlJzeV2f4Ls2SB6OpgT+2vh3YnqwF2vjig2t0sipHTio0JzVDE8CN0y5s2K9?= =?us-ascii?q?2gUEN2YNypHIFOuyyUKod6WN4uTmFmtSogxLAKpYa3cSsWxJg92hLSb/yKf5KV?= =?us-ascii?q?7h/jSuqdOzR1iGx9dLKxmRm/8lSsx+j5W8Sw01tHoClIn9zNu38Q1xHe682KR/?= =?us-ascii?q?Vz80u/3DuAywTe5f9eLk0yiKHVMYQuwqQqmZoWqUnDHjH5mEHxjKKOc0Ul9fSk?= =?us-ascii?q?5P/+brn6upOQK4x5hh//P6gyh8CzG/w4MhAOX2ic4uS8yKPs8lDjTLpWif02l7?= =?us-ascii?q?HVsJHcJcsFuq60Gw5Y34Q55xqhATqqzc4UkWQHIV9LYh6KgZTlN0nLIP/iDPe/?= =?us-ascii?q?h1qskC1sx/DDJrDhGo/NLmbYkLr5ebtw6k1RxQg9wN1d459bF78BIPzrV0Drt9?= =?us-ascii?q?zXEBk5MwqvzubpE9pxzJ8RWWWKAqOBKqPdrUeI5v4zI+mLfIIapCzyK/0h5/L3?= =?us-ascii?q?iX85mEQdfbWy0JsMaHG4G+xmLF+DbXrthNcBC2YKsRAkQOzkkl3RGQJUMjy5Vq?= =?us-ascii?q?c4ozU6E56ODIHZR4nrjqbLlHOwF5hSI2RHEUykEHHydozCVe1aOwyIJco0uzoI?= =?us-ascii?q?T7W+A6ws0xejuB6yn7NkI+zS0iMS85nk0Y4mtKXoiRgu+GksXIym2GaXQjQsxz?= =?us-ascii?q?Jad3oNxKl65HdF5BKG2Kl8jeZfEIwB6fkPWQA/Z8eFk75KTuvqUweERe+nDU68?= =?us-ascii?q?S4X0Dzt3RdU0kYdXPhRNXu66hxWG5BKERr8Yk7vRVM4x4vrWmiCpf5YnlS6fkr?= =?us-ascii?q?E5j149XsZDc2ahg/wn+g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BOAwCyNQ1bhx6Z50NVBoMhgTZwBAsoC?= =?us-ascii?q?oxQjAyDCJRdA14lB4ZYGQcBBDMVAQIBAQEBAQEBAQETAQEBCA0JCCgjAQuCNSK?= =?us-ascii?q?CUgYdIwEBJhIPAgEIRjIlAQEECgkIDAeDBwKBZwMIDQEDC5k2AooBAQEBgweCb?= =?us-ascii?q?wEBBYQOGIEhgWADBYg2gVQ/gQ+DDYMRBIE3GYM+giSGGoEshRyMAgmFIkqKL4N?= =?us-ascii?q?vgl+EfYlshngCAgICCQINAQEFgVdcgRgzGggbFYI6RIV8hRSFPm+BFYwLgS4Bg?= =?us-ascii?q?RgBAQ?= X-IPAS-Result: =?us-ascii?q?A0BOAwCyNQ1bhx6Z50NVBoMhgTZwBAsoCoxQjAyDCJRdA14?= =?us-ascii?q?lB4ZYGQcBBDMVAQIBAQEBAQEBAQETAQEBCA0JCCgjAQuCNSKCUgYdIwEBJhIPA?= =?us-ascii?q?gEIRjIlAQEECgkIDAeDBwKBZwMIDQEDC5k2AooBAQEBgweCbwEBBYQOGIEhgWA?= =?us-ascii?q?DBYg2gVQ/gQ+DDYMRBIE3GYM+giSGGoEshRyMAgmFIkqKL4Nvgl+EfYlshngCA?= =?us-ascii?q?gICCQINAQEFgVdcgRgzGggbFYI6RIV8hRSFPm+BFYwLgS4BgRgBAQ?= X-IronPort-AV: E=Sophos;i="5.49,456,1520895600"; d="scan'208";a="266854724" Received: from mx0b-00082601.pphosted.com ([67.231.153.30]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 29 May 2018 13:14:18 +0200 Received: from pps.filterd (m0148460.ppops.net [127.0.0.1]) by mx0a-00082601.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w4TBDkG7009079 for ; Tue, 29 May 2018 04:14:16 -0700 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fb.com; h=from : to : subject : date : message-id : references : in-reply-to : content-type : content-transfer-encoding : mime-version; s=facebook; bh=9BROGz8fbD4x0WWbSUVwuu1qB4CGMRs3slFcwkAEo2I=; b=ZQQo/KubPeHaahKevqPhT2/kSiFNhnxeYcS0Cc2XgmSC5oYw/9O1i822giLCDW8y4Kuj 469fKPLGE4Y21/Y0ud6W8R3RMzPuQgdJvzpC2G05hgO83lxS4k3noyu7DQQkxsnT/TQv aJKkCBu7sjE2pQnH1h0tnXPwE6WAElA6V/w= Received: from maileast.thefacebook.com ([199.201.65.23]) by mx0a-00082601.pphosted.com with ESMTP id 2j93ear8kc-1 (version=TLSv1 cipher=ECDHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Tue, 29 May 2018 04:14:16 -0700 Received: from NAM02-BL2-obe.outbound.protection.outlook.com (192.168.183.28) by o365-in.thefacebook.com (192.168.177.34) with Microsoft SMTP Server (TLS) id 14.3.361.1; Tue, 29 May 2018 07:14:15 -0400 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=9BROGz8fbD4x0WWbSUVwuu1qB4CGMRs3slFcwkAEo2I=; b=e2pILhZSGEiB1JM2b48Quvqi9uxvoKzzZUQx6ybG9SjKcPoxxvVrtZ9MYcTAEOSzrexHVEb9wwqgBKCQZeBOBX4ijXF16U+JNaeDYyYt4UibzgK6+7m2Wy/WzfKUCMZBMok6OFREmYu5X66eA4Qh6L1qAf3UZd7WquwVHfUweM8= Received: from DM3PR15MB0668.namprd15.prod.outlook.com (10.164.33.18) by DM3PR15MB0986.namprd15.prod.outlook.com (10.166.159.156) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.797.11; Tue, 29 May 2018 11:14:13 +0000 Received: from DM3PR15MB0668.namprd15.prod.outlook.com ([fe80::9838:6d56:332:c9ea]) by DM3PR15MB0668.namprd15.prod.outlook.com ([fe80::9838:6d56:332:c9ea%13]) with mapi id 15.20.0797.017; Tue, 29 May 2018 11:14:13 +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/fScaoX8gH8CRyg Date: Tue, 29 May 2018 11:14:13 +0000 Message-ID: References: In-Reply-To: Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [80.195.152.82] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;DM3PR15MB0986;7:auPeYr/RMmuF8tWuNls1FSK55nX2xxeYD84i+MGR3ayIoyMfisFWtQnxLqdfn+Zezx25KIW9P/iNeLNE+y/TswpB8vcxaZ9aULM/68ASSGSdMoDYdZ0BcAFrorvwxMoI26Kdl7dE3m0vju15WMLyXbRJKnIbvdbm5xD4h0/xeweSRsgN+Y0wIkFTMJrCoNSxhPzhp3HaV2DFr7Ljl98zAj4eAleKz9URvGMzqw6oTSSBuG/Uz/dbKwGQL1aBx8CU;20:oUnzCXGe/5+p/4d1m4712jkdNxjNxHsvQguKv++X0mbF6ga2HoBbo1A/HrzDEWX5HztXE/15R7eK0H4oiPUNclcsInFNjpAHVMsqc1iEweIrMf3P8MFICKk/qghg2uITJDVIKL2ZHE6q8D+jAfCnKcifu90v4XQbxKDXrp0A0A0= 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:DM3PR15MB0986; x-ms-traffictypediagnostic: DM3PR15MB0986: 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)(93006095)(93001095)(3231254)(11241501184)(944501410)(52105095)(10201501046)(149027)(150027)(6041310)(201703131423095)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(20161123564045)(20161123562045)(20161123558120)(20161123560045)(6072148)(201708071742011)(7699016);SRVR:DM3PR15MB0986;BCL:0;PCL:0;RULEID:;SRVR:DM3PR15MB0986; x-forefront-prvs: 0687389FB0 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(376002)(366004)(396003)(346002)(39860400002)(39380400002)(189003)(199004)(53434003)(8936002)(478600001)(97736004)(14454004)(45080400002)(966005)(5660300001)(99286004)(74316002)(229853002)(6436002)(2900100001)(486006)(2501003)(86362001)(8676002)(68736007)(66066001)(5250100002)(81156014)(7736002)(6246003)(106356001)(7696005)(105586002)(3660700001)(2351001)(3280700002)(76176011)(59450400001)(26005)(102836004)(6506007)(81166006)(6306002)(6916009)(9686003)(53936002)(25786009)(6116002)(2906002)(3846002)(305945005)(55016002)(5640700003)(33656002)(476003)(11346002)(446003)(186003)(316002);DIR:OUT;SFP:1102;SCL:1;SRVR:DM3PR15MB0986;H:DM3PR15MB0668.namprd15.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; x-microsoft-antispam-message-info: +r5pIZReLr8AWmu+tRJX8cjP2UxybUIk5xXaGXyTIub9UK/ZfAcWr7e7ZdaPayb5UcC6xm1j1bB572QuqBHpnWLQ+T6HY5dH6R62nQczQrVZ3ZQjXc9vzQ8v8hR38Py5JxN9AVkmpaftlW9Ap4FIgzjRoak3zq4YGm56at9drrR5hZYbplt7uFxCOBPFgo5t 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: 594de316-17ea-4ab9-699b-08d5c5554f76 X-MS-Exchange-CrossTenant-Network-Message-Id: 594de316-17ea-4ab9-699b-08d5c5554f76 X-MS-Exchange-CrossTenant-originalarrivaltime: 29 May 2018 11:14:13.7751 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 8ae927fe-1255-47a7-a2af-5f3a069daaa2 X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM3PR15MB0986 X-OriginatorOrg: fb.com X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:,, definitions=2018-05-29_04:,, signatures=0 X-Proofpoint-Spam-Reason: safe X-FB-Internal: Safe Subject: RE: [Caml-list] OCaml Users and Developers Workshop 2018: Call for presentations Reply-To: Andrew Kennedy X-Loop: caml-list@inria.fr X-Sequence: 16913 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: This is just a reminder that the deadline for submissions to the OCaml User= s and Developers Workshop 2018 is coming up shortly, on 31 May. A typical submission is just two pages describing a proposed presentation, = so please do consider submitting! Thanks, and apologies for the duplication, Andrew Kennedy (PC chair) We warmly invite submissions to the OCaml Users and Developers Workshop 201= 8, to be held during the ICFP conference week on Thursday, September 27th i= n 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 development of the language and its programming environment, includ= ing, 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 ------------- The OCaml Users and Developers Workshop will be an informal meeting with no= formal proceedings. The presentation material will be available online fro= m the workshop homepage. The presentations may be recorded, and made availa= ble at a later time. The main presentation format is a workshop talk, tradi= tionally 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 whic= h presentations should be delivered as posters or talks. Submission ---------- To submit a presentation, please register a description of the talk (up to = 4 pages long) at https://ocaml18.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 com= mon and welcome submission format. For accessibility purposes, we ask PDF s= ubmitters to also provide the sources of their submission in a textual form= at, such as .tex sources. Reviewers may read either the submitted PDF or th= e text version. Important dates --------------- Thursday 31st May (any time zone): Abstract submission deadline Thursday 28= th June: Author notification 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 the ML-style programming and type systems, focuses on more research-ori= ented work that is less specific to a language in particular (OCaml). There= is an overlap between the two workshops, and we have occasionally transfer= red presentations from one to the other in the past. The authors who feel t= heir submission fits both workshops are encouraged to mention it at submiss= ion time and/or contact the Program Chairs. We are planning to publish combined post-proceedings and to invite interest= ed authors of selected presentations to expand their abstracts for inclusio= n. Program committee ----------------- Andrew Kennedy, Facebook, UK (chair) Stephen Dolan, University of Cambridge, UK Clark Gaebel, Jane Street, Nicol= =E1s Ojeda B=E4r, LexiFi, France Jonathan Protzenko, Microsoft Research, US= A Gabriel Scherer, INRIA, France Kanae Tsushima, National Institute of Info= rmatics, 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=