Colloquium Logicum 2006, Bonn, Germany
2006-09-22 - 2006-09-23 | Bonn, Germany
Colloquium Logicum 2006 (CL 2006) is the biannual meeting of the German Logic Society (DVMLG) The scientific program commences on Friday with two minisymposia: "The use of proof theory in mathematics" and "Set theory". 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. A PhD colloquium will feature four young postdocs and their dissertations. For more information, see here or http://www.math.uni-bonn.de/veranstaltung/cl2006/ 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 organizers before August 15, 2006.
