[TYPES/announce] Colloquium Logicum 2008, September 10-12

Thomas Streicher streicher at mathematik.tu-darmstadt.de
Mon Feb 4 11:01:56 EST 2008


---------------------------------------------------------------
Colloquium Logicum 2008, September 10-12, TU Darmstadt, Germany
---------------------------------------------------------------

The biennial meeting of the German Society for Mathematical Logic (DVMLG), 
Colloquium Logicum 2008, will be held at the Technische Universitaet 
Darmstadt, September 10-12, 2008.

The scientific programme comprises

   * Herbrand Centenary Lecture: Georg Kreisel, F.R.S., Salzburg

   * invited plenary lectures by

   * Hans Adler (Leeds)
   * Sergei Goncharov (Novosibirsk)
   * Joel David Hamkins (New York)
   * Robert Lubarsky (Florida)
   * Nicole Schweikardt (Frankfurt)
   * Michiel van Lambalgen (Amsterdam)

plus a PhD Colloquium with the presentation of selected recent
PhD Theses in Logic as well as contributed talks.

Further details about the meeting, registration, etc. will be published on 
the meeting's homepage in the near future: 
www.mathematik.tu-darmstadt.de/fbereiche/logik/events/collogicum/.
-------




More information about the Types-announce mailing list