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

An overview

The Deutsche Vereinigung für Mathematische Logik und für Grundlagen 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, J. Hermes, J. von Kempski, P. Lorenzen, A. Schmidt and K. Schütte. Nowadays, the DVMLG has members among mathematicians, philosophers and theoretical computer scientists. The current Vorstand (Executive Board) consists of U. Kohlenbach (Darmstadt; President), B. Löwe (Amsterdam; Vice President), A. Beckmann (Swansea; Treasurer), J. A. Makowsky (Haifa), V. Peckhaus (Paderborn), R.-D. Schindler (Münster).

Biennially, the DVMLG organizes a logic conference. The next one is the

Colloquium Logicum 2010

and supports other logic events in Germany.