Dagstuhl-Seminar — Weihrauch Complexity: Structuring the Realm of Non-Computability


Dates : 23 mars 2025 » 28 mars 2025

Lieu : Schloss Dagstuhl – Wadern
Allemagne

Book your hotel


Organisateur : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Domaine : Informatique; 0
Mathématiques et Statistiques;
Mots-clé:: Analysis, Logic, Mathematics
Description :

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.


Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH organise son événement intitulé Dagstuhl-Seminar — Weihrauch Complexity: Structuring the Realm of Non-Computability se tiendra du 23 mars 2025 au 28 mars 2025 en Schloss Dagstuhl – Wadern, Allemagne. Il couvre divers domaines de Informatique, y compris 0. Pour plus d'informations, visitez le site web de la conférence ou contactez l'organisateur.
Ajouter au calendrier 2025-03-23 2025-03-28 Europe/London Dagstuhl-Seminar — Weihrauch Complexity: Structuring the Realm of Non-Computability https://www.sciencedz.net/fr/conference/111843-dagstuhl-seminar-weihrauch-complexity-structuring-the-realm-of-non-computability Schloss Dagstuhl – Wadern - Allemagne Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Trouver d'autres conférences connexes

Vous cherchez d'autres conférences scientifiques auxquelles participer ? Explorez un large éventail d'événements à venir dans divers domaines et lieux. Que vous recherchiez des sujets spécialisés, des lieux spécifiques ou des dates, nous avons un large éventail de conférences à vous proposer.
Conférences en Informatique en Allemagne 2025 : Découvrez les dernières tendances et recherches en Informatique en participant à des conférences en Allemagne en 2025. Créez des réseaux avec des professionnels, des chercheurs et des leaders de l'industrie pour rester à la pointe des avancées technologiques.
Conférences et séminaires en Allemagne
Conférences et séminaires en Allemagne en 2025
Conférences et séminaires en Informatique
Conférences et séminaires en Informatique en 2025
Conférences et séminaires en Informatique en Allemagne
Conférences et séminaires en Informatique en Allemagne en 2025
Tous les événements
Evénements par pays

Avertissement: Nous visons à fournir des informations exactes et fiables sur les événements à venir, mais nous ne pouvons pas accepter la responsabilité pour le texte des annonces ou de la bonne foi des organisateurs de l'événement.S'il vous plaît, n'hésitez pas à nous contacter si vous remarquez des informations incorrectes ou trompeuses et nous tenterons d'y remédier.Nous ne sommes impliqués dans l'organisation d'aucun des événements répertoriés et nous ne gérons pas les paiements d'inscription au nom des organisateurs.