Call for Abstracts

COLLOQUIUM LOGICUM 2016
www.math.uni-hamburg.de/spag/ml/CL2016

10-12 September 2016, Hamburg, Germany

Submission deadline: 20 June, 2016

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung für Mathematische
Logik und für Grundlagenforschung der Exakten Wissenschaften" (DVMLG).

In 2016 the colloquium is organized by the group "Mathematical Logic and Interdisciplinary Applications
of Logic" of the University of Hamburg, Germany.

The conference will cover the whole range of mathematical logic and the foundations of the exact sciences,
in particular, logic in philosophy, computer science and artificial intelligence.

Keynote Speakers

• Dana Bartosova (São Paulo, Brazil)
• Elisabeth Bouscaren (Paris, France)
• Ekaterina Fokina (Vienna, Austria)
• Laura Fontanella (Jerusalem, Israel)
• Philipp Hieronymi (Urbana-Champaign, IL, USA)
• Rosalie Iemhoff (Utrecht, the Netherlands)
• Gyesik Lee (Anseong, South Korea)
• Norbert Preining (JAIST, Nomi, Ishikawa, Japan)
• Szymon Toruńczyk (Warsaw, Poland)
• Charlotte Werndl (Salzburg, Austria and London, UK)

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

• easychair.org/conferences/?conf=cl2016

The submission deadline is

• Monday, 20 June, 2016.

Authors will be notified about acceptance soon after that.

In addition to keynote and contributed talks, there will be a PhD Colloquium with presentations by excellent
recent PhD graduates invited on the basis of nominations from the members of the DVMLG.

Programme Committee

• Matthias Aschenbrenner (Los Angeles, USA)
• Arnold Beckmann (Swansea, UK)
• Manuel Bodirsky (Dresden, Germany)
• Martin Hils (Paris, France)
• Benedikt Löwe (Amsterdam, the Netherlands and Hamburg, Germany)
• Anca Muscholl (Bordeaux, France)
• Thomas Müller (Konstanz, Germany)
• Michael Rathjen (Leeds, UK)
• Olivier Roy (Bayreuth, Germany)
• Nicole Schweikardt (Berlin, Germany)
• Mariya Soskova (Sofia, Bulgaria)
• Martin Ziegler (Daejeon, South Korea)

Webpage

• www.math.uni-hamburg.de/spag/ml/CL2016/

The Colloquium Logicum 2016 is generously funded by the Deutsche Forschungsgemeinschaft (DFG-grant LO 834/14-1)

If you have any questions, please contact us by email at cl2016.math@lists.uni-hamburg.de.