Conférences  >  Mathématiques  >  Logique mathématique et fondements  >  Allemagne

Sélecionner un pays
1
Trimester Program — Prospects of formal mathematics
06 mai 2024 - 16 aou 2024 • Bonn, Allemagne
Organisateur:
Hausdorff Research Institute for Mathematics (HIM)
Résumé:
The goal of this program is to bring together experts of Formal Mathematics, exploit their interactions, foster future collaborations, and interface them better with the mathematical mainstream. At the same time the goal is to provide a platform for junior researchers to enter Formal Mathematics. A central, unifying theme is to break down adoption barriers of formal methods in Mathematics.
Identifiant de l'évènement:
1585613
2
Workshop — Information theory, Boolean functions and lattice problems
18 nov 2024 - 22 nov 2024 • Bonn, Allemagne
Organisateur:
The Hausdorff Research Institute for Mathematics (HIM)
Résumé:
This workshop brings together leading experts in Boolean analysis, information theory, and lattices to explore the forefront of these disciplines through the talks and discussions about intriguing open problems, recent resolutions, and the evolution of innovative ideas, approaches, and techniques.
Identifiant de l'évènement:
1623279
3
Set Theory
12 jan 2025 - 17 jan 2025 • Oberwolfach, Allemagne
Sujets:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1605137
4
Dagstuhl-Seminar — Weihrauch Complexity: Structuring the Realm of Non-Computability
23 mar 2025 - 28 mar 2025 • Schloss Dagstuhl – Wadern, Allemagne
Organisateur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Résumé:
This Dagstuhl Seminar is dedicated to the investigation of two active areas of research, one in theoretical computer science, the other in mathematical logic. These are computable analysis on the one hand, and reverse mathematics and applied computability theory on the other. That there is a deep connection between these areas was first suggested by Gherardi and Marcone (2008) and later independently by Dorais, Dzhafarov, Hirst, Mileti, and Shafer (2016) and Hirschfeldt and Jockusch (2016). The past decade has seen this connection blossom into a rich and productive area of research, with by now many papers and several PhD theses dedicated to it. Results in this area fall into two intertwined groups: Some clarify the structure of the degrees of non-computability; some further our understanding of the precise nature of non-computability of particular computational tasks of interest. Grasping the nature of non-computability is a profound goal mirroring the quest to understand the nature of computation. Knowing the degree of non-computability of a computational task brings with it answers as to whether weaker or approximate versions of it might be solvable. This interdisciplinary development was fostered not least by the two precursor Dagstuhl Seminars on this topic. The current seminar will explore recent trends and results, open questions, and new directions of this fascinating field of research that has become known as Weihrauch complexity.
Identifiant de l'évènement:
1626726


Conference-Service.com 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!

Y'a pas de suivi | Y'a pas de pop-ups | Y'a pas d'animations
Dernière mise à jour: 4 juillet 2024