The leanest automata

Add to your list(s) Download to your calendar using vCal

• Professor Bjørn Kjos-Hanssen (University of Hawaii at Manoa)
• Thursday 01 June 2023, 17:00-18:00
• MR20 Centre for Mathematical Sciences.

If you have a question about this talk, please contact Angeliki Koutsoukou-Argyraki.

Hybrid talk (please see abstract for link) Note: different room, MR20 this time

A presentation of my idiosyncratic journey to Lean, which includes: back-and-forths within modal logic and information distance measures; a paper that was formalized before it was published; financial math and an unexpected sponsor; and an effort to formalize automatic complexity, the number of states of a smallest finite automaton accepting only one particular word of a given length.

WATCH ONLINE HERE : https://www.microsoft.com/en-gb/microsoft-teams/join-a-meeting?rtc=1 Meeting ID: 379 992 884 209 Passcode: TYR8 Sh

This talk is part of the Formalisation of mathematics with interactive theorem provers series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Cambridge talks
• DPMMS Lists
• DPMMS Pure Maths study groups
• DPMMS info aggregator
• DPMMS lists
• Department of Computer Science and Technology talks and seminars
• Formalisation of mathematics with interactive theorem provers
• Hanchen DaDaDash
• Interested Talks
• MR20 Centre for Mathematical Sciences
• Martin's interesting talks
• School of Physical Sciences
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk449

Note that ex-directory lists are not shown.