BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Štěpán Holub (Charles University)
DTSTART:20241030T123000Z
DTEND:20241030T133000Z
DTSTAMP:20260413T113639Z
UID:PHK-cohomology-seminar/112
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/PHK-cohomolo
 gy-seminar/112/">Combinatorics on Words in Isabelle/HOL</a>\nby Štěpán 
 Holub (Charles University) as part of Prague-Hradec Kralove seminar Cohomo
 logy in algebra\, geometry\, physics and statistics\n\nLecture held in blu
 e lecture room\, rear building\, ground floor.\n\nAbstract\nThe 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 I
 sabelle/HOL for beginners.\n\n(Demonstration file: <a href="https://users.
 math.cas.cz/~hvle/PHK/PresentationWeb.thy">PresentationWeb.thy</a>)\n
LOCATION:https://researchseminars.org/talk/PHK-cohomology-seminar/112/
END:VEVENT
END:VCALENDAR