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/2021/newsitem/11470/Se ptember-2021-CL2020-Colloquium-Logicum-2020-Konsta nz-Germany DTSTAMP:20200112T171100 SUMMARY:September 2021, CL2020: Colloquium Logicum 2020, Konstanz, Germany DTSTART;VALUE=DATE:20210903 DTEND;VALUE=DATE:20210906 LOCATION:Konstanz, Germany DESCRIPTION:The Colloquium Logicum is organized ev ery two years by the "Deutsche Vereinigung fuer Ma thematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG).The conference wi ll cover the whole range of mathematical logic and the foundations of the exact sciences. In additio n to all fields of mathematical logic, this includ es the philosophy of the exact sciences, logic in philosophy, and logic in computer science and arti ficial intelligence. In addition to the keynote ta lks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates. Keynote Speakers: Laurent Bienvenu (Bordeaux), Ca trin Campbell-Moore (Bristol), Wesley Holliday (Be rkeley), Christian Ikenmeyer (Liverpool), Angeliki Koutsoukou-Argyraki (Cambridge), Alison Pease (Du ndee) and Margaret Thomas (West Lafayette). Postp oned (due to pandemic) to September 2021. An invi tation for submission of abstracts for presentatio ns will be issued soon. X-ALT-DESC;FMTTYPE=text/html:
The Collo quium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logi k und fuer Grundlagenforschung der Exakten Wissens chaften" (DVMLG).The conference will cover th e whole range of mathematical logic and the founda tions of the exact sciences. In addition to all fi elds of mathematical logic, this includes the phil osophy of the exact sciences, logic in philosophy, and logic in computer science and artificial inte lligence. In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates. p>\n\n
Keynote Speakers: Laurent Bienvenu (Bor deaux), Catrin Campbell-Moore (Bristol), Wesley Ho lliday (Berkeley), Christian Ikenmeyer (Liverpool) , Angeliki Koutsoukou-Argyraki (Cambridge), Alison Pease (Dundee) and Margaret Thomas (West Lafayett e).
\n\nPostponed (due to pandemic) to Sep tember 2021.
An invitation fo r submission of abstracts for presentations will b e issued soon.