Conférences - Logique mathématique et fondements - Allemagne

Sélecionner un pays
Computability Theory
25 avr 2021 - 01 mai 2021 • Oberwolfach , Allemagne
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
Mathematics and Analogical Reasoning
27 aou 2021 - 28 aou 2021 • Munich, Allemagne
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.
Identifiant de l'évènement:
XXV. Congress of the German Society for Philosophy
05 sep 2021 - 08 sep 2021 • Nürnberg, Allemagne
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.
Identifiant de l'évènement:
Autumn school "Proof and Computation"
20 sep 2021 - 26 sep 2021 • Fischbachau, Allemagne
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
Identifiant de l'évènement:
Set Theory
09 jan 2022 - 15 jan 2022 • Oberwolfach , Allemagne
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1395858 met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Dernière mise à jour: 21 Décembre 2021