Logic List Mailing Archive
Announcement: EEF Summer School on Logical Methods (Aarhus) (fwd)
---------- Forwarded message ----------
Date: Thu, 11 Jan 2001 15:12:05 +0100 (MET)
From: Ulrich Kohlenbach <firstname.lastname@example.org>
Subject: Announcement: EEF Summer School on Logical Methods (Aarhus)
EEF Summer School on Logical Methods
June 25-July 6, 2001
BRICS, University of Aarhus, Denmark.
Courses will be given by:
M. Bezem (Bergen): Type Theory,
R. Crole (Leicester): Categorical Logic,
U. Kohlenbach (Aarhus): Computational Content of Proofs,
O. Kupferman (Jerusalem): Model Checking,
J. Makowsky (Haifa): Model theoretic methods in combinatorics and complexity,
A. Scedrov (Philadelphia): Logic in Computer Security,
C. Schuermann (Yale): Logical Frameworks,
J. Tucker (Swansea): Computable functions on many sorted algebras,
A. Voronkov (Manchester): Proof Theory and Automated Deduction,
I. Walukiewicz (Warsaw): Automata and Logic.
Further information can be obtained at
or by sending an email to LogicsSchool01@brics.dk.
An electronic registration form will soon be available on the
schools website mentioned above.
Grants for students to attend the school, covering registration,
accommodation and local costs, can be applied for on the same form.
Organizing Committee: Janne Christensen (secretary),
Ulrich Kohlenbach, Mogens Nielsen, Glynn Winskel.
The school is co-sponsored by the European Educational Forum (EEF)
and BRICS (Basic Research in Computer Science) funded by the Danish
National Research Foundation.