Event Archive – Theoretical Computer Science Apr 03 Eike Neumann: On Threshold Problems for Orbits of Semigroup Actions On 3rd April 2025 at 2:00 pm Mar 20 Giorgio Genovesi: Characterizing Regular Countable Second Countable Spaces in Second Order Arithmetic On 20th March 2025 at 2:00 pm Feb 27 Arno Pauly: Computability of the Lebesgue Universal Covering problem On 27th February 2025 at 2:00 pm Jan 22 Hideki Tsuiki: Coinductive View of Shadows of 3D Fractals On 22nd January 2025 at 2:00 pm 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
