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:<div>\n  <p>The Collo
 quium Logicum is organized every two years by the 
 &quot;Deutsche Vereinigung fuer Mathematische Logi
 k und fuer Grundlagenforschung der Exakten Wissens
 chaften&quot; (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.</p>\n\n  <p>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 &quot;PhD Colloquium&qu
 ot; with invited presentations of excellent recent
  PhD graduates.</p>\n</div><div>\n  <p>The program
 me committee invites the submission of abstracts f
 or talks in all fields of research covered by the 
 DVMLG: mathematical logic and the foundations of t
 he exact sciences (including logic in philosophy, 
 computer science and artificial intelligence). Abs
 tracts should have between 100 and 500 words and a
 re to be submitted via the easychair submission pa
 ge.</p>\n</div>
URL:http://www.cl2018.uni-bayreuth.de
CONTACT:olivier.roy at uni-bayreuth.de
END:VEVENT
END:VCALENDAR