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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 1E21F81792 for ; Wed, 19 Jun 2013 08:10:17 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Daan@microsoft.com) identity=pra; client-ip=207.46.163.150; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Daan@microsoft.com"; x-sender="Daan@microsoft.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Daan@microsoft.com designates 207.46.163.150 as permitted sender) identity=mailfrom; client-ip=207.46.163.150; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Daan@microsoft.com"; x-sender="Daan@microsoft.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@na01-bn1-obe.outbound.protection.outlook.com) identity=helo; client-ip=207.46.163.150; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Daan@microsoft.com"; x-sender="postmaster@na01-bn1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArwAABtKwVHPLqOWm2dsb2JhbABagzpJwDEOAQEBAQEGCwsJFCEHAYIpEQELHS4jAT5CJgEEGwwOh2wMllcBg0+CPoEKAQGHB4M1AQGSOo4DhSADmGqFAY4ogWhA X-IPAS-Result: ArwAABtKwVHPLqOWm2dsb2JhbABagzpJwDEOAQEBAQEGCwsJFCEHAYIpEQELHS4jAT5CJgEEGwwOh2wMllcBg0+CPoEKAQGHB4M1AQGSOo4DhSADmGqFAY4ogWhA X-IronPort-AV: E=Sophos;i="4.87,894,1363129200"; d="scan'208";a="22421432" Received: from mail-bn1lp0150.outbound.protection.outlook.com (HELO na01-bn1-obe.outbound.protection.outlook.com) ([207.46.163.150]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 19 Jun 2013 08:10:15 +0200 Received: from BY2FFO11FD009.protection.gbl (10.1.15.202) by BY2FFO11HUB009.protection.gbl (10.1.14.167) with Microsoft SMTP Server (TLS) id 15.0.707.0; Wed, 19 Jun 2013 06:10:12 +0000 Received: from TK5EX14MLTC102.redmond.corp.microsoft.com (131.107.125.37) by BY2FFO11FD009.mail.protection.outlook.com (10.1.14.73) with Microsoft SMTP Server (TLS) id 15.0.707.0 via Frontend Transport; Wed, 19 Jun 2013 06:10:11 +0000 Received: from co1outboundpool.messaging.microsoft.com (157.54.51.81) by mail.microsoft.com (157.54.79.180) with Microsoft SMTP Server (TLS) id 14.3.136.1; Wed, 19 Jun 2013 06:10:11 +0000 Received: from mail94-co1-R.bigfish.com (10.243.78.252) by CO1EHSOBE040.bigfish.com (10.243.66.105) with Microsoft SMTP Server id 14.1.225.23; Wed, 19 Jun 2013 06:09:11 +0000 Received: from mail94-co1 (localhost [127.0.0.1]) by mail94-co1-R.bigfish.com (Postfix) with ESMTP id 9606DB40099 for ; Wed, 19 Jun 2013 06:09:11 +0000 (UTC) X-Forefront-Antispam-Report-Untrusted: CIP:157.56.240.21;KIP:(null);UIP:(null);(null);H:BL2PRD0310HT003.namprd03.prod.outlook.com;R:internal;EFV:INT X-SpamScore: -5 X-BigFish: PS-5(zz936eIdb82h1462Izz1f42h1ee6h1de0h1fdah1202h1e76h1d1ah1d2ah1fc6hzz17326ah186M8275bh8275dhz31h2a8h668h839h944hd24hf0ah1220h1288h12a5h12a9h12bdh137ah13b6h1441h1504h1537h153bh162dh1631h1758h18e1h1946h19b5h19ceh1ad9h1b0ah1d07h1d0ch1d2eh1d3fh1dc1h1de9h1dfeh1dffh1e1dh9a9j1155h) X-Forefront-Antispam-Report-Untrusted: SFV:SKI;SFS:;DIR:OUT;SFP:;SCL:-1;SRVR:BLUPR03MB246;H:BLUPR03MB247.namprd03.prod.outlook.com;LANG:en; Received: from mail94-co1 (localhost.localdomain [127.0.0.1]) by mail94-co1 (MessageSwitch) id 1371622149227406_22313; Wed, 19 Jun 2013 06:09:09 +0000 (UTC) Received: from CO1EHSMHS024.bigfish.com (unknown [10.243.78.232]) by mail94-co1.bigfish.com (Postfix) with ESMTP id 34813D00059 for ; Wed, 19 Jun 2013 06:09:09 +0000 (UTC) Received: from BL2PRD0310HT003.namprd03.prod.outlook.com (157.56.240.21) by CO1EHSMHS024.bigfish.com (10.243.66.34) with Microsoft SMTP Server (TLS) id 14.1.225.23; Wed, 19 Jun 2013 06:09:09 +0000 Received: from BLUPR03MB246.namprd03.prod.outlook.com (10.255.213.18) by BL2PRD0310HT003.namprd03.prod.outlook.com (10.255.97.38) with Microsoft SMTP Server (TLS) id 14.16.324.0; Wed, 19 Jun 2013 06:09:08 +0000 Received: from BLUPR03MB247.namprd03.prod.outlook.com (10.255.213.21) by BLUPR03MB246.namprd03.prod.outlook.com (10.255.213.18) with Microsoft SMTP Server (TLS) id 15.0.702.21; Wed, 19 Jun 2013 06:09:07 +0000 Received: from BLUPR03MB247.namprd03.prod.outlook.com ([169.254.1.187]) by BLUPR03MB247.namprd03.prod.outlook.com ([169.254.1.187]) with mapi id 15.00.0702.005; Wed, 19 Jun 2013 06:09:07 +0000 From: Daan Leijen To: "caml-list@inria.fr" Thread-Topic: ML 2013: last call for presentations Thread-Index: Ac5ss2coRNzx2OY9RkeAKsKNiPqFyw== Date: Wed, 19 Jun 2013 06:09:07 +0000 Message-ID: <064400c3021b451f9da26312912f1927@BLUPR03MB247.namprd03.prod.outlook.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [64.187.161.241] Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OrganizationHeadersPreserved: BLUPR03MB246.namprd03.prod.outlook.com X-FOPE-CONNECTOR: Id%0$Dn%*$RO%0$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%59$Dn%INRIA.FR$RO%2$TLS%6$FQDN%corpf5vips-237160.customer.frontbridge.com$TlsDn% X-CrossPremisesHeadersPromoted: TK5EX14MLTC102.redmond.corp.microsoft.com X-CrossPremisesHeadersFiltered: TK5EX14MLTC102.redmond.corp.microsoft.com X-Forefront-Antispam-Report: CIP:131.107.125.37;CTRY:US;IPV:CAL;IPV:NLI;EFV:NLI;SFV:NSPM;SFS:(189002)(199002)(52184005)(377424004)(33646001)(69226001)(4396001)(74706001)(76176001)(561944002)(74876001)(44976003)(6806003)(47776003)(20776003)(77096001)(59766001)(76786001)(76796001)(47976001)(76576001)(56776001)(15202345003)(47446002)(63696002)(50986001)(47736001)(49866001)(81542001)(80022001)(81342001)(74662001)(16676001)(54356001)(56816003)(46406003)(65816001)(79102001)(77982001)(46102001)(54316002)(51856001)(76482001)(53806001)(23726002)(50466002)(66066001)(31966008)(74366001)(74316001)(74502001)(24736002);DIR:OUT;SFP:;SCL:1;SRVR:BY2FFO11HUB009;H:TK5EX14MLTC102.redmond.corp.microsoft.com;CLIP:131.107.125.37;RD:InfoDomainNonexistent;MX:1;A:1;LANG:en; X-OriginatorOrg: microsoft.onmicrosoft.com X-O365ENT-EOP-Header: Message processed by - O365_ENT: Allow from ranges (Engineering ONLY) X-Forefront-PRVS: 08828D20BC X-Validation-by: daan@microsoft.com Subject: [Caml-list] ML 2013: last call for presentations There are still a few days left to write a short talk proposal=20 for the ML workshop 2013! Since there are no official proceedings,=20 this is an ideal venue if you are working on a full submission=20 for some other conference but want to talk about the work early=20 on and get useful community feedback. Hope to see you there, -- Daan=20 ACM SIGPLAN Workshop on ML Sunday, September 22, 2013, Boston MA (co-located with ICFP) http://research.microsoft.com/en-us/um/people/daan/mlworkshop2013 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=20 The ML family of programming languages includes dialects known as Standard ML, OCaml, and F#. These languages have inspired a large amount of computer-science research, both practical and theoretical. This workshop aims to provide a forum where users, developers and researchers of ML languages and related technology can interact and discuss ongoing research, open problems and innovative applications. =20=20=20=20=20=20 The ML workshop has adopted an informal model since 2010. It is a=20 workshop with presentations selected from submitted abstracts. There=20 are no published proceedings, so any contributions may be submitted=20 for publication elsewhere. We hope that this format encourages the=20 presentation of exciting (if unpolished) research and deliver a lively=20 workshop atmosphere. SCOPE ----- We seek research presentations on topics related to ML, including but not limited to * Applications: case studies, experience reports, pearls, etc. * Extensions: higher forms of polymorphism, generic programming, objects, concurrency, distribution and mobility, semi-structured data handling, etc. * Type systems: inference, effects, overloading, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * Implementation: compilers, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, etc. * Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * Semantics: operational, denotational, program equivalence, parametricity, mechanization, etc. Three kinds of submissions will be accepted: Research Presentations, Experience Reports and Demos. * Research Presentations: Research presentations should describe new ideas, experimental results, significant advances in ML-related projects, or informed positions regarding proposals for next-generation ML-style languages. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users. * Experience Reports: Users are invited to submit Experience Reports about their use of ML languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve. * Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML. (Please note that you will need to provide all the hardware and software required for your demo; the workshop organizers are only able to provide a projector.) Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. SUBMISSION INSTRUCTIONS ----------------------- Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. Submissions longer than half a page should include a one-paragraph synopsis suitable for inclusion in the workshop program. Submissions must be uploaded to the following website before the submission deadline (2013-06-21): https://www.easychair.org/conferences/?conf=3Dml2013 For any question concerning the scope of the workshop or the submission process, please contact the program chair (daan at microsoft.com). IMPORTANT DATES --------------- * Friday, June 21 : Submission * Monday, July 22 : Notification * Sunday, September 22: Workshop PROGRAM COMMITTEE ----------------- Daan Leijen (chair) (Microsoft Research, US)=20 Jesse A. Tov (Harvard University, US)=20 Derek Dreyer (MPI-SWS, Germany)=20 Atsushi Ohori (Univ. of Tohoku, Japan)=20 Lars Bergstrom (Univ. of Chicago, US)=20 Jean Yang (MIT CSAIL, US)=20 Gavin Bierman (Microsoft Research, Cambridge, UK)=20 Tomas Petricek (Univ. of Cambridge, UK)=20 Yukiyoshi Kameyama (Univ. of Tsukuba, Japan)=20 Peter Thiemann (Univ. of Freiburg, Germany)=20 STEERING COMMITTEE ------------------ Matthew Fluet (Chair, Rochester Institute of Technology)=20 Alain Frisch (LexiFi)=20 Jacques Garrigue (Nagoya University)=20 Yaron Minsky (Jane Street)=20 Greg Morrisett (Harvard University)=20 Chung-chieh Shan (Indiana University)=20 Anil Madhavapeddy (Cambridge University) Daan Leijen (Microsoft Research) =20=20