[PHK_seminar] [Cohomology]Wednesday 30 Oct, Štěpán Holub

[Petr Somberg]

 This is just a reminder of our seminar starting at 13.30!

==========================================================

> Cohomology in algebra, geometry, physics and statistics
> 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=YXNFbk50aVhleXhWSGtISFViLytRU9
>
>
>
>
>
> 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
>
>