\n

\nCol loquium Logicum 2006 (CL 2006) is the biannual mee ting of the\nGerman Logic Society (DVMLG)\nThe sci entific program commences on Friday with two minis ymposia:\n"The use of proof theory in mathema tics" and "Set theory".\nOn Saturda y and Sunday about six invited one-hour talks will be presented\non mathematical logic, complexity t heory, history of logic, and philosophy\nof mathem atics.\nA PhD colloquium\nwill feature four young postdocs and their dissertations.\n

\n \n \nFor more information, see here or\n http://www.math.un i-bonn.de/veranstaltung/cl2006/\n

\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/141
8/22-24-September-2006-Colloquium-Logicum-2006-Bon
n-Germany
END:VEVENT
END:VCALENDAR
\nThere will also be cont ributed paper sessions for talks on logic and\nrel ated areas. Please send themes and informative abs tracts for 20-25\nminute talks to the organizers b efore August 15, 2006.\n

\n