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 organises its event entitled School — Condensed mathematics and the liquid tensor experiment to be held from 04 setembro 2022 to 10 setembro 2022 in Będlewo, Polónia. It covers various areas of Matemática e Estatística including Geometry and Topology. For more information, visit the website of the conference or contact the organizer.
Add to calendar2022-09-042022-09-10Europe/LondonSchool — Condensed mathematics and the liquid tensor experimenthttps://www.sciencedz.net/pt/conference/92371-school-condensed-mathematics-and-the-liquid-tensor-experimentBędlewo - PolóniaBanach Center
Disclaimer : Temos como objectivo proporcionar informações precisas e confiáveis sobre os próximos eventos, mas não podemos aceitar a responsabilidade para o texto de anúncios ou boa-fé dos organizadores do evento. Por favor, não hesite em contactar-nos se você observar informações incorretas ou enganosas e vamos tentar corrigi-lo.We are not involved in the organization of any of the events listed and we do not handle registration payments on behalf of the organizers.
Subscribe Now
Subscribe to receive conference alerts and news.
Share this event
Embed this event in your webpage
Copy the text below and past it in your html code: