Post

AGC (Algebra, Geometry and Combinatorics) Seminar: Monday, October 5, 2026, at 14.15. Vanni Noferini: Rosenbrock's Theorem characterizes Prüfer domains. Aalto University, Undergraduate Centre (Otakaari 1), room M3 (M234). https://math.aalto.fi/en/research/discrete/seminars/agc/

math.aalto.fiAalto SCI MS AGC

algorithms.fi

@algorithms.fi

Logic Seminar: Wednesday, October 7, 2026, at 12.15–14.00. Juan Pablo Quijano: Logic over Quantales: Generalized Kripke Structures and Contextual Sound Classification. University of Helsinki, Exactum (Pietari Kalmin katu 5), room C124. https://wiki.helsinki.fi/xwiki/bin/view/Logic/Home/Seminar/

wiki.helsinki.fiSeminar - XWikiSeminar

algorithms.fi

@algorithms.fi

Helsinki CS Theory Seminar: Wednesday, October 7, 2026, at 14.15. Tim Göttlicher: Dynamic 3-coloring of bipartite graphs with optimal local update radius. Aalto University, Maarintie 8, room TU1 (1017). https://research.cs.aalto.fi/theory/seminar/seminar.html

research.cs.aalto.fiHelsinki CS Theory Seminar

5/10/26, 7:10 am0 reposts0 likes

algorithms.fi

@algorithms.fi

Puzzle & Pizza Night: Wednesday, October 7, 2026, at 18.00. Aalto University, Computer Science Building (Konemiehentie 2), room A123. https://algorithms.fi/puzzle-and-pizza/

algorithms.fiPuzzle & Pizza

algorithms.fi

@algorithms.fi

Seminar on Formalized Mathematics: Friday, October 9, 2026, at 13.15–14.00. Thanh-Long Tran: Lean-augmented LLM infrastructure for research. University of Helsinki, Main Building (Fabianinkatu 33), room U4062. https://kkytola.github.io/FormalizationSeminar/

kkytola.github.ioSeminar on Formalized Mathematics