Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften
Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften (DVMLG) | |
---|---|
Rechtsform | eingetragener Verein |
Gründung | 1962 |
Vorstand | Katrin Tent (Vorsitzende), Matthias Aschenbrenner (Stellvertretender Vorsitzender), Manuel Bodirsky, Benedikt Löwe, Heike Mildenberger, Martin Ziegler. |
Website | http://www.dvmlg.de |
Die Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften e.V. (DVMLG) ist die Fachvertretung von Forschern im interdisziplinären Forschungsgebiet der Logik (innerhalb der Fächer Mathematik, Philosophie, Informatik und Linguistik). Sie wurde 1962 von Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt und Kurt Schütte gegründet und ist ein beim Amtsgericht Marburg eingetragener Verein. Mitglieder der DVMLG sind Forscher aus der Mathematischen Logik, der Philosophischen Logik und der Theoretischen Informatik. Alle zwei Jahre organisiert die DVMLG das Colloquium Logicum, eine internationale Fachtagung zur Logik. Sie ist verbunden mit einer Mitgliederversammlung des DVMLG.[1] Das Colloquium Logicum 2012 in Paderborn war eine der deutschen Veranstaltungen des Alan Turing-Jahres. 2002 fand das Colloquium Logicum zusammen mit der jährlichen europäischen Sommertagung der Association for Symbolic Logic in Münster statt.[2]
Sie organisiert mit der DMV die Fachgruppe Logik innerhalb der DMV. Sie ist Mitglied der Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST) der International Union of History and Philosophy of Science and Technology (IUHPST), einer Mitgliedsorganisation des Internationalen Wissenschaftsrats.
Preisverleihungen
Besonders herausragende Promotionen im Bereich der Logik werden seit 2002 mit einer Einladung zum PhD Colloquium geehrt, das als Teil des Colloqium Logicums stattfindet. Erstmalig wird 2024 der Ernst-Zermelo-Ring verliehen, der „alle vier Jahre […] an eine aktive Forscherin oder einen aktiven Forscher in den Grundlagen der Mathematik, die oder der einen nachhaltigen Einfluss auf die Entwicklung des Gebiets gehabt hat und bei der oder dem vorherzusehen ist, dass sie oder er auch in den kommenden Jahren aktiv und einflussreich bleiben wird“[3], weitergegeben wird.
Liste der Vorsitzenden und Vorstandsmitglieder
- Arnold Schmidt (1962–1967)
- Hans Hermes (1967–1970)
- Arnold Oberschelp (1970–1976)
- Gert H. Müller (1976–1981)
- Michael M. Richter (1981–1985)
- Justus Diller (1985)
- Klaus Potthoff (1985–1990)
- Hans-Georg Carstens (1990–1992)
- Helmut Pfeiffer (1992–1996)
- Sabine Koppelberg (1996–2000)
- Jörg Flum (2000–2002)
- Peter Koepke (2002–2008)
- Ulrich Kohlenbach (2008–2012)
- Benedikt Löwe (2012–2022)
- Katrin Tent (seit 2022)
Die folgenden Personen sind oder waren Vorstandsmitglieder der DVMLG:[4]
- Wilhelm Ackermann (1962)
- Gisbert Hasenjaeger (1962–1970)
- Hans Hermes (1962–1972; Vorsitzender 1967–1970)
- Jürgen von Kempski (1962–1965)
- Paul Lorenzen (1962–1972)
- Arnold Schmidt (1962–1967; Vorsitzender 1962–1967)
- Kurt Schütte (1962–1971)
- Arnold Oberschelp (1965–1979; Vorsitzender 1970–1976)
- Wolfgang Stegmüller (1965–1969)
- Gert H. Müller (1968–1981; Vorsitzender 1976–1981)
- Ernst Specker (1970–1977)
- Walter Oberschelp (1971–1977)
- Justus Diller (1972–1990; Vorsitzender 1985–1986)
- Heinz-Dieter Ebbinghaus (1972–1981)
- Helmut Pfeiffer (1977–1996; Vorsitzender 1992–1996)
- Anne Troelstra (1977–2000)
- Klaus Potthoff (1979–1990; Vorsitzender 1986–1990)
- Michael M. Richter (1981–1986; Vorsitzender 1981–1985)
- Christian Thiel (1981–2004)
- Hans-Georg Carstens (1986–1992; Vorsitzender 1990–1992)
- Sabine Koppelberg (1990–2000; Vorsitzende 1996–2000)
- Martin Ziegler (1992–1998)
- Martin Weese (1994–2000)
- Wolfram Pohlers (1996–2008)
- Johann Makowsky (1998–2010)
- Peter Koepke (2000–2008; Vorsitzender 2002–2008)
- Wolfgang Thomas (2000–2006)
- Jörg Flum (2000–2006; Vorsitzender 2000–2002)
- Volker Peckhaus (2004–2016; stellvertretender Vorsitzender 2012–2016)
- Ulrich Kohlenbach (2006–2012; stv. Vorsitzender 2006–2008; Vorsitzender 2008–2012)
- Benedikt Löwe (seit 2006; stv. Vorsitzender 2008–2012; Vorsitzender 2012–2022)
- Arnold Beckmann (2008–2016)
- Ralf Schindler (2008–2012)
- Nicole Schweikardt (2010–2016)
- Sy David Friedman (2012–2014)
- Katrin Tent (seit 2012; stv. Vorsitzende 2016–2022; Vorsitzende seit 2022)
- Martin Ziegler (2014–2022)
- Dietrich Kuske (2016–2020)
- Heike Mildenberger (seit 2016)
- Olivier Roy (2016–2021)
- Matthias Aschenbrenner (seit 2021; stv. Vorsitzender seit 2022)
- Leon Horsten (seit 2021)
- Manuel Bodirsky (seit 2022)
Weblinks
- Offizielle Website
Einzelnachweise
- ↑ Informationsdienst Wissenschaft: Colloquium Logicum 2008 in Darmstadt
- ↑ Veröffentlicht als Zoe Chatzidakis, Peter Koepke (Herausgeber) Logic Collogium 02, A. K. Peters, Lecture notes in Logic, Band 27, 2006
- ↑ Colloquium Logicum 2024. In: TU Wien. Technische Universität Wien, abgerufen am 3. August 2024.
- ↑ DVMLG Webseite. Archiviert vom Original am 28. Juli 2016; abgerufen am 28. Juli 2016.