[Prev][Next][Index][Thread]
Copenhagen Logic Summer School
-
To: types@cs.indiana.edu
-
Subject: Copenhagen Logic Summer School
-
From: Klaus Grue <grue@diku.dk>
-
Date: Wed, 11 Jun 1997 12:15:24 +0200
-
Delivery-Date: Wed, 11 Jun 1997 05:15:41 -0500
Announcement of Copenhagen Logic Summer School 97, August 11-22
All information on: http://www.diku.dk/~grue/cls.html
Registration deadline: June 23
The summer school primarily aims at Nordic Ph.D. students,
but is open to all interested in mathematical logic.
Program:
Klaus Grue: Basic logic
Dag Normann: Recursion theory
Herman Jervell: Proof theory
Morten Heine Sorensen: Untyped lambda calculus
Thierry Coquand: Typed lambda calculus
Neil Jones: Complexity
Erik Palmgren: Effective enumeration
Erik Palmgren: Domain theory
Klaus Grue: Map theory
Anders Kock: Category theory