From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 1C519BC6B for ; Thu, 6 Sep 2007 09:19:28 +0200 (CEST) Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.191]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l867JRbd004986 for ; Thu, 6 Sep 2007 09:19:27 +0200 Received: by nf-out-0910.google.com with SMTP id d21so65598nfb for ; Thu, 06 Sep 2007 00:19:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=mXyYd+OkFphF1ByoKbLiJ7BBIsseIDKm4EUPmkAx4S0=; b=IxAPjhwyJNPeVxk//GPIc+IMaUMMKIUyNeo9Hf7sbB9M8yS6tOK7LtdYOP9npCigyfg/7gpc1/o9QQFVDpXI0/4bGjYcuCFGaZcfY4/6qWdlCGm+E0cIz7GsDH0vBgFulhQEFf5YGyj9LWV1MLxgidBY8RaA37sPyHaQPU6n6T4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=hSLRWQwVYG5xJTuoWMrkyK+Ib/YDmwC0Ax88yLx0PNG4eboUmWJI3a3Nscfh3+fJS2WkfEtbtDdLWwk+SPT80esVktY2ud2X1R8PYpXf+ePOjKFW5Opzj0WcetvqLlxd9CMsfkbr2k4paiV4Z//7zAue0cmSRrh89ka04aToe5A= Received: by 10.86.71.1 with SMTP id t1mr367204fga.1189062792480; Thu, 06 Sep 2007 00:13:12 -0700 (PDT) Received: by 10.86.74.3 with HTTP; Thu, 6 Sep 2007 00:13:12 -0700 (PDT) Message-ID: Date: Thu, 6 Sep 2007 02:13:12 -0500 From: "Derek Dreyer" To: Sml-list@lists.sourceforge.net, Caml-list@yquem.inria.fr Subject: Call for Participation: 2007 Workshop on ML In-Reply-To: <7fa251b70709060011g50c1a779u6b5a7244f915df27@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <7fa251b70709060009x749f33ecs6ae4ae26aa632755@mail.gmail.com> <7fa251b70709060011r2fd5ad87xd6595125816eb2e3@mail.gmail.com> <7fa251b70709060011g50c1a779u6b5a7244f915df27@mail.gmail.com> X-j-chkmail-Score: MSGID : 46DFA9FF.003 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46DFA9FF.003 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; co-located:01 icfp:01 didier:01 icfp:01 mlf:01 didier:01 inference:01 reppy:01 rossberg:01 filliatre:01 tyng-ruey:01 chuang:01 ocaml:01 derek:98 derek:98 Below is the preliminary program for the 2007 Workshop on ML, which is co-located with ICFP 2007 and will take place on Friday, October 5. The early registration deadline is this Friday, September 7! We are pleased to have Didier R=E9my as our invited speaker. In addition, we are planning to conclude the workshop with a "5-Minute Madness" session, in which attendees can give brief impromptu talks on ML-related topics. The proposed theme for this year's madness session is "Design Ideas for Next-Generation ML", but talks on other topics are welcome as well. If you are interested in giving a 5-Minute Madness talk, please send mail (with a brief mention of what you would like to talk about) to the program chair at dreyer@tti-c.org. I hope to see you at the workshop! Derek Dreyer ------------------ ML 2007 Website: http://research.microsoft.com/~crusso/ml2007/ Registration Website: http://proglang.informatik.uni-freiburg.de/ICFP2007/registration.shtml Preliminary Program: 8:50-9:00 Welcome/Opening remarks Derek Dreyer, Program Chair 9:00-10:00 Invited talk: MLF for Everyone (Users, Implementers, and Designers) Didier R=E9my 10:00-10:30 Coffee Break 10:30-12:30 Efficient ML Type Inference Using Ranked Type Variables George Kuan and David MacQueen Status Report: The Manticore Project Matthew Fluet, Nic Ford, Mike Rainey, John Reppy, Adam Shaw and Yingqi = Xiao Status Report: HOT Pickles, and How to Serve Them Andreas Rossberg, Guido Tack and Leif Kornstaedt A Persistent Union-Find Data Structure Sylvain Conchon and Jean-Christophe Filliatre 12:30-14:00 Lunch Break 14:00-15:30 Status Report: Specifying JavaScript with ML David Herman and Cormac Flanagan Status Report: Layered Streaming XML Processing with Modules Tyng-Ruey Chuang and Max Schaefer Status Report: Marionnet -- How to Implement a Virtual Network Laboratory in Six Months and Be Happy Jean-Vincent Loddo and Luca Saiu 15:30-16:00 Coffee Break 16:00-17:00 Generics for the Working ML'er Vesa Karvonen Practical Generic Programming in OCaml Jeremy Yallop 17:00-18:00 5-Minute Madness: Design Ideas for Next-Generation ML