Meetings/Workshops on Automated Theorem Proving in Poland

Select a location
1
School — Condensed mathematics and the liquid tensor experiment
04 Sep 2022 - 10 Sep 2022 • Będlewo, Poland
Organizer:
Banach Center
Abstract:
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.
Event listing ID:
1495293
Related subject(s):


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 01 July 2022