Event Archive – Theoretical Computer Science Sep 01 CCC – Continuity, Computability, Constructivity – From Logic to Algorithms From 1st September 2025 12:00 am to 3rd September 2025 12:00 am Jun 19 Giovanni Soldà: On statistical learning of graphs On 19th June 2025 at 2:30 pm Jun 12 Mukesh Tiwari: Formally Verified Verifiable Group Generators On 12th June 2025 at 2:00 pm Jun 05 Manlio Valenti: Summary of Recent Progress on ‘On the computational strength of a Hausdorff oracle’ On 5th June 2025 at 2:00 pm May 22 Genevieve Clifford: Transgender Experiences of Digital Poverty in Wales On 22nd May 2025 at 3:30 pm May 15 Cécilia Pradic: Polyblind functions On 15th May 2025 at 2:00 pm May 08 Davide Trotta: A topos for extended Weihrauch degrees On 8th May 2025 at 2:00 pm May 01 Ian Price: Weihrauch Problems as Containers On 1st May 2025 at 2:00 pm Apr 10 Margret Tembo: Linear Escape Problem Over the Reals On 10th April 2025 at 2:00 pm 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
