Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften e.V.
| Vorsitzende (President) |
Prof. Dr. Dr. Katrin Tent Institut für Mathematische Logik und Grundlagenfo rschung, Westfälische Wilhelms-Universität Münster |
| Stellv. Vorsitzender (Vice President) |
Prof. Dr. Matthias Aschenbrenner
Kurt Gödel Research Center for Mathematical Logic Universität Wien |
| Kassenwart (Treasurer) |
Prof. Dr. Benedikt Löwe Fachbereich Mathematik Universität Hamburg |
| Kontakt-e-mail | tent AT wwu DOT de |
Die DVMLG fördert satzungsgemäß die mathematische Logik und die Grundlagenforschung der exakten Wissenschaften, insbesondere durch Pflege des wissenschaftlichen Kontaktes der mit diesen Wissenschaftszweigen befaßten Forscher und Institutionen des In- und Auslandes, durch Organisation von wissenschaftlichen Veranstaltungen und durch die Herausgabe wissenschaftlicher Informationsschriften. Sie wurde 1962 von sieben Logikern gegründet: Wilhelm Ackermann, Gisbert Hasenjäger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt und Kurt Schütte. Sie ist ein beim Amtsgericht Marburg eingetragener Verein. In der DVMLG sind Vertreter der Mathematischen Logik, der Philosophischen Logik und der Theoretischen Informatik zu finden.
Die DVMLG ist Mitglied der Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST), einer der beiden Sektionen der International Union of History and Philosophy of Science and Technology (IUHPST), die ihrerseits dem International Science Council (ISC) angehört.