From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3864 Path: news.gmane.org!not-for-mail From: Lars Birkedal Newsgroups: gmane.science.mathematics.categories Subject: Ph.D. scholarships at the IT University of Copenhagen Date: Sun, 26 Aug 2007 09:40:15 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1241019568 10626 80.91.229.2 (29 Apr 2009 15:39:28 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:39:28 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Sun Aug 26 11:59:25 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 26 Aug 2007 11:59:25 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1IPJUf-0000WC-4h for categories-list@mta.ca; Sun, 26 Aug 2007 11:53:37 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 15 Original-Lines: 18 Xref: news.gmane.org gmane.science.mathematics.categories:3864 Archived-At: A number of Ph.D. scholarships are available at the IT University of Copenhagen, including some in the areas of the Programming, Logic and Semantics (PLS) Group with research in programming languages, automated reasoning, logical frameworks, type theory, semantics, category theory, domain theory, distributed and mobile computing, business processes, concurrency theory, electronic voting. Please let potential students know. Deadline for application is October 22. See http://www1.itu.dk/sw66047.asp for the official announcement. Best wishes, Lars Birkedal Head of the PLS group.