News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

30 September 2022, Cool Logic, Mike Cruchten

Speaker: Mike Cruchten
Title: The theory of regular lasso languages
Date: Friday 30 September 2022
Time: 17:00-19:00
Location: Room TBA, ILLC, Science Park, Amsterdam

The theory of regular languages has been studied extensively and offers many nice connections to logic, algebra, and coalgebra. Unfortunately, the theory of omega-regular languages is slightly less well-behaved, in particular with regards to coalgebra. To bridge the gap we introduce the theory of regular lasso languages, a theory combining the simplicity of regular languages with the expressiveness of omega-regular languages. As with any other topic related to automata theory, plenty of pictures will be provided.

For more information, see https://coollogic.wixsite.com/website or contact Tuva Bardal, Paul Talma at .

Please note that this newsitem has been archived, and may contain outdated information or links.