BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The leanest automata - Professor Bjørn Kjos-Hanssen (University o
 f Hawaii at Manoa)
DTSTART:20230601T160000Z
DTEND:20230601T170000Z
UID:TALK196747@talks.cam.ac.uk
CONTACT:Angeliki Koutsoukou-Argyraki
DESCRIPTION:A presentation of my idiosyncratic journey to Lean\, which inc
 ludes:\nback-and-forths within modal logic and information distance measur
 es\;\na paper that was formalized before it was published\;\nfinancial mat
 h and an unexpected sponsor\; and\nan effort to formalize automatic comple
 xity\, the number of states of a smallest finite automaton accepting only 
 one particular word of a given length.\n\nWATCH ONLINE HERE : https://www.
 microsoft.com/en-gb/microsoft-teams/join-a-meeting?rtc=1 Meeting ID: 379 9
 92 884 209 Passcode: TYR8 Sh
LOCATION:MR20 Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR