Logic List Mailing Archive

Colloquium Logicum 2006, Bonn (Germany), Sep 2006

First Announcement / Call for Papers

Colloquium Logicum 2006
Bonn, Germany, September 22-24, 2006

Biannual meeting of the German Logic Society (DVMLG)

Colloquium Logicum 2006 (CL 2006) will take place right after the annual
meeting of the German Mathematical Society (DVM) at Bonn. CL 2006 will
start on Friday, September 22 at 2 pm and finish on Sunday, September 24
around 3 pm.

The scientific program commences on Friday with two minisymposia which are
held in conjunction with the DMV-meeting: "The use of proof theory in
mathematics", organized by P. Schuster, M?nchen, and "Set theory",
organized by E. Schimmerling, Pittsburgh, and R. Schindler, M?nster (see
www.dmv2006.uni-bonn.de/minisymposien/minisymposien.html).

On Saturday and Sunday about six invited one-hour talks will be presented
on mathematical logic, complexity theory, history of logic, and philosophy
of mathematics. Celluci (Rome), Lempp (Wisconsin), Schwentick (Dortmund),
and Wainer (Leeds) have already accepted our invitation. A PhD colloquium
will feature four young postdocs and their dissertations.

There will also be contributed paper sessions for talks on logic and
related areas. Please send themes and informative abstracts for 20-25
minute talks to the addresses below before August 15, 2006.

The general assembly of the DVMLG will take place Saturday evening.

Further information concerning the program, registration, accomodation,
etc. can be found under http://www.math.uni-bonn.de/veranstaltung/cl2006/

The contact addresses of CL 2006 are:
dvmlg@math.uni-bonn.de
and:

CL2006
z.Hd. Prof. Dr. Peter Koepke
Universit?t Bonn
Beringstra?e 1
D 53115 Bonn
Tel. 0228 73 2947