<!DOCTYPE html>
<html>
<head>
<title>Cohomology in algebra, geometry, physics and statistics</title>
</head>
<body>
<p>
Wednesday, 30 October 2024 - 13:30 to 14:30 <br />
Place: Institute of Mathematics of ASCR, Žitná 25, Praha 1, the blue lecture room +ZOOM meeting
</p>
<p>
Speaker: Štěpán Holub, Charles University<br />
Title: Combinatorics on Words in Isabelle/HOL
</p>
<p class="ql-ed">
Abstract <br />
<p>Wednesday, 27 November 2024 - 13:30 to 14:30 Institute of Mathematics of ASCR, Žitná 25, Praha 1, the blue lecture room + ZOOM meeting</p><p><span style="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="ql-font-monospace">The talk will present the ongoing project of formalization of combinatorics on words in the computer proof assistant Isabelle/HOL. Independently of the particular formalized topic, the talk will attempt to serve as an introduction to Isabelle/HOL for beginners.</span></p><p><span style="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="ql-font-monospace"></span></p><p><span style="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="ql-font-monospace">----------------------------------------------------------------------------------------------</span></p><p><span style="background-color: rgb(246, 246, 246); color: rgb(0, 0, 255);">We shall open the seminar room + ZOOM at 13.15 for coffee and close the room at 15:00</span></p><p><br></p><p><span style="background-color: rgb(246, 246, 246); color: rgb(0, 0, 255);">Join Zoom Meeting</span></p><p><br></p><p><a href="https://cesnet.zoom.us/j/99598413922?pwd=YXNFbk50aVhleXhWSGtISFViLytRUT09" rel="noopener noreferrer" target="_blank" style="color: rgb(0, 0, 204); background-color: rgb(255, 255, 255);">https://cesnet.zoom.us/j/99598413922?pwd=YXNFbk50aVhleXhWSGtISFViLytRU</a>9</p><p><br></p><p><span style="background-color: rgb(246, 246, 246); color: rgb(0, 0, 255);">MeetingID:99598413922</span></p><p class="ql-align-justify"><span style="background-color: rgb(246, 246, 246); color: rgb(0, 0, 255);">Passcode:Galois</span></p><p><br></p><p><br></p><p><br></p><p><br></p><p><br></p>
</p>
<p>
For more information see the seminar web page at <br />
https://www.math.cas.cz/index.php/events/seminar/16
</p>
<p>
Cohomology in algebra, geometry, physics and statistics mailing list <br />
phk_seminar@math.cas.cz <br />
https://list.math.cas.cz/listinfo/phk_seminar@math.cas.cz
</p>
</body>
</html>