\n

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.

\n\n

URL:http://www.cl2018.uni-bayreuth.de
CONTACT:olivier.roy at uni-bayreuth.de
END:VEVENT
END:VCALENDAR
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.

\n