Event Archive – Theoretical Computer Science Nov 19 Galileo Sartor: Representing and reasoning with legal aspects of traffic rules for autonomous vehicles On 19th November 2024 at 2:00 pm Oct 29 Benjamin Koch: Introduction to Effective Fractal Dimension On 29th October 2024 at 2:00 pm Oct 15 Arno Pauly: Completeness in Computable Analysis On 15th October 2024 at 2:00 pm Oct 11 Dr Neil Davies: Assuring non-functional requirements On 11th October 2024 at 2:00 pm May 13 Agda Implementors Meeting From 13th May 2024 12:00 am to 18th May 2024 12:00 am Apr 18 Máté Szabó: Gödel’s and Post’s Proofs of the Incompleteness Theorem On 18th April 2024 at 2:00 pm
