Colloquium Logicum 2016

Call for Papers

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)

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 of papers of 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

* https://easychair.org/conferences/?conf=cl2016

The submission deadline is

* Monday, 20 June, 2016.

Authors of papers will be notified about acceptance soon after that.

Programme Committee

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

Webpage

* http://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.

Attachments

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.