From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2510 Path: news.gmane.org!not-for-mail From: Pierre-Louis Curien Newsgroups: gmane.science.mathematics.categories Subject: nominations for Goedel Prize 2004 Date: Wed, 3 Dec 2003 10:06:53 +0100 Message-ID: <26778.5111246214$1241018715@news.gmane.org> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 (Apple Message framework v552) Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018715 4514 80.91.229.2 (29 Apr 2009 15:25:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:25:15 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Dec 3 16:51:46 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 03 Dec 2003 16:51:46 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1ARduJ-00046W-00 for categories-list@mta.ca; Wed, 03 Dec 2003 16:47:35 -0400 X-Mailer: Apple Mail (2.552) X-Antivirus: scanned by sophie at shiva.jussieu.fr Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 4 Original-Lines: 26 Xref: news.gmane.org gmane.science.mathematics.categories:2510 Archived-At: 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