School — Condensed mathematics and the liquid tensor experiment

Expiré
Dates : 04 septembre 2022 » 10 septembre 2022

Lieu : Będlewo
Pologne

Book your hotel


Organisateur : Banach Center

Domaine : Mathématiques et Statistiques; Geometry and Topology
Mathématiques et Statistiques;
Mots-clé:: Geometry, Mathematics, Topology
Description :

There will be two lecture series: one on condensed mathematics, which is a new approach to topology, and one on computer proof assistants. These two strands come together in the computer verification for the main theorem of liquid vector spaces.


Banach Center organise son événement intitulé School — Condensed mathematics and the liquid tensor experiment se tiendra du 04 septembre 2022 au 10 septembre 2022 en Będlewo, Pologne. Il couvre divers domaines de Mathématiques et Statistiques, y compris Geometry and Topology. Pour plus d'informations, visitez le site web de la conférence ou contactez l'organisateur.
Ajouter au calendrier 2022-09-04 2022-09-10 Europe/London School — Condensed mathematics and the liquid tensor experiment https://www.sciencedz.net/fr/conference/92371-school-condensed-mathematics-and-the-liquid-tensor-experiment Będlewo - Pologne Banach Center

Sections connexes :

Conférences et séminaires en Pologne
Conférences et séminaires en Polognedans 2022
Conférences et séminaires en Mathématiques et Statistiques
Conférences et séminaires en Mathématiques et Statistiquesdans 2022
Conférences et séminaires en Mathématiques et Statistiquesdans Pologne
Conférences et séminaires en Mathématiques et Statistiquesdans Polognedans 2022
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.