COLLOQUIUM LOGICUM 201610–12 September 2016, Hamburg, Germany

The Colloquium Logicum is the bi-annual meeting of the “Deutsche Vereini-gung für Mathematische Logik und für Grundlagenforschung in den exakten Wissenschaften” (DVMLG). The prog-ramme committee invites the submission of abstracts 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).

Submission deadline: 20 June 2016

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 nomi-nations by DVMLG members.

Keynote speakers

Dana Bartošová (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 (Nomi, Japan)

Szymon Toruńczyk (Warsaw, Poland)

Charlotte Werndl (Salzburg, Austria / London, UK)

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 / 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).

Organising committee

Alexander C. Block, Yurii Khomskii, Benedikt Löwe

http://www.math.uni-hamburg.de/spag/ml/CL2016/

Photo: UHH/Foto-UHH-MichaelZapf_20060928_0007