From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA20367; Mon, 18 Oct 2004 21:35:33 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA20599; Mon, 18 Oct 2004 21:35:28 +0200 (MET DST) Received: from laime.cs.uchicago.edu (laime.cs.uchicago.edu [128.135.11.94]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i9IJZRv2020076; Mon, 18 Oct 2004 21:35:27 +0200 Received: from [128.135.191.139] (tti5.uchicago.edu [128.135.191.139]) by laime.cs.uchicago.edu (Postfix) with ESMTP id 0A0436C7E8; Mon, 18 Oct 2004 14:35:23 -0500 (CDT) Mime-Version: 1.0 (Apple Message framework v619) Content-Transfer-Encoding: 7bit Message-Id: Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha1; boundary="Apple-Mail-3--438160599" To: sestoft@dina.kvl.dk, sml-list@lists.sourceforge.net, polyml@polyml.org, smlnj-dev-list@lists.sourceforge.net, Allen Stoughton , caml-list@inria.fr, taha@cs.rice.edu, caml@inria.fr, MLton@mlton.org, mlkit@it.edu, sml-list@lists.soureforge.net, sml-implementers@lists.sourceforge.net From: Matthias Blume Subject: [Caml-list] *** ML Workshop Proposal: request for assistance *** Date: Mon, 18 Oct 2004 14:35:23 -0500 X-Pgp-Agent: GPGMail 1.0.2 X-Mailer: Apple Mail (2.619) X-Miltered: at concorde with ID 41741AFF.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; matthias:01 blume:01 blume:01 icfp':01 johann:01 icfp':01 brics:01 danvy:01 conjuction:01 matthias:01 inference:01 higher-order:01 metaocaml:01 inference:01 debuggers:01 X-Attachments: type="application/pgp-signature" name="PGP.sig" name="PGP.sig" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --Apple-Mail-3--438160599 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; format=flowed Dear fellow ML-ers, as far as I can tell, the last ML workshop was held with ICFP'98. Therefore, I think it is high time for a restart of this valuable tradition. I am planning to submit a proposal for an ML workshop to Patricia Johann, the ICFP'05 Workshop Chair. But for this I need your help! Information on the proposal process can be found on this web page: http://www.brics.dk/~danvy/icfp05/call-for-workshops.html As you can see, the deadline for proposals is coming up very soon (November 1st), so we need to act quickly. In order of importance, I would like each of you to take a few minutes and respond to the following questions: 1. Would you be interested in attending a new ML workshop, to be held in conjuction with ICFP'05 in Tallin, Estonia? 2. Would you be willing to help organizing the event? (I am willing to do my part, but I could use a few experienced "old hands".) 3. Would you be willing to serve on the program committee (should you be asked). 4. Among researchers and students you know and who were not reached by this communication, how many do you think would be interested in attending? (We need a reasonable estimate on the total numer of attendees.) 5. If anyone could help me out with details on publicity and potentially published proceedings, I'd be very grateful. 6. If you notice that I missed someone who should have received this request but didn't, please forward it! Thanks! Given the short time frame, please don't delay your reply! Many thanks in advance, and let's hope we all meet in Tallin (and not just for ICFP)! Best regards, Matthias Blume blume@tti-c.org ------------------------ Draft statement of goals, shamelessly stolen from the '98 workshop (If you have suggestions for changes and improvements, please speak up!): The ML family of programming languages, whose dialects include Classic ML, Standard ML, Caml, and Objective Caml, has inspired a tremendous amount of language research, ranging from type inference to module systems to operational semantics to implementation. In large part ML typifies "HOT" (Higher-Order, Typed) language design and implementation. Draft CfP (again, for the most part shamelessly stolen; request for suggestions -- see above): We seek papers relevant to all ML-related topics including (but not limited to): * applications * extensions: objects, classes, concurrency, etc. * two-level language designs (Meta-ML, MetaOCaml, etc.) * type systems: inference, modules, specification, error reporting, etc. * implementation: compilers, interpreters, partial evaluators, garbage collectors, etc. * environments: libraries, tools, editors, debuggers, etc. * semantics Submitted papers should describe new ideas, experimental results, or informed positions regarding proposals for next-generation ML languages. In order to encourage lively discussion, submitted papers may describe work in progress. ---------------------- Cc: caml@inria.fr, caml-list@inria.fr, sml-list@lists.soureforge.net, sml-implementers@lists.sourceforge.net, smlnj-list@lists.sourceforge.net, smlnj-dev-list@lists.sourceforge.net, MLton@mlton.org, mlkit@it.edu, sestoft@dina.kvl.dk, polyml@polyml.org, allen@cis.ksu.edu, taha@cs.rice.edu --Apple-Mail-3--438160599 content-type: application/pgp-signature; x-mac-type=70674453; name=PGP.sig content-description: This is a digitally signed message part content-disposition: inline; filename=PGP.sig content-transfer-encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (Darwin) iD8DBQFBdBr7h76q9l45OhsRAmEBAKCBloNY1deVSxNIWS3B/6Am19EongCgoLhm Z9uvaHEHVpAZaoqUyvCW2yA= =TZIY -----END PGP SIGNATURE----- --Apple-Mail-3--438160599-- ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners