| Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften | |
| Abbreviation: | DVMLG |
| Type: | registered association (eingetragener Verein) |
| Region Served: | German-speaking countries |
| Leader Title: | Vorsitzende (President) |
| Leader Name: | Katrin Tent |
| Parent Organization: | DLMPST |
| Website: | DVMLG Official website |
The German Association for Mathematical Logic and for Basic Research in the Exact Sciences (German: Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften; DVMLG) is the learned society representing the interdisciplinary research area of Logic(within the disciplines of Mathematics, Philosophy, Computer Science, and Linguistics) in German-speaking countries. It was founded in 1962 by Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt, and Kurt Schütte. Its members are researchers in Mathematical Logic, Philosophical Logic, and Theoretical Computer Science. Biannually, the DVMLG organises the Colloquium Logicum, an international research conference in logic.[1] The DVMLG forms the National Committee for Logic, Methodology and Philosophy of Science representing the Ordinary Member Germany within the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST).[2]
The current President of the DVMLG is Katrin Tent (since 2022). The Board consists of the President and five other members: Matthias Aschenbrenner (Vice President; stellvertretende Vorsitzende), Manuel Bodirsky, Leon Horsten, Benedikt Löwe, Heike Mildenberger.
| Name | Term of office | ||
|---|---|---|---|
| 1st President | Arnold Schmidt | 1962–1967 | |
| 2nd President | 1967–1970 | ||
| 3rd President | Arnold Oberschelp | 1970–1976 | |
| 4th President | Gert H. Müller | 1976–1981 | |
| 5th President | 1981–1985 | ||
| 6th President | Justus Diller | 1985 | |
| 7th President | Klaus Potthoff | 1985–1990 | |
| 8th President | Hans-Georg Carstens | 1990–1992 | |
| 9th President | Helmut Pfeiffer | 1992–1996 | |
| 10th President | Sabine Koppelberg | 1996–2000 | |
| 11th President | Jörg Flum | 2000–2002 | |
| 12th President | Peter Koepke | 2002–2008 | |
| 13th President | Ulrich Kohlenbach | 2008–2012 | |
| 14th President | Benedikt Löwe | 2012-2022 | |
| 15th President | Katrin Tent | since 2022 |
The following persons were among the members of the DVMLG Board in the past:[3] Wilhelm Ackermann (1962),Matthias Aschenbrenner (since 2021; Vice President since 2022),Gisbert Hasenjaeger (1962–1970), Hans Hermes (1962–1972; President 1967–1970),Paul Lorenzen (1962–1972),Kurt Schütte (1962–1971),Arnold Oberschelp (1965–1979; President 1970–1976),Wolfgang Stegmüller (1965–1969),Ernst Specker (1970–1977),Heinz-Dieter Ebbinghaus (1972–1981),Anne Troelstra (1977–2000),Michael M. Richter (1981–1986; President 1981–1985),Johann Makowsky (1998–2010),Ulrich Kohlenbach (2006–2012; Vice President 2006–2008; President 2008–2012),Benedikt Löwe (seit 2006; Vice President 2008–2012; President 2012-2022),Sy David Friedman (2012–2014),Katrin Tent (since 2012; Vice President 2016-2022; President since 2022).
The DVMLG organises a biannual conference called Colloquium Logicum. Since 2002, there is a PhD Colloquium organised as part of the Colloquium Logicum where excellentdoctoral dissertations in logic are presented (based on nominations by the membership of the DVMLG). Past Colloquia Logica took place in Kiel (1988),Bielefeld (1990),Münster (1992),Neuseddin (1994),Berlin (1998),Dresden (2000),Münster (2002),Heidelberg (2004),Bonn (2006),Darmstadt (2008),[4] Münster (2010),Paderborn (2012),[5] Neubiberg (2014),[6] Hamburg (2016), Bayreuth (2018), andKonstanz (2022). Colloquium Logicum 2012 was part of the German activities of the Alan Turing Year, celebrating the centenary of Alan Turing. As part of these celebrations, the DVMLG organised a theatre tour of the University Players Hamburg performing Hugh Whitemore's play Breaking the Code in Germany and the Netherlands.[7] The Colloquium Logicum in Konstanz was scheduled for September 2020, but was postponed to for two years due to the COVID-19 pandemic.[8]
Together with the German Mathematical Society (DMV), the DVMLG organises the Fachgruppe Mathematische Logik (Section Mathematical Logic).[9] The DVMLG has a publication agreement with the scientific publishing house Wiley and has been responsible for the scientific management of the journal Mathematical Logic Quarterly since 2011.[10]