coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 2007 ML Workshop deadline extended

From: Claudio Russo <crusso AT microsoft.com>
To: "MLton-user AT mlton.org" <MLton-user AT mlton.org>, "SMLNET-USERS AT JISCMAIL.AC.UK" <SMLNET-USERS AT JISCMAIL.AC.UK>, "sml-evolution AT cs.uchicago.edu" <sml-evolution AT cs.uchicago.edu>, "sml-implementers AT lists.sourceforge.net" <sml-implementers AT lists.sourceforge.net>, "theory AT cl.cam.ac.uk" <theory AT cl.cam.ac.uk>, Programming Languages Interest Group <igplan AT microsoft.com>, "sml-nj-dev AT lists.sourceforge.net" <sml-nj-dev AT lists.sourceforge.net>, FSharp Discussion <fsharp AT microsoft.com>, "coq-club AT pauillac.inria.fr" <coq-club AT pauillac.inria.fr>, "hol-info AT lists.sourceforge.net" <hol-info AT lists.sourceforge.net>
Subject: [Coq-Club] 2007 ML Workshop deadline extended
Date: Wed, 13 Jun 2007 15:16:52 +0100
Accept-language: en-US
Acceptlanguage: en-US
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

In response to requests from several authors, the deadline for the 2007 ML
Workshop will be extended over the weekend.  Submissions will be accepted
until 6 PM Samoan time on Sunday, June 17.  However, so that we know how many
papers to expect, PLEASE submit at least a stub document to the submission
website (linked to below) by Friday, June 15.  You can then resubmit a
revised document over the weekend.  After 6 PM Samoan time on Sunday, June
17, the submission site will be closed. If you want more time than that to
polish your submission, you will need to contact the program chair to ask
permission.

Workshop website: http://research.microsoft.com/~crusso/ml2007/
Submission website: https://www.softconf.com/starts/ml07/submit.html

Regards,
Claudio Russo (Workshop Organizer)
on behalf of
Derek Dreyer (Program Chair)

[Coq-Club] 2007 ML Workshop deadline extended, Claudio Russo