Top Banner
COLLOQUIUM LOGICUM 2016 10–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
1

10–12 September 2016, Hamburg, Germany · 2016-05-23 · COLLOQUIUM LOGICUM 2016 10–12 September 2016, Hamburg, Germany The Colloquium Logicum is the bi- annual meeting of the

Jun 10, 2020

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: 10–12 September 2016, Hamburg, Germany · 2016-05-23 · COLLOQUIUM LOGICUM 2016 10–12 September 2016, Hamburg, Germany The Colloquium Logicum is the bi- annual meeting of the

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