Conférences  >  Mathématiques  >  Démonstration automatique de théorèmes  >  Pologne

Sélecionner un pays
1
School — Condensed mathematics and the liquid tensor experiment
04 sep 2022 - 10 sep 2022 • Będlewo, Pologne
Organisateur:
Banach Center
Résumé:
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.
Identifiant de l'évènement:
1495282
Sujets apparentés:


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: 01 Juillet 2022