Post

Logic Seminar: Wednesday, September 30, 2026, at 12.15–14.00. Minna Hirvonen: Axiomatizations of implication problems in semiring team semantics. University of Helsinki, Exactum (Pietari Kalmin katu 5), room C124. https://wiki.helsinki.fi/xwiki/bin/view/Logic/Home/Seminar/

wiki.helsinki.fiSeminar - XWikiSeminar

28/9/26, 7:10 am1 repost1 like

algorithms.fi

@algorithms.fi

Helsinki CS Theory Seminar: Wednesday, September 30, 2026, at 14.15. Sándor Kisfaludi-Bak: Approximation schemes for Subset TSP and Steiner Tree beyond planar graphs. Aalto University, Maarintie 8, room TU1 (1017). https://research.cs.aalto.fi/theory/seminar/seminar.html

research.cs.aalto.fiHelsinki CS Theory Seminar

algorithms.fi

@algorithms.fi

ANTA seminar: Thursday, October 1, 2026, at 14.15. Prof. Marcus Greferath: On my recent work on noiseless and noisy group testing (Part I). 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

Thesis presentations: Friday, October 2, 2026, at 10.30–11.15. Onni Miettinen: NP-hardness of Touring Non-convex Polygons under All Lₚ Metrics. Aalto University, Undergraduate Centre (Otakaari 1), hall U264. https://algorithms.fi/theses/

algorithms.fiThesis Presentations

algorithms.fi

@algorithms.fi

Seminar on Formalized Mathematics: Friday, October 2, 2026, at 13.15–14.00. Niklas Halonen: Automated Grading in Lean Using Comparator. University of Helsinki, Main Building (Fabianinkatu 33), room U4062. https://kkytola.github.io/FormalizationSeminar/

kkytola.github.ioSeminar on Formalized Mathematics