Post

Logic Seminar: Wednesday, October 14, 2026, at 12.15–14.00. Joni Puljujärvi: The Ehrenfeucht–Fraïssé Comonad of Continuous First-Order Logic. University of Helsinki, Exactum (Pietari Kalmin katu 5), room C124. https://wiki.helsinki.fi/xwiki/bin/view/Logic/Home/Seminar/

wiki.helsinki.fiSeminar - XWikiSeminar

12/10/26, 7:10 am0 reposts1 like

algorithms.fi

@algorithms.fi

Helsinki CS Theory Seminar: Wednesday, October 14, 2026, at 14.15–14.45. Alesya Raevskaya: It does not matter how you define locally checkable labelings. Aalto University, Maarintie 8, room AS3 (1021). https://research.cs.aalto.fi/theory/seminar/seminar.html

research.cs.aalto.fiHelsinki CS Theory Seminar

algorithms.fi

@algorithms.fi

ANTA seminar: Thursday, October 15, 2026, at 14.15. Prof. Lenny Fukshansky: Two algebraic contructions of structured lattices. Aalto University, Undergraduate Centre (Otakaari 1), room M3 (M234). https://math.aalto.fi/en/research/discrete/anta/seminar.php

math.aalto.fiAlgebra, Number Theory, and Applications research group - Thesis projects

algorithms.fi

@algorithms.fi

Seminar on Formalized Mathematics: Friday, October 16, 2026, at 13.15–14.00. Kristian Latvanen: Formalizing percolation. University of Helsinki, Main Building (Fabianinkatu 33), room U4062. https://kkytola.github.io/FormalizationSeminar/

kkytola.github.ioSeminar on Formalized Mathematics

algorithms.fi

@algorithms.fi

AGC (Algebra, Geometry and Combinatorics) Seminar: Monday, October 19, 2026, at 14.15. Aalto University, Undergraduate Centre (Otakaari 1), room M3 (M234). https://math.aalto.fi/en/research/discrete/seminars/agc/

math.aalto.fiAalto SCI MS AGC