Meetings/Workshops on Mathematical Logic and Foundations in Germany

Select a location
Computability Theory
25 Apr 2021 - 01 May 2021 • Oberwolfach , Germany
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
Mathematics and Analogical Reasoning
27 Aug 2021 - 28 Aug 2021 • Munich, Germany
The goal of this conference is to investigate the role of mathematics as a heuristic device for analogical reasoning in science and philosophy. ​ Empirical science relies heavily on mathematics. Mathematical models enable physicists to simulate dynamical ‘dumb hole’ analogues to gravitational black holes (Curiel 2019; Dardashti, Thébault, and Winsberg 2017; Gryb, Palacios, and Thébault 2019), chemists to study the behaviour of molecules, medical researchers to examine the spreading rate of diseases, and biologists to understand changes in animal populations. There is no doubt that mathematics is an indispensable scientific tool.
Event listing ID:
XXV. Congress of the German Society for Philosophy
05 Sep 2021 - 08 Sep 2021 • Nürnberg, Germany
The 25th conference of the German Society of Philosophy deals with the true, the good, and the beautiful – and, therefore, with everything? Yes and no. As always, the conference will be an exhibition of philosophy and provide the opportunity to present research from all parts of philosophy: in 40 sections there will be talks about virtually all fields and periods of philosophy. At the same time, there will be, mainly in the colloquia, a focus on special questions, which have, in recent years, more and more taken centre stage in philosophical research. These questions are concerned with the relations between truth, goodness and beauty: What is the relation between epistemic and practical norms? Can judgements about the good and the beautiful be true (and false)? What is the value of truth? Is a good life a beautiful life? Is the aim of art beauty, truth or goodness? These and related questions are located at the intersection of theoretical and practical philosophy – and, therefore, maybe at the centre of philosophy in general.
Event listing ID:
Autumn school "Proof and Computation"
20 Sep 2021 - 26 Sep 2021 • Fischbachau, Germany
An international autumn school "Proof and Computation" will be held from 20th to 26th September 2020 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs
Event listing ID:
Set Theory
09 Jan 2022 - 15 Jan 2022 • Oberwolfach , Germany
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1395814 offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

Last updated: 20 December 2020