coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Deadline extended: ML Workshop 2008

From: "Eijiro Sumii" <eijiro.sumii AT gmail.com>
To: coq-club AT pauillac.inria.fr
Cc: "Eijiro Sumii" <sumii AT ecei.tohoku.ac.jp>
Subject: [Coq-Club] Deadline extended: ML Workshop 2008
Date: Sun, 22 Jun 2008 22:49:13 +0900
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:mime-version:content-type :content-transfer-encoding:content-disposition; b=G9wrFueMD5i5sNgGRQmIdTbmRaBmBW/1PLiWe1Lj4SIzxdDiER5EAX/m9O3LQ5m4If oHqMXPvgmKZ2i2lYY1OiS3y/M+YBb134/YBZLORRuU7eDpuCXnc2yD04+XtCueFeFdhE ELsUY9okeeOyrhUq7kMsTwGTgSRBHdMQq2Nbw=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Dear all,

The submission deadline for ML Workshop 2008 is extended to June 27,
Friday (but please submit your abstract as early as possible).  For
details, please see the web page:

  http://www.kb.ecei.tohoku.ac.jp/ml2008/

Best regards,

  Eijiro Sumii (workshop chair)

[Coq-Club] Deadline extended: ML Workshop 2008, Eijiro Sumii