Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

14 - 16 September 2018, Colloquium Logicum 2018 (CL 2018), Bayreuth, Germany

Date: 14 - 16 September 2018
Location: Bayreuth, Germany
Deadline: Wednesday 16 May 2018

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). In 2018 the colloquium is jointly organized by the Chair of Philosophy 1 and the Chair for Theoretical Computer Science of the University of Bayreuth, Germany. The conference will cover the whole range of mathematical 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 science and artificial intelligence.

Keynote Speakers: Isolde Adler (Leeds, England), Joerg Brendle (Kobe, Japan), Douglas Cenzer (Gainesville FL, U.S.A.), Laura Fontanella (Marseille, France), Benny Kimelfeld (Haifa, Israel), Yang Liu (Cambridge, England), Sara Negri (Helsinki, Finland) and Charlotte Werndl (Salzburg, Austria). In addition to the keynote talks, there will be a "PhD Colloquium" 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 DVMLG: mathematical logic and the foundations of the exact sciences (including logic in philosophy, computer science and artificial intelligence). Abstracts should have between 100 and 500 words and are to be submitted via the easychair submission page.

Please note that this newsitem has been archived, and may contain outdated information or links.