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.