[FOM] conference on fine structure

[Martin Davis]

I've been asked to post the following information:
****************************************************************************************
SWIFT 2003, BONN
SUMMER WORKSHOP IN FINESTRUCTURE THEORY

http://www.math.uni-bonn.de/people/logic/Events/SWIFT/

University of Bonn, Mathematical Institute, Bonn, Germany, July 7 to 11,
2003

The SWIFT Summer Workshop will consist of an intense one-week tutorial
course on a simplified finestructure theory for Gvdel's constructible
universe, and of invited and contributed talks. The workshop is equally
directed towards specialists in constructibility theory and towards
researchers in logic who are interested in a compact introduction to the
constructible universe and its finestructure.

The tutorial course will be given by Bernhard Irrgang, Peter Koepke and
Michael Mvllerfeld and will provide a comprehensive treatment of
constructibility theory. It will start from Gvdel's well-known L-hierarchy
and lead up to square-principles, morasses and the Jensen covering
theorem.

There will be four one-hour invited talks on finestructure theory and also
on its relation to proof theory. Invitations have already been accepted by

  * Wolfram Pohlers (M|nster),
  * Ralf-Dieter Schindler (Vienna),
  * Philip Welch (Bristol).

Contributed talks of 30 minutes from all fields of mathematical logic are
welcome.

Scientific and Organizing Committee: St. Bold, B. Irrgang, P. Koepke,
B. Lvwe, M. Mvllerfeld.

Deadlines:
Contributed talks: June 1, 2003; decisions on acceptance will
be made before June 15.
Financial support: June 1, 2003.
Registration: June 15, 2003




                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at eipye.com
                          (Add 1 and get 0)
                        http://www.eipye.com