10–12 september 2016, hamburg, germany · 2016-05-23 · colloquium logicum 2016 10–12...
TRANSCRIPT
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