Konferenzen zum Thema Mathematische Logik, Grundlagen der Mathematik in Deutschland

Wählen Sie ein Land aus
1
BTA?! — Philosophy of Mathematics Beyond the Armchair?!
22. Aug 2022 - 26. Aug 2022 • Heinrich Heine University Düsseldorf, Deutschland
Zusammenfassung:
Summerschool on experimental methods in the philosophy of mathematics.
Eintrags-ID:
1489020
2
European Summer School on the Philosophy of Mathematics
05. Sep 2022 - 09. Sep 2022 • Konstanz, Deutschland
Veranstalter:
Universität Konstanz
Zusammenfassung:
Die Summer School findet an der Universität Konstanz statt und umfasst zwei einwöchige Tutorien und vier Vorlesungen von renommierten Wissenschaftler:innen. Ziel der Summer School ist es, Masterstudent:innen und Doktorand:innen zusammenzubringen, die sich für die Verbindung zwischen Philosophie und Mathematik interessieren, und ihnen die Möglichkeit zu geben, verwandte Themen mit führenden Wissenschaftler:innen auf diesem Gebiet zu diskutieren.
Eintrags-ID:
1489080
3
FATIL2022 — The First International Conference on Foundations, Applications, and Theory of Inductive Logic
12. Okt 2022 - 14. Okt 2022 • München, Deutschland
Zusammenfassung:
Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of "reasoning from experience". It has thus influenced both theoretical work on the formalisation of rational models of thought in Philosophy as well as practical applications in the areas of Artificial Intelligence and, in particular, Machine Learning. The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022) aims at bringing together experts from all fields concerned with inductive reasoning.
Eintrags-ID:
1489221
4
Resolutions in Local Algebra and Singularity Theory
05. Feb 2023 - 11. Feb 2023 • Oberwolfach, Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Zusammenfassung:
This is a workshop in commutative algebra, broadly interpreted, with a focus on three areas, all concerned with resolutions in various forms. One is the resolution of singularities of algebraic varieties, which remains a vibrant topic of research. The second is the theory of noncommutative resolution of singularities. Introduced two decades ago, this subject has witnessed remarkable growth developing connections to algebraic geometry, commutative algebra, cluster algebras, and the representation theory of algebras, both commutative and noncommutative, among others. The third intended meaning of the word “resolution” is as in free resolutions of algebras and modules in commutative algebra.
Eintrags-ID:
1494789
Verwandte Fachgebiete:
5
Mathematical Logic: Proof Theory, Constructive Mathematics
12. Nov 2023 - 18. Nov 2023 • Oberwolfach, Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1495254
Verwandte Fachgebiete:


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 01. Juli 2022