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/2018/newsitem/9880/14- --16-September-2018-Colloquium-Logicum-2018-CL-201 8-Bayreuth-Germany DTSTAMP:20180416T111031 SUMMARY:Colloquium Logicum 2018 (CL 2018), Bayreut h, Germany DTSTART;VALUE=DATE:20180914 DTEND;VALUE=DATE:20180916 LOCATION:Bayreuth, 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). In 2018 the coll oquium is jointly organized by the Chair of Philos ophy 1 and the Chair for Theoretical Computer Scie nce of the University of Bayreuth, Germany. The co nference will cover the whole range of mathematica l logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences , logic in philosophy, and logic in computer scien ce and artificial intelligence. Keynote Speakers: Isolde Adler (Leeds, England), Joerg Brendle (Kob e, Japan), Douglas Cenzer (Gainesville FL, U.S.A.) , Laura Fontanella (Marseille, France), Benny Kime lfeld (Haifa, Israel), Yang Liu (Cambridge, Englan d), Sara Negri (Helsinki, Finland) and Charlotte W erndl (Salzburg, Austria). In addition to the keyn ote talks, there will be a "PhD Colloquium" with i nvited presentations of excellent recent PhD gradu ates. The programme committee invites the submiss ion of abstracts for talks in all fields of resear ch covered by the DVMLG: mathematical logic and th e foundations of the exact sciences (including log ic in philosophy, computer science and artificial intelligence). Abstracts should have between 100 a nd 500 words and are to be submitted via the easyc hair submission page. 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). In 2018 the colloquium is j ointly organized by the Chair of Philosophy 1 and the Chair for Theoretical Computer Science of the University of Bayreuth, Germany. 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.
\n\nKeynote Speakers: Isolde Adler (Leeds, England), Joerg Brendle (Kob e, Japan), Douglas Cenzer (Gainesville FL, U.S.A.) , Laura Fontanella (Marseille, France), Benny Kime lfeld (Haifa, Israel), Yang Liu (Cambridge, Englan d), Sara Negri (Helsinki, Finland) and Charlotte W erndl (Salzburg, Austria). In addition to the keyn ote talks, there will be a "PhD Colloquium&qu ot; with invited presentations of excellent recent PhD graduates.
The programme committee invites the submission of abstracts for talks in all fields of research covered by the DV MLG: mathematical logic and the foundations of the exact sciences (including logic in philosophy, co mputer science and artificial intelligence). Abstr acts should have between 100 and 500 words and are to be submitted via the easychair submission page .