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 JAA24499; Wed, 3 Dec 2003 09:56:20 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA23745 for ; Wed, 3 Dec 2003 09:56:18 +0100 (MET) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hB38uI101557 for ; Wed, 3 Dec 2003 09:56:18 +0100 (MET) Received: from helium.pps.jussieu.fr (helium.pps.jussieu.fr [134.157.168.2]) by shiva.jussieu.fr (8.12.10/jtpda-5.4) with ESMTP id hB38u9qY036269 for ; Wed, 3 Dec 2003 09:56:13 +0100 (CET) Received: from [134.157.168.64] (gadolinium.pps.jussieu.fr [134.157.168.64]) by helium.pps.jussieu.fr (8.11.6/jtpda-5.3.2) with ESMTP id hB38u8L46892 ; Wed, 3 Dec 2003 09:56:08 +0100 (CET) Date: Wed, 3 Dec 2003 10:02:33 +0100 Subject: [Caml-list] nominations for Goedel Prize 2004 Content-Type: text/plain; charset=US-ASCII; format=flowed Mime-Version: 1.0 (Apple Message framework v552) Cc: curien@pps.jussieu.fr To: caml-list@inria.fr From: Pierre-Louis Curien Content-Transfer-Encoding: 7bit Message-Id: <6EBAB2F2-256F-11D8-839E-000393DAA298@local.> X-Mailer: Apple Mail (2.552) X-Antivirus: scanned by sophie at shiva.jussieu.fr X-Loop: caml-list@inria.fr X-Spam: no; 0.00; 2004:99 pierre-louis:01 curien:01 pierre-louis:01 curien:01 2004.:99 categorical:01 2004:99 appointed:99 semantics:01 logical:02 probably:05 languages:06 jussieu:07 programming:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This message is to draw your attention on the Goedel Prize http://www.math.utu.fi/ICALP04/godel2004.html which is probably still not well-enough known in the communities of programming languages, global computing, semantics, and logical / categorical / probabilistic foundations. The deadline for nominations is Januuary 10, 2004 As a newly appointed member of the jury, I encourage submissions in this general area of researchy! Please do not hesitate to forward this message to other relevant mailing lists. Best regards, Pierre-Louis Curien ------------------- 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