(New) 27 August 2024, Master of Logic defense, Liam Chung

Candidate: Liam Chung

Title: Automata Closure Constructions for Kleene Algebra with Hypotheses

Date: Tuesday 27 August 2024

Time: 13:00

Location: Room F1.15, Science Park 107, Amsterdam

Supervisor: Tobias Kappé & Yde Venema