From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2058
Path: news.gmane.org!not-for-mail
From: Peter Selinger <selinger@mathstat.uottawa.ca>
Newsgroups: gmane.science.mathematics.categories
Subject: Ottawa Logic Group invites graduate student applications
Date: Sun, 16 Dec 2001 17:06:25 -0500 (EST)
Message-ID: <200112162206.fBGM6PW27582@quasar.mathstat.uottawa.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1241018373 2233 80.91.229.2 (29 Apr 2009 15:19:33 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:19:33 +0000 (UTC)
To: categories@mta.ca (Categories List)
Original-X-From: rrosebru@mta.ca Sun Dec 16 18:41:02 2001 -0400
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Sun, 16 Dec 2001 18:41:02 -0400
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 3.33 #2)
	id 16Fjik-0006FQ-00
	for categories-list@mta.ca; Sun, 16 Dec 2001 18:25:22 -0400
X-Mailer: ELM [version 2.5 PL3]
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 31
Original-Lines: 53
Xref: news.gmane.org gmane.science.mathematics.categories:2058
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2058>

Dear colleagues,

could you please circulate this announcement to anyone who might be
interested, particularly bright prospective graduate students.

Thanks, -- Phil, Rick, and Peter


The University of Ottawa Logic Group (in the Mathematics Department) is
looking for qualified PhD and Master's students.  Our group consisting
of Richard Blute, Philip Scott, and Peter Selinger, works in a wide
range of areas of Logic and theoretical computer science, including: 
category theory, categorical logic, proof theory, linear logic, type
theory, programming language theory, theoretical computer science, and
foundations of physics.

The Mathematics Department Graduate Program is part of the
Ottawa-Carleton Institute of Mathematics and Statistics, and provides
a wide range of courses and programs. Ottawa is the capital of Canada,
and a beautiful, bilingual (English and French) city, 200 km west of
Montreal.

Funding for qualified PhD level students in logic is available--an
open competition for graduate students will be held in early February.
It is also possible to apply to pursue graduate studies with us
through SITE (the School of Information Technology and Software
Engineering--Computer Science Division), since some of us are
cross-appointed in Computer Science. Please enquire.

Outside the Mathematics Department, the Logic Group has several other
members, including Amy Felty, Tomoyuki Yamakami, and Luigi Logrippo
(SITE), Doug Howe and Leopoldo Bertossi (Carleton School of Computer
Science), and Mathieu Marion (Philosophy, Ottawa), plus visitors and
postdocs.  We have a weekly seminar in all areas of logic and in which
graduate students are encouraged to present their work.

For more information, see:

  http://quasar.mathstat.uottawa.ca/lfc/    (Logic Group)
  http://quasar.mathstat.uottawa.ca/grad/   (Graduate Program in Math)

Preliminary applications can be completed online, at

  http://quasar.mathstat.uottawa.ca/grad/apply.html

Or for further information, please contact us:

  Philip Scott          scpsg@matrix.cc.uottawa.ca
  Richard Blute         rblute@mathstat.uottawa.ca
  Peter Selinger        selinger@mathstat.uottawa.ca