[PHK_seminar] [Cohomology]Wednesday 30 Oct, Štěpán Holub
Igor Khavkine
khavkine at math.cas.cz
Fri Nov 1 00:14:40 CET 2024
Dear All,
The video recording of the talk by Štěpán Holub from this week is now
available on YouTube at
https://youtu.be/mxosz4k2Z44
The slides and a copy of the demonstration Isabelle file are available from
https://users.math.cas.cz/~hvle/PHK/HolubCombinatorics2024.pdf
https://users.math.cas.cz/~hvle/PHK/PresentationWeb.thy
These links have also been recorded at the ResearchSeminars announcement
https://researchseminars.org/talk/PHK-cohomology-seminar/112/
Best,
Igor
On 10/28/24 1:00 PM, sender of seminar announcement via phk_seminar wrote:
> Wednesday, 30 October 2024 - 13:30 to 14:30
> Place: Institute of Mathematics of ASCR, Žitná 25, Praha 1, the blue
> lecture room +ZOOM meeting
>
> Speaker: Štěpán Holub, Charles University
> Title: Combinatorics on Words in Isabelle/HOL
>
> Abstract
>
> Wednesday, 27 November 2024 - 13:30 to 14:30 Institute of Mathematics of
> ASCR, Žitná 25, Praha 1, the blue lecture room + ZOOM meeting
>
> 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.
>
>
>
> ----------------------------------------------------------------------------------------------
>
> We shall open the seminar room + ZOOM at 13.15 for coffee and close the
> room at 15:00
>
>
> Join Zoom Meeting
>
>
> https://cesnet.zoom.us/j/99598413922?pwd=YXNFbk50aVhleXhWSGtISFViLytRU
> <https://cesnet.zoom.us/j/99598413922?pwd=YXNFbk50aVhleXhWSGtISFViLytRUT09>9
>
>
> MeetingID:99598413922
>
> Passcode:Galois
>
>
>
>
>
>
> For more information see the seminar web page at
> https://www.math.cas.cz/index.php/events/seminar/16
>
> Cohomology in algebra, geometry, physics and statistics mailing list
> phk_seminar at math.cas.cz
> https://list.math.cas.cz/listinfo/phk_seminar@math.cas.cz
>
>
> _______________________________________________
> phk_seminar mailing list
> phk_seminar at math.cas.cz
> https://list.math.cas.cz/listinfo/phk_seminar
More information about the phk_seminar
mailing list