School — Condensed mathematics and the liquid tensor experiment

Expired
Dates : 04 September 2022 » 10 September 2022

Place : Będlewo
Poland

Book your hotel


Organizer : Banach Center

Topic : Mathematics and Statistics; Geometry and Topology
Mathematics and Statistics;
Keywords: 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 organises its event entitled School — Condensed mathematics and the liquid tensor experiment to be held from 04 September 2022 to 10 September 2022 in Będlewo, Poland. It covers various areas of Mathematics and Statistics including Geometry and Topology. For more information, visit the website of the conference or contact the organizer.
Add to calendar 2022-09-04 2022-09-10 Europe/London School — Condensed mathematics and the liquid tensor experiment https://www.sciencedz.net/en/conference/92371-school-condensed-mathematics-and-the-liquid-tensor-experiment Będlewo - Poland Banach Center

Info Cheap flights Best hotel deals

Related sections :

Conferences and seminars in Poland
Conferences and seminars in Poland in 2022
Conferences and seminars in Mathematics and Statistics
Conferences and seminars in Mathematics and Statistics in 2022
Conferences and seminars in Mathematics and Statistics in Poland
Conferences and seminars in Mathematics and Statistics in Poland in 2022
All events
Events by country

Disclaimer : We aim to provide correct and reliable information about upcoming events, but cannot accept responsibility for the text of announcements or for the bona fides of event organizers. Please feel free to contact us if you notice incorrect or misleading information and we will attempt to correct it.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.