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

An overview

The Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) supports research in Mathematical Logic and the Foundations of the exact sciences in Germany. It was founded in 1962 by W. Ackermann, G. Hasenjäger, H. Hermes, J. von Kempski, P. Lorenzen, A. Schmidt and K. Schütte. Nowadays, the DVMLG has members among mathematicians, philosophers and theoretical computer scientists.

Biennially, the DVMLG organizes a logic conference called Colloquium Logicum and supports other logic events in Germany or German-speaking countries or of relevance for German logic.