Konferenzen zum Thema Mathematische Logik, Grundlagen der Mathematik in Deutschland

Summerschool on experimental methods in the philosophy of mathematics.

Geschichte und Philosophie von Wissenschaft und Technik,    Wissenschaftliche Philosophie

Universität Konstanz

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.

Kurse und Veranstaltungen für Studenten der Mathematik,    Geschichte und Philosophie von Wissenschaft und Technik

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.

Informationstheorie und Grundlagen der Informatik,    Wissenschaftliche Philosophie

Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)

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.

Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)