[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