Event Archive – Theoretical Computer Science Jan 14 Elvira Mayordomo: On information theory in geometric measure theory On 14th January 2025 at 2:00 pm Dec 10 Oliver Kullmann: Automated search for special Latin squares On 10th December 2024 at 2:00 pm Dec 03 Matteo Acclavio: A new logical framework for concurrent programs On 3rd December 2024 at 2:00 pm Nov 26 Troy Astarte: Conceptualising Programming Language Semantics On 26th November 2024 at 2:00 pm 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
