Niemieckie Stowarzyszenie Logiki Matematycznej i Badań Podstawowych w Naukach Ścisłych

Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften
Skrót DVMLG
Tworzenie 1962 ; 61 lat temu ( 1962 )
Typ zarejestrowane stowarzyszenie ( eingetragener Verein )
Obsługiwany region
 krajów niemieckojęzycznych
Vorsitzende (prezydent)
 Namiot Katrin
Organizacja macierzysta
 DLMPST
Strona internetowa Oficjalna strona DVMLG

Niemieckie Stowarzyszenie Logiki Matematycznej i Badań Podstawowych w Naukach Ścisłych (niem. Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften; DVMLG) jest stowarzyszeniem naukowym reprezentującym interdyscyplinarny obszar badawczy logiki (w ramach dyscyplin matematyki , filozofii , informatyka i językoznawstwo ) w krajach niemieckojęzycznych . Została założona w 1962 roku przez Wilhelma Ackermanna , Gisberta Hasenjaegera , Hansa Hermesa , Jürgena von Kempskiego, Paula Lorenzena , Arnolda Schmidta i Kurta Schütte . Jej członkami są naukowcy zajmujący się logiką matematyczną , logiką filozoficzną i informatyką teoretyczną . Co dwa lata DVMLG organizuje Colloquium Logicum , międzynarodową konferencję badawczą w dziedzinie logiki. DVMLG tworzy Narodowy Komitet Logiki, Metodologii i Filozofii Nauki reprezentujący członka zwyczajnego Niemcy w ramach Wydziału Logiki, Metodologii i Filozofii Nauki i Technologii (DLMPST).

Zarządzanie

Obecnym prezesem DVMLG jest Katrin Tent (od 2022). Zarząd składa się z prezesa i pięciu innych członków: Matthias Aschenbrenner (wiceprezes; stellvertretende Vorsitzende ), Manuel Bodirsky, Leon Horsten, Benedikt Löwe , Heike Mildenberger.

Byli prezydenci

Nazwa Kadencja
1. prezydent Arnolda Schmidta 1962–1967
2. prezydent Hansa Hermesa 1967–1970
3. prezydent Arnolda Oberschelpa 1970–1976
4. prezydent Gerta H. Müllera 1976–1981
5. prezydent Michała M. Richtera 1981–1985
6. prezydent Justusa Dillera 1985
7. prezydent Klausa Potthoffa 1985–1990
8. prezydent Hansa-Georga Carstensa 1990–1992
9. prezydent Helmuta Pfeiffera 1992–1996
10. prezydent Sabina Koppelberg 1996-2000
11. prezydent Jörga Fluma 2000–2002
12. prezydent Piotr Kopke 2002–2008
13. prezydent Ulricha Kohlenbacha 2008–2012
14. prezydent Benedykt Löwe 2012-2022
15. prezydent Namiot Katrin od 2022 r

Byli członkowie Zarządu

W przeszłości członkami Zarządu DVMLG byli: Wilhelm Ackermann (1962), Matthias Aschenbrenner (od 2021; wiceprezes od 2022), Gisbert Hasenjaeger (1962–1970), Hans Hermes (1962–1972; prezes 1967) –1970), Paul Lorenzen (1962–1972), Kurt Schütte (1962–1971), Arnold Oberschelp (1965–1979; prezes 1970–1976), Wolfgang Stegmüller (1965–1969), Ernst Specker (1970–1977), Heinz -Dieter Ebbinghaus (1972–1981), Anne Troelstra (1977–2000), Michael M. Richter (1981–1986; prezes 1981–1985), Johann Makowsky (1998–2010), Ulrich Kohlenbach (2006–2012; wiceprezes 2006) –2008; prezes 2008–2012), Benedikt Löwe (seit 2006; wiceprezes 2008–2012; prezes 2012-2022), Sy David Friedman (2012–2014), Katrin Tent (od 2012; wiceprezes 2016-2022; prezes od 2022).

Zajęcia

DVMLG organizuje co dwa lata konferencję zwaną Colloquium Logicum . Od 2002 roku w ramach Colloquium Logicum organizowane jest Kolokwium Doktorskie , na którym prezentowane są znakomite rozprawy doktorskie z logiki (na podstawie nominacji członków DVMLG). Poprzednie Colloquia Logica odbyły się w Kilonii (1988), Bielefeld (1990), Münster (1992), Neuseddin (1994), Berlinie (1998), Dreźnie (2000), Münster (2002), Heidelbergu (2004), Bonn (2006) , Darmstadt (2008), Münster (2010), Paderborn (2012), Neubiberg (2014), Hamburg (2016), Bayreuth (2018) i Konstancja (2022). Colloquium Logicum 2012 było częścią niemieckich działań związanych z Rokiem Alana Turinga , obchodzonym w setną rocznicę urodzin Alana Turinga . W ramach tych obchodów DVMLG zorganizowało tournée teatralne po University Players Hamburg z przedstawieniem sztuki Hugh Whitemore'a Breaking the Code w Niemczech i Holandii . Colloquium Logicum w Konstancji miało odbyć się we wrześniu 2020 r., ale zostało przełożone o dwa lata z powodu pandemii COVID-19 .

Wraz z Niemieckim Towarzystwem Matematycznym (DMV) DVMLG organizuje Fachgruppe Mathematische Logik (Sekcja Logiki Matematycznej). DVMLG ma umowę publikacyjną z wydawnictwem naukowym Wiley i od 2011 roku odpowiada za naukowe zarządzanie czasopismem Mathematical Logic Quarterly .

Linki zewnętrzne

Pobrane z „ https://en.wikipedia.org/w/index.php?title=German_Association_for_Mathematical_Logic_and_for_Basic_Research_in_the_Exact_Sciences&oldid=1131510070 ”