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 F36E17F9BB for ; Fri, 4 Jul 2014 06:30:48 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=pra; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=mailfrom; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailhost.math.nagoya-u.ac.jp) identity=helo; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="postmaster@mailhost.math.nagoya-u.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlMBAGcttlOFBoIFnGdsb2JhbABEFoNfgwBJu3OIYw8BAQEBAQgUCTyEFhEGHQMBNgEXHAIPFwJfLYgnDpFumzB3hQgCkCaFexABBoEsi1gTgSGDJw8yEiSBFopUkCeBSIVHhDaMGC4 X-IPAS-Result: AlMBAGcttlOFBoIFnGdsb2JhbABEFoNfgwBJu3OIYw8BAQEBAQgUCTyEFhEGHQMBNgEXHAIPFwJfLYgnDpFumzB3hQgCkCaFexABBoEsi1gTgSGDJw8yEiSBFopUkCeBSIVHhDaMGC4 X-IronPort-AV: E=Sophos;i="5.01,598,1400018400"; d="scan'208";a="70089524" Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Jul 2014 06:30:46 +0200 Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 53BCC63CC for ; Fri, 4 Jul 2014 13:30:42 +0900 (JST) Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 0C3904151; Fri, 4 Jul 2014 13:30:42 +0900 (JST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=math.nagoya-u.ac.jp; h= from:content-type:content-transfer-encoding:subject:date:to :message-id:mime-version; s=alpha; bh=4ZovAZZAyfIqyz6HxMtbzFlh0J M=; b=yeQ5K2TST0yluIncj6IgJI44rueU1BcqZLZ+gHc+T0lNxdOKS4WP6JkhIe G3iX3zknkq61sezoE1ahLZh2YTBnXfLLMLA3BBqjnHwgrHK3TGHTsJaNHZmjiHet aXZozLi9mWlsJYO7XaGPjwRaKa1LvxBUxuqMgVibwdR7rRSGw= DomainKey-Signature: a=rsa-sha1; h=Received:From:Content-Type:Content-Transfer-Encoding:Subject:Date:To:Message-Id:Mime-Version:X-Mailer; b=ERMlALNOnvbGCI/0XmcFpZ/8msAbsmMWI+2rzREe1C3bEsez9lH739SFYONmSSflRu31BzqmrH4SRNfzqETb33AIOC/fVXWt2HKTFkA4xorVHOIDq0Gs0G6HLZacVCuq0akscd7jUprpbLh9mrd5aazimiqnWVYkkfHGUtOHKus=; c=nofws; d=math.nagoya-u.ac.jp; q=dns; s=alpha Received: from [192.168.1.212] (bsdserver10-alias1.math.nagoya-u.ac.jp [172.16.62.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id DFCAC4150; Fri, 4 Jul 2014 13:30:41 +0900 (JST) From: Jacques Garrigue Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Date: Fri, 4 Jul 2014 13:30:42 +0900 To: OCaml Mailing List Message-Id: <0444219B-F42E-4E21-A9E0-6992B7153A16@math.nagoya-u.ac.jp> Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.2\)) X-Mailer: Apple Mail (2.1878.2) Subject: [Caml-list] OCaml 2014 Call for Participation Dear Camlers, We have now a preliminary program for OCaml 2014, co-located with ICFP 2014 in Gothenburg, on September 5. We invite you to register for the workshop from the ICFP site: http://icfpconference.org/icfp2014/ You can find the up-to-date program at: http://ocaml.org/meetings/ocaml/201= 4/ Note that this year we are working in close cooperation with the ML Family workshop: http://okmij.org/ftp/ML/ML14.html Jacques Garrigue ----- OCaml 2014 - Preliminary Program 09:00-09:10 - Welcome 09:10-10:00 - Runtime system Multicore OCaml, by Stephen Dolan, Leo White, Anil Madhavapeddy (University= of Cambridge) Ephemerons meet OCaml GC, by Fran=C3=A7ois Bobot (CEA) 10:25-11:20 - Tools and libraries Introduction to 0install, by Thomas Leonard (University of Cambridge) Transport Layer Security purely in OCaml (*), by Hannes Mehnert (University= of Cambridge), David Kaloper Mer=C5=A1injak (University of Nottingham) OCamlOScope: a New OCaml API Search (*), by Jun Furuse (Standard Chartered = Bank, Singapore) 11:40-12:30 - OCaml News The State of OCaml (invited), Xavier Leroy (INRIA Paris-Rocquencourt) The OCaml Platform v1.0, by Anil Madhavapeddy (C), Amir Chaudhry (C), Jerem= ie Diminio (JS), Thomas Gazagnaire (C), Louis Gesbert (OCamlPro), Thomas Le= onard (C), David Sheets (C), Mark Shinwell (JS), Leo White (C), Jeremy Yall= op (C); (C =3D University of Cambridge, JS =3D Jane Street). 12:30-14:00 - Lunch 14:00-14:55 - Language A Proposal for Non-Intrusive Namespaces in OCaml, by Pierrick Couderc (I), = Fabrice Le Fessant (I+O), Benjamin Canou (O), Pierre Chambart (O); (I =3D I= NRIA, O =3D OCamlPro) Improving Type Error Messages in OCaml (*), by Arthur Chargu=C3=A9raud (INR= IA & Universit=C3=A9 Paris Sud) Github Pull Requests for OCaml development: a field report (*), by Gabriel = Scherer (INRIA) 15:10-16:30 - Joint Poster Session (with ML Family workshop) Core.Sequence: a unified interface for sequences, by Nicolas Oury (Jane Str= eet) Irminsule; a branch-consistent distributed library database, by Thomas Gaza= gnaire (C), Amir Chaudhry (C), Anil Madhavapeddy (C), Richard Mortier (Univ= ersity of Nottingham), David Scott (Citrix System), David Sheets (C), Grego= ry Tsipenyuk (C), Jon Crowcroft (C); (C =3D University of Cambridge) A Case for Multi-Switch Constraints in OPAM, by Fabrice Le Fessant (INRIA) LibreS3: design, challenges, and steps toward reusable libraries, by Edwin = T=C3=B6r=C3=B6k (Skylable Ltd.) Nullable Type Inference, by Michel Mauny and Benoit Vaugon (ENSTA-ParisTech) 16:30-17:50 - Applications Coq of OCaml, by Guillaume Claret (Universit=C3=A9 Paris Diderot) High Performance Client-Side Web Programming with SPOC and Js of ocaml (*),= by Mathias Bourgoin and Emmmanuel Chailloux (Universit=C3=A9 Pierre et Mar= ie Curie) Using Preferences to Tame your Package Manager, Roberto Di Cosmo (D+I), Pie= tro Abate (D), Stefano Zacchiroli (D), Fabrice Le Fessant (I), Louis Gesber= t (OCamlPro); (D =3D Universit=C3=A9 Paris Diderot, I =3D INRIA) Simple, efficient, sound-and-complete combinator parsing for all context-fr= ee grammars, using an oracle (*), by Tom Ridge (University of Leicester) 17:50 - Closing (*) short presentation