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

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

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.

Rutgers University

The main goal of the annual meeting series "Groups, Logic and Dynamics" (GLaD) is to bring together people from different areas of math with common interest in groups and their actions, and to build a community around them. The scope of the meeting is very broad. It includes descriptive set theory, dynamics, geometric and measured group theory. GLaD is open to all interested scholars in the region. Students and early career researchers are particularly encouraged to participate. Anyone who is interested in attending and needs support for travel to GLaD should contact Filippo Calderoni (filippo.calderoni at rutgers.edu). The next GLaD meeting is planned for April 12, 2025 at Rutgers University in New Brunswick, NJ.

Email.: filippo.calderoni@rutgers.edu

Théorie des groupes,    Géométrie et topologie

Erwin Schrödinger International Institute for Mathematics and Physics (ESI)

This workshop is devoted to interactions between continued fraction algorithms (in dimension one and mostly higher) and arithmetic, automatic and uniformly distributed sequences. Problems in this area inspired a lot of work in dynamical systems in general, and the techniques that were developed over the years found applications well beyond their original motivation. Milestones in the theory were achieved by Austrian and Dutch mathematicians and collaborations between them: Hlawka-Koksma and Kuipers-Niederreiter.

Théorie des graphes et combinatoire,    Algèbre

EMBL Heidelberg

The fundamental question of the role of metabolism in development has seen a revival in interest over recent years, creating the need for the first edition of this workshop in 2023. This second edition is set to reunite the community two years on, and to ensure the ongoing interactions that can propel progress in developmental metabolism. In this rapidly advancing field, metabolomic methods play a crucial role in unraveling complex processes. The workshop will again aim to bring together researchers from diverse backgrounds: developmental biology, genetics, epigenetics, ecology, physics and math, to provide the developmental metabolism community with cutting-edge research and methodologies applied across scales, insights into the latest advancements in metabolomic techniques and their application to developmental biology. New for 2025 will be an increased integration of tool development and technologies and an added focus on novel metabolomic approaches.

EMBL Events;     Email.: events@embl.de

Biologie,    Physique mathématique