From: "Derek Dreyer" <dreyer.publicity@gmail.com>
To: Sml-list@lists.sourceforge.net, Caml-list@yquem.inria.fr
Subject: Call for Participation: 2007 Workshop on ML
Date: Thu, 6 Sep 2007 02:13:12 -0500 [thread overview]
Message-ID: <db810ed70709060013l4906b5fakdf0ba70b39b90882@mail.gmail.com> (raw)
In-Reply-To: <7fa251b70709060011g50c1a779u6b5a7244f915df27@mail.gmail.com>
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émy 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émy
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
parent reply other threads:[~2007-09-06 7:19 UTC|newest]
Thread overview: expand[flat|nested] mbox.gz Atom feed
[parent not found: <7fa251b70709060011g50c1a779u6b5a7244f915df27@mail.gmail.com>]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=db810ed70709060013l4906b5fakdf0ba70b39b90882@mail.gmail.com \
--to=dreyer.publicity@gmail.com \
--cc=Caml-list@yquem.inria.fr \
--cc=Sml-list@lists.sourceforge.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox