| http://dbpedia.org/ontology/abbreviation
|
DVMLG
|
| http://dbpedia.org/ontology/abstract
|
Die Deutsche Vereinigung für mathematische … Die Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften e.V. (DVMLG) ist die Fachvertretung von Forschern im interdisziplinären Forschungsgebiet der Logik (innerhalb der Fächer Mathematik, Philosophie, Informatik und Linguistik). Sie wurde 1962 von Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt und Kurt Schütte gegründet und ist ein beim Amtsgericht Marburg eingetragener Verein. Mitglieder der DVMLG sind Forscher aus der Mathematischen Logik, der Philosophischen Logik und der Theoretischen Informatik. Alle zwei Jahre organisiert die DVMLG das Colloquium Logicum, eine internationale Fachtagung zur Logik. Sie ist verbunden mit einer Mitgliederversammlung des DVMLG. Das Colloquium Logicum 2012 in Paderborn war eine der deutschen Veranstaltungen des Alan Turing-Jahres. 2002 fand das Colloquium Logicum zusammen mit der jährlichen europäischen Sommertagung der Association for Symbolic Logic in Münster statt. Sie organisiert mit der DMV die Fachgruppe Logik innerhalb der DMV. Sie ist Mitglied der Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST) der International Union of History and Philosophy of Science and Technology (IUHPST), einer Mitgliedsorganisation des Internationalen Wissenschaftsrats.ion des Internationalen Wissenschaftsrats.
, The German Association for Mathematical Lo … The German Association for Mathematical Logic and for Basic Research in the Exact Sciences (German: Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften; DVMLG) is the learned society representing the interdisciplinary research area of Logic(within the disciplines of Mathematics, Philosophy, Computer Science, and Linguistics) in German-speaking countries. It was founded in 1962 by Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt, and Kurt Schütte. Its members are researchers in Mathematical Logic, Philosophical Logic, and Theoretical Computer Science. Biannually, the DVMLG organises the Colloquium Logicum, an international research conference in logic.The DVMLG forms the National Committee for Logic, Methodology and Philosophy of Science representing the Ordinary Member Germany within the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST).osophy of Science and Technology (DLMPST).
|
| http://dbpedia.org/ontology/leaderFunction
|
http://dbpedia.org/resource/German_Association_for_Mathematical_Logic_and_for_Basic_Research_in_the_Exact_Sciences__PersonFunction__1 +
|
| http://dbpedia.org/ontology/parentOrganisation
|
http://dbpedia.org/resource/International_Union_of_History_and_Philosophy_of_Science +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/DVMLG_Logo.jpg?width=300 +
|
| http://dbpedia.org/ontology/type
|
http://dbpedia.org/resource/Registered_association +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.dvmlg.de/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
64510545
|
| http://dbpedia.org/ontology/wikiPageLength
|
10884
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1108984022
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Logic_%28musician%29 +
, http://dbpedia.org/resource/Matthias_Aschenbrenner +
, http://dbpedia.org/resource/Category:1962_establishments_in_Germany +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Wilhelm_Ackermann +
, http://dbpedia.org/resource/Ernst_Specker +
, http://dbpedia.org/resource/Theoretical_Computer_Science +
, http://dbpedia.org/resource/Dresden +
, http://dbpedia.org/resource/International_Union_of_History_and_Philosophy_of_Science +
, http://dbpedia.org/resource/Arnold_Oberschelp +
, http://dbpedia.org/resource/Breaking_the_Code +
, http://dbpedia.org/resource/German_language +
, http://dbpedia.org/resource/Benedikt_L%C3%B6we +
, http://dbpedia.org/resource/Netherlands +
, http://dbpedia.org/resource/Michael_M._Richter +
, http://dbpedia.org/resource/Germany +
, http://dbpedia.org/resource/Paderborn +
, http://dbpedia.org/resource/COVID-19_pandemic +
, http://dbpedia.org/resource/Mathematical_Logic +
, http://dbpedia.org/resource/Kiel +
, http://dbpedia.org/resource/Bielefeld +
, Bonn +
, http://dbpedia.org/resource/Alan_Turing_Year +
, http://dbpedia.org/resource/Neuseddin +
, http://dbpedia.org/resource/Katrin_Tent +
, http://dbpedia.org/resource/Philosophical_Logic +
, http://dbpedia.org/resource/Registered_association +
, http://dbpedia.org/resource/Hugh_Whitemore +
, http://dbpedia.org/resource/Wolfgang_Stegm%C3%BCller +
, http://dbpedia.org/resource/Heinz-Dieter_Ebbinghaus +
, http://dbpedia.org/resource/M%C3%BCnster +
, http://dbpedia.org/resource/Category:Education_in_Germany +
, http://dbpedia.org/resource/Learned_society +
, http://dbpedia.org/resource/Anne_Troelstra +
, http://dbpedia.org/resource/Neubiberg +
, http://dbpedia.org/resource/Johann_Makowsky +
, http://dbpedia.org/resource/Kurt_Sch%C3%BCtte +
, http://dbpedia.org/resource/Paul_Lorenzen +
, http://dbpedia.org/resource/Ulrich_Kohlenbach +
, http://dbpedia.org/resource/Heidelberg +
, http://dbpedia.org/resource/Bayreuth +
, http://dbpedia.org/resource/Darmstadt +
, http://dbpedia.org/resource/Konstanz +
, http://dbpedia.org/resource/Linguistics +
, http://dbpedia.org/resource/University_Players_Hamburg +
, http://dbpedia.org/resource/Berlin +
, http://dbpedia.org/resource/Category:Learned_societies_of_Germany +
, http://dbpedia.org/resource/Hamburg +
, http://dbpedia.org/resource/Philosophy +
, http://dbpedia.org/resource/German_Mathematical_Society +
, http://dbpedia.org/resource/Wiley_%28publisher%29 +
, http://dbpedia.org/resource/Hans_Hermes +
, http://dbpedia.org/resource/Sy_Friedman +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Gisbert_Hasenjaeger +
, http://dbpedia.org/resource/Alan_Turing +
|
| http://dbpedia.org/property/abbreviation
|
DVMLG
|
| http://dbpedia.org/property/caption
|
DVMLG
|
| http://dbpedia.org/property/leaderName
|
http://dbpedia.org/resource/Katrin_Tent +
|
| http://dbpedia.org/property/leaderTitle
|
Vorsitzende
|
| http://dbpedia.org/property/name
|
Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften
|
| http://dbpedia.org/property/parentOrganization
|
http://dbpedia.org/resource/International_Union_of_History_and_Philosophy_of_Science +
|
| http://dbpedia.org/property/regionServed
|
German-speaking countries
|
| http://dbpedia.org/property/type
|
http://dbpedia.org/resource/Registered_association +
|
| http://dbpedia.org/property/website
|
http://www.dvmlg.de/ +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Start_date_and_age +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Infobox_organization +
, http://dbpedia.org/resource/Template:Authority_control +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Learned_societies_of_Germany +
, http://dbpedia.org/resource/Category:1962_establishments_in_Germany +
, http://dbpedia.org/resource/Category:Education_in_Germany +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/German_Association_for_Mathematical_Logic_and_for_Basic_Research_in_the_Exact_Sciences?oldid=1108984022&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/DVMLG_Logo.jpg +
|
| http://xmlns.com/foaf/0.1/homepage
|
http://www.dvmlg.de/ +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/German_Association_for_Mathematical_Logic_and_for_Basic_Research_in_the_Exact_Sciences +
|
| http://xmlns.com/foaf/0.1/name
|
Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften
|
| owl:sameAs |
http://viaf.org/viaf/132417052 +
, https://global.dbpedia.org/id/FeWG +
, http://www.wikidata.org/entity/Q1204365 +
, http://dbpedia.org/resource/German_Association_for_Mathematical_Logic_and_for_Basic_Research_in_the_Exact_Sciences +
, http://d-nb.info/gnd/6104277-8 +
, http://de.dbpedia.org/resource/Deutsche_Vereinigung_f%C3%BCr_mathematische_Logik_und_f%C3%BCr_Grundlagenforschung_der_exakten_Wissenschaften +
|
| rdf:type |
http://dbpedia.org/ontology/Agent +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#SocialPerson +
, http://www.wikidata.org/entity/Q24229398 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Agent +
, http://schema.org/Organization +
, http://www.wikidata.org/entity/Q43229 +
, http://dbpedia.org/ontology/Organisation +
|
| rdfs:comment |
Die Deutsche Vereinigung für mathematische … Die Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften e.V. (DVMLG) ist die Fachvertretung von Forschern im interdisziplinären Forschungsgebiet der Logik (innerhalb der Fächer Mathematik, Philosophie, Informatik und Linguistik). Sie wurde 1962 von Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt und Kurt Schütte gegründet und ist ein beim Amtsgericht Marburg eingetragener Verein. Mitglieder der DVMLG sind Forscher aus der Mathematischen Logik, der Philosophischen Logik und der Theoretischen Informatik. Alle zwei Jahre organisiert die DVMLG das Colloquium Logicum, eine internationale Fachtagung zur Logik. Sie ist verbunden mit einer Mitgliederversammlung des DVMLG. Das Colloquium Logicum 2mmlung des DVMLG. Das Colloquium Logicum 2
, The German Association for Mathematical Lo … The German Association for Mathematical Logic and for Basic Research in the Exact Sciences (German: Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften; DVMLG) is the learned society representing the interdisciplinary research area of Logic(within the disciplines of Mathematics, Philosophy, Computer Science, and Linguistics) in German-speaking countries. It was founded in 1962 by Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt, and Kurt Schütte. Its members are researchers in Mathematical Logic, Philosophical Logic, and Theoretical Computer Science. Biannually, the DVMLG organises the Colloquium Logicum, an international research conference in logic.The DVMLG forms the National Committee ic.The DVMLG forms the National Committee
|
| rdfs:label |
Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften
, German Association for Mathematical Logic and for Basic Research in the Exact Sciences
|
