Veranstaltungen (2014–2024)

DVMLG-geförderte Veranstaltungen im Jahr 2024.

• Colloquium Logicum 2024
  Programme Committee. F. Jahnke, B. Löwe (Vorsitz), J. Murzi, M. Pinsker, G. Sargsyan.
  Wien, 7.–9.10.2024.
  Keynote Speakers. C. Antos (Konstanz), L. Barto (Prague), M. Müller (Passau), A. Panagiotopoulos (Vienna), F. Poggiolesi (Paris), N. Valentin (Düsseldorf).
  Special events: Award of the Ernst-Zermelo-Ring; special session on 150 years of set theory (cancelled due to illness); Young Academy Distinguished Lecture by Hugh Woodin (Cambridge MA).
• Workshop on Proof Mining 2024
  Darmstadt, 4.–6.9.2024

DVMLG-geförderte Veranstaltungen im Jahr 2023.

• Sektion Mathematical Logic bei der Jahrestagung der Deutschen Mathematiker-Vereinigung 2023
  Ilmenau, 25.–28.9.2023

DVMLG-geförderte Veranstaltungen im Jahr 2022.

• Colloquium Logicum 2022
  Programme Committee. C. Antos, M. Carl, D. Cenzer, E. Fokina, I. Halupczok, D. Klein, S. Kuhlmann (chair), Ø. Linnebo, B. Löwe, M. Ziegler.
  Konstanz, 25.–28.9.2022
  Keynote Speakers. L. Bienvenu, O. Bournez, C. Campbell-Moore, W. Holliday, C. Ikenmeyer, A. Koutsoukou-Argyraki, P. Lücke, M. Thomas.
• Sektion Mathematical Logic bei der Jahrestagung der Deutschen Mathematiker-Vereinigung 2022
  Berlin, 12.–16.9.2022
• ALGAR 2022: Constructive methods for quadratic form theory
  Antwerpen (Belgien), 5.–9.9.2022
• Symposium TDPhiMA 3: Text Driven Approaches to the Philosophy of Mathematics
  Essen, 7.–8.9.2022
• International Conference on Applied Proof Theory
  Pescara, Italien, 29.8.–2.9.2022
• CiE 2022: Computability in Europe: Revolutions and Revelations in Computability
  Swansea, Wales, 11.–15.7.2022
• Festsymposium zum 80. Geburtstag Helmut Schwichtenbergs Proof & Computation
  Schlehdorf, 30.5.–2.6.2022
• Logic4Peace
  Online, 22.–23.4.2022

DVMLG-geförderte Veranstaltungen im Jahr 2021.

• Sektion Logik und Minisymposium Thinking about Proofs: Formal, Philosophical, Linguistical and Educational Perspectives bei der Jahrestagung der Gemeinsamen Jahrestagung der Deutschen Mathematiker-Vereinigung und der Österreichischen Gesellschaft 2021
  Passau Online, 27.9.–1.10.2021

DVMLG-geförderte Veranstaltungen im Jahr 2020.

• Hilbert-Bernays Summer School on Logic and Computation 2020
  Göttingen, 27.–31.7.2020 Online, 12.–16.10.2020
• Sektion Mathematical Logic bei der Jahrestagung der Deutschen Mathematiker-Vereinigung 2020
  Chemnitz Online, 14.–17.9.2020

DVMLG-geförderte Veranstaltungen im Jahr 2019.

• Sektion Logik und Theoretische Informatik bei der Jahrestagung der Deutschen Mathematiker-Vereinigung 2019
  Karlsruhe, 23.-26.9.2019
• Proof Society Summer School 2019
  Swansea, Wales, 8.-11.9.2019
• Symposium TDPhiMA: Text Driven Approaches to the Philosophy of Mathematics beim XVIth Congress on Logic, Methodology and Philosophy of Science and Technology (CLMPST)
  Prag, Tschechische Republik, 5.-10.8.2019
• Hilbert-Bernays Summer School on Logic and Computation 2019
  Tübingen, 21.-27.7.2019

DVMLG-geförderte Veranstaltungen im Jahr 2018.

• Colloquium Logicum 2018
  Programme Committee. A. Ciabattoni, V. Harizanov, D. Klein, D. Kuske, B. Löwe, W. Martens, D. Macpherson, H. Mildenberger, O. Roy (chair).
  Bayreuth, 13.-15.9.2018
  Confirmed speakers include: Isolde Adler (Leeds), Jörg Brendle (Kobe), Douglas Cenzer (Gainesville FL), Laura Fontanella (Marseille), Benny Kimelfeld (Haifa), Yang Liu (Cambridge), Sara Negri (Helsinki), Charlotte Werndl (Salzburg).
• Hilbert-Bernays Summer School on Logic and Computation 2018
  Göttingen, 22.-28.7.2018
• Sektion Logik bei der gemeinsamen Jahrestagung von GDM und DMV
  Nachwuchsstipendien
  Paderborn, 5.-9.3.2018
• Ouroboros. Formal Criteria of Self-Reference in Mathematics and Philosophy.
  Bonn, 16.-18.2.2018

DVMLG-geförderte Veranstaltungen im Jahr 2017.

• Sektion Algebra, Logic, and Set Theory bei der gemeinsamen Jahrestagung von ÖMG und DMV.
  Nachwuchsstipendien
  Salzburg, Österreich, 11.-15.9.2017
• Proof, Computation, Complexity 2017 (PCC 2017)
  Göttingen, 26.-27.7.2017
• Alexander-von-Humboldt-Kolleg Proof Theory as Mathesis Universalis
  Como, Italien, 24.-28.7.2017
• Hilbert-Bernays Summer School on Logic & Computation 2017
  Göttingen, 23.-29.7.2017
• 4th Münster conference on inner model theory
  Münster, 17.7.-1.8.2017

DVMLG-geförderte Veranstaltungen im Jahr 2016.

• Colloquium Logicum 2016
  Programme Committee. M. Aschenbrenner, A. Beckmann, M. Bodirsky, M. Hils, B. Löwe (chair), T. Müller, A. Muscholl, M. Rathjen, O. Roy. N. Schweikardt, M. Soskova, M. Ziegler.
  Hamburg, 10.-12.9.2016
• International Summer School in Mathematics on Logic and Computation
  Göttingen, 24.-30.7.2016
• FOMUS: Foundations of Mathematics: Univalent Foundations and Set Theory—What are Suitable Criteria for the Foundations of Mathematics?
  DVMLG-Stipendien für Studierende und Doktoranden
  Bielefeld, 18.-23.7.2016
• Mini-Symposium MS-17 Recent results in axiomatic, combinatorial, and descriptive set theory, jointly organised with the European Set Theory Society (ESTS), at the 7th European Congress of Mathematics (7ECM)
  Berlin, 18.-22.7.2016 (MS-17: 20.7.2016)
• Proof, Computation, Complexity 2016 with a special session celebrating Ulrich Berger’s 60th birthday
  München, 5.-6.5.2016
• Sektion S25 Algebra, Logic, and Set Theory bei der Gemeinsamen Jahrestagung von DMV und GAMM 2016.
  Nachwuchsstipendien
  Invited speakers. Bahareh Afshari (Vienna), Nick Bezhanishvili (Amsterdam), Andrew Brooke-Taylor (Bristol).
  Braunschweig, 7.-11.3.2016

DVMLG-geförderte Veranstaltungen im Jahr 2015.

• Drei Minisymposien bei der Jahrestagung der Deutschen Mathematiker-Vereinigung 2015: Homotopy Type Theory and Univalent Foundations, Set Theory, and Well-quasi orders: from theory to applications
  Hamburg, 21.-25.9.2015
• Hilbert-Bernays Summer School on Logic and Computation
  Göttingen, 27.-31.7.2015
• 3rd Münster conference on inner model theory, the core model induction, and hod mice
  Münster, 20.-31.7.2015
• The Notion of Proof: Special Session at the AMS-EMS-SPM International Meeting
  Porto, Portugal, 10.-13.6.2015

DVMLG-geförderte Veranstaltungen im Jahr 2014.

• Two thematic sessions in logic at the DMV-PTM Joint Meeting: Set Theory and Computational Logic
  Poznań, Polen, 17.-20.9.2014
• Colloquium Logicum 2014
  Neubiberg, 4.-6.9.2014
  Programme Committee. V. Brattka, A. Dawar, L. De Mol, R. Iemhoff, H. Leitgeb, B. Löwe, A. Nies, K. Tent.