BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2006/newsitem/1418/22-
 24-September-2006-Colloquium-Logicum-2006-Bonn-Ger
 many
DTSTAMP:20060629T000000
SUMMARY:Colloquium Logicum 2006, Bonn, Germany
DTSTART;VALUE=DATE:20060922
DTEND;VALUE=DATE:20060924
LOCATION:Bonn, Germany
DESCRIPTION:Colloquium Logicum 2006 (CL 2006) is t
 he biannual meeting of the German Logic Society (D
 VMLG) The scientific program commences on Friday w
 ith two minisymposia: "The use of proof theory in 
 mathematics" and "Set theory". On Saturday and Sun
 day about six invited one-hour talks will be prese
 nted on mathematical logic, complexity theory, his
 tory of logic, and philosophy of mathematics. A Ph
 D colloquium will feature four young postdocs and 
 their dissertations.   For more information, see h
 ere or http://www.math.uni-bonn.de/veranstaltung/c
 l2006/   There will also be contributed paper sess
 ions for talks on logic and related areas. Please 
 send themes and informative abstracts for 20-25 mi
 nute talks to the organizers before August 15, 200
 6.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\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&quot;The use of proof theory in mathema
 tics&quot; and &quot;Set theory&quot;.\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      </p>\n   
  \n      \n      <p>For more information, see <a c
 lass="longdescriptionlink" href="https://www.illc.
 uva.nl/NewsandEvents/newsitem/1418">here</a> or\n 
        <a target="_blank" href="http://www.math.un
 i-bonn.de/veranstaltung/cl2006/">http://www.math.u
 ni-bonn.de/veranstaltung/cl2006/</a>\n      </p>\n
     </div><div>\n      <p>\nThere will also be con
 tributed paper sessions for talks on logic and\nre
 lated areas. Please send themes and informative ab
 stracts for 20-25\nminute talks to the organizers 
 before August 15, 2006.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2006/newsitem/1418/22-
 24-September-2006-Colloquium-Logicum-2006-Bonn-Ger
 many
END:VEVENT
END:VCALENDAR