2026 05 30

I attended CCC 2026: Continuity, Computability, Constructivity – From Logic to Algorithms, Kyoto (Japan), 27-30 May 2026.