Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG)

Vorsitzender (President)	Prof. Dr. Dr. Katrin Tent Institut für Mathematische Logik und Grundlagenforschung, 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
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 Council for Science (ICSU) angehört.