German association for mathematical logic and for basic research in the exact sciences
| German Association for Mathematical Logic and for Basic Research in the Exact Sciences (DVMLG) |
|
|---|---|
| legal form | registered association |
| founding | 1962
|
| Board | Benedikt Löwe (Chair), Katrin Tent (Deputy Chair), Martin Ziegler (Treasurer), Dietrich Kuske, Heike Mildenberger, Olivier Roy |
| Website | http://www.dvmlg.de |
The German Association for Mathematical Logic and for Basic Research in Exact Sciences eV (DVMLG) is the specialist representative of researchers in the interdisciplinary research area of logic (within the subjects of mathematics, philosophy, computer science and linguistics). It was founded in 1962 by Wilhelm Ackermann , Gisbert Hasenjaeger , Hans Hermes , Jürgen von Kempski , Paul Lorenzen , Arnold Schmidt and Kurt Schütte and is an association registered at the Marburg District Court . Members of the DVMLG are researchers from mathematical logic , philosophical logic and theoretical computer science . Every two years, the DVMLG organizes the Colloquium Logicum , an international specialist conference on logic. It is connected to a general meeting of the DVMLG. The Colloquium Logicum 2012 in Paderborn was one of the German events of the Alan Turing year. In 2002 the Colloquium Logicum took place in Münster together with the annual European summer conference of the Association for Symbolic Logic .
Together with the DMV, she organizes the logic department within the DMV . She is a member of the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST) of the International Union of History and Philosophy of Science and Technology (IUHPST), a member organization of the International Science Council .
List of chairmen and board members
- 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 (since 2012)
The following persons are or were members of the board of directors of DVMLG:
- Wilhelm Ackermann (1962)
- Gisbert Hasenjaeger (1962–1970)
- Hans Hermes (1962–1972; Chairman 1967–1970)
- Jürgen von Kempski (1962–1965)
- Paul Lorenzen (1962–1972)
- Arnold Schmidt (1962–1967; Chairman 1962–1967)
- Kurt Schütte (1962–1971)
- Arnold Oberschelp (1965–1979; Chairman 1970–1976)
- Wolfgang Stegmüller (1965–1969)
- Gert H. Müller (1968–1981; Chairman 1976–1981)
- Ernst Specker (1970–1977)
- Walter Oberschelp (1971–1977)
- Justus Diller (1972–1990; Chairman 1985–1986)
- Heinz-Dieter Ebbinghaus (1972–1981)
- Helmut Pfeiffer (1977–1996; Chairman 1992–1996)
- Anne Troelstra (1977-2000)
- Klaus Potthoff (1979–1990; Chairman 1986–1990)
- Michael M. Richter (1981–1986; Chairman 1981–1985)
- Christian Thiel (1981-2004)
- Hans-Georg Carstens (1986–1992; Chairman 1990–1992)
- Sabine Koppelberg (1990–2000; Chair 1996–2000)
- Martin Ziegler (1992–1998)
- Martin Weese (1994-2000)
- Wolfram Pohlers (1996-2008)
- Johann Makowsky (1998-2010)
- Peter Koepke (2000–2008; Chairman 2002–2008)
- Wolfgang Thomas (2000-2006)
- Jörg Flum (2000–2006; Chairman 2000–2002)
- Volker Peckhaus (2004–2016; Deputy Chairman 2012–2016)
- Ulrich Kohlenbach (2006–2012; Deputy Chairman 2006–2008; Chairman 2008–2012)
- Benedikt Löwe (since 2006; Deputy Chairman 2008–2012; Chairman since 2012)
- Arnold Beckmann (2008-2016)
- Ralf Schindler (2008–2012)
- Nicole Schweikardt (2010-2016)
- Sy David Friedman (2012-2014)
- Katrin Tent (since 2012; Deputy Chairwoman since 2016)
- Martin Ziegler (since 2014)
- Dietrich Kuske (since 2016)
- Heike Mildenberger (since 2016)
- Olivier Roy (since 2016)
Web links
Individual evidence
- ^ Information service science: Colloquium Logicum 2008 in Darmstadt
- ↑ Published as Zoe Chatzidakis, Peter Koepke (editor) Logic Collogium 02 , AK Peters, Lecture notes in Logic, Volume 27, 2006
- ↑ DVMLG website . Archived from the original on July 28, 2016. Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. Retrieved July 28, 2016.
