DVMLG stands for Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (Mathematical Logic and the Foundations of the exact sciences; Germany)