From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5318 Path: news.gmane.org!not-for-mail From: Thorsten Altenkirch Newsgroups: gmane.science.mathematics.categories Subject: PhD studentships at Nottingham Date: Wed, 2 Dec 2009 11:35:15 +0000 Message-ID: Reply-To: Thorsten Altenkirch NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v1076) Content-Type: text/plain;charset=us-ascii;format=flowed;delsp=yes Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1259798970 32007 80.91.229.12 (3 Dec 2009 00:09:30 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 3 Dec 2009 00:09:30 +0000 (UTC) To: Categories list Original-X-From: categories@mta.ca Thu Dec 03 01:09:23 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NFzG5-0006zV-0r for gsmc-categories@m.gmane.org; Thu, 03 Dec 2009 01:09:21 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NFylg-0006W2-KY for categories-list@mta.ca; Wed, 02 Dec 2009 19:37:56 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5318 Archived-At: Hi, the School of Computer Science at Nottingham is advertising 3 PhD positions (see attached), areas include Functional Programming (in our view this includes Applications of Category Theory and Type Theory) - see the webpages of the Functional Programming Lab: http://fp.cs.nott.ac.uk/ . The deadline for applications is 8th of January 2010. Please forward this to interested students. Cheers, Thorsten [For admin and other information see: http://www.mta.ca/~cat-dist/ ]