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]
 DVMLG | |
| Abbreviation | DVMLG |
|---|---|
| Formation | 1962 |
| Type | registered association (eingetragener Verein) |
Region served | German-speaking countries |
Vorsitzende (President) | Katrin Tent |
Parent organization | DLMPST |
| Website | DVMLG Official website |
Governance edit
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.
Past Presidents edit
| Name | Term of office | |
|---|---|---|
| 1st President | Arnold Schmidt | 1962–1967 |
| 2nd President | Hans Hermes | 1967–1970 |
| 3rd President | Arnold Oberschelp | 1970–1976 |
| 4th President | Gert H. Müller | 1976–1981 |
| 5th President | Michael M. Richter | 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 |
Past Board members edit
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).
Activities edit
The DVMLG organises a biannual conference called Colloquium Logicum. Since 2002, there is a PhD Colloquium organised as part of the Colloquium Logicum where excellent doctoral 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), and Konstanz (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]
References edit
- ^ "DVMLG Website". Retrieved 10 July 2020.
- ^ "IUHPST/DLMPST Website: Members". Retrieved 10 July 2020.
- ^ "DVMLG Website: Vorstandsgeschichte". Archived from the original on 28 July 2016. Retrieved 10 July 2020.
- ^ "Colloquium Logicum 2008, Technische Universität Darmstadt, September 10–12, 2008". TU Darmstadt. Retrieved 14 October 2020.; Jörg Feuck (9 May 2008). ""Colloquium Logicum" - Logik-Tagung an der TU Darmstadt". idw Informationsdienst Wissenschaft. Retrieved 14 October 2020.
- ^ "Colloquium Logicum 2012, Heinz Nixdorf MuseumsForum, Paderborn (Germany): 13-15 September 2012". Universität Hamburg. Retrieved 14 October 2020.; "Colloquium Logicum vom 13. bis 15. September 2012 erstmals in Paderborn - Öffentliche Abendveranstaltung am 14.9.: Theaterstück "Breaking the Code"". Universität Paderborn. 9 March 2012. Retrieved 10 October 2020.; "Alles ganz logisch und völlig exakt. Internationale Tagung zu Turings Geburtstag". Neue Westfälische. 6 September 2012. Retrieved 10 October 2020.
- ^ "Colloquium Logicum 2014, 4-6 September 2014, Munich, Germany". Computability & Complexity in Analysis Network. Retrieved 14 October 2020.
- ^ "University Players on tour, Hugh Whitemore's play "Breaking the Code"". Universität Hamburg. Retrieved 10 October 2020.; "University Players on Tour: Gegeben wird Breaking the Code von Hugh Whitemore". Auf dem Campus. 10 September 2012. Retrieved 10 October 2020.; ""Alan Turing Year 2012 / University Players on Tour: "Breaking the Code" – von Hugh Whitemore"". Universität Hamburg. 10 September 2012. Retrieved 14 October 2020.; "Breaking the Code, Theateraufführung im Heinz Nixdorf MuseumsForum (Press Release)". Heinz Nixdorf MuseumsForum. 14 September 2012. Retrieved 14 October 2020.; "Die University Players Hamburg präsentieren ein Theaterstück über den Computerpionier Alan Turing". Technische Universität Braunschweig. 17 September 2012. Retrieved 10 October 2020.
- ^ "DVMLG Website: Veranstaltungen der DVMLG". Retrieved 10 July 2020. "DVMLG Website: Promotionskolloquium im Rahmen des Colloquium Logicum der DVMLG (PhD Colloquium)". Retrieved 10 July 2020.
- ^ Löwe, Benedikt (2016). "Die DMV/DVMLG-Fachgruppe Mathematische Logik". Mitteilungen der Deutschen Mathematiker-Vereinigung. 24 (1): 8–9. doi:10.1515/dmvm-2016-0006. S2CID 182977427.
- ^ Hemmerling, Armin; Löwe, Benedikt; Meer, Klaus; Pudlák, Pavel (2011). "Editorial". Mathematical Logic Quarterly. 57 (1): 4. doi:10.1002/malq.201111001.