Basic research
Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften