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

Vorsitzender
(President)
Prof. Dr. Ulrich Kohlenbach
Fachbereich Mathematik, Technische Universität Darmstadt
Stellv. Vorsitzender
(Vice President)
Prof. Dr. Benedikt Löwe
Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam
Kassenwart
(Treasurer)
Priv.-Doz. Dr. Arnold Beckmann
Department of Computer Science, Swansea University
Kontakt-e-mail kohlenbach AT mathematik DOT tu-darmstadt 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: W. Ackermann, G. Hasenjäger, H. Hermes, J. von Kempski, P. Lorenzen, A. Schmidt und K. 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 (DLMPS), einer der beiden Sektionen der International Union of History and Philosophy of Science (IUHPS), die ihrerseits dem International Council of Scientific Unions (ICSU) angehört.

Last changed: 26 June 2009