@algorithms.fi · Mythryl

algorithms.fi

@algorithms.fi

HALT · Helsinki Algorithms & Theory · https://algorithms.fi

Logic Seminar: Wednesday, October 28, 2026, at 12.15–14.00. University of Helsinki, Exactum (Pietari Kalmin katu 5), room C124. https://wiki.helsinki.fi/xwiki/bin/view/Logic/Home/Seminar/

wiki.helsinki.fiSeminar - XWikiSeminar

View full thread

algorithms.fi

@algorithms.fi

ANTA seminar: Thursday, October 29, 2026, at 15.15. Dr. Razane Tajeddine: Robust semantic communications. 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

HIIT Foundations Friday: Friday, October 30, 2026, at 11.15–13.00. Andrew Cropper: Automating Popper's logic of scientific discovery. University of Helsinki, Athena building (Siltavuorenpenger 3 A), room 169. https://research.cs.aalto.fi/hiit-foundations/

research.cs.aalto.fiHIIT Foundations Friday

algorithms.fi

@algorithms.fi

Logic Seminar: Wednesday, October 28, 2026, at 12.15–14.00. 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 28, 2026, at 14.15–14.45. Kaie Kubjas: Geometry of low nonnegative rank matrix completion. 1023 AS4. https://research.cs.aalto.fi/theory/seminar/seminar.html

research.cs.aalto.fiHelsinki CS Theory Seminar

algorithms.fi

@algorithms.fi

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

math.aalto.fiAalto SCI MS AGC

View full thread

algorithms.fi

@algorithms.fi

ANTA seminar: Thursday, October 22, 2026, at 15.15. Prof. Marcus Greferath: On my recent work on noiseless and noisy group testing (Part III). 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 23, 2026, at 11.15–12.15. Otto Vanto: Designing RAG agents for industrial documentation—Findings, contributions and a process for continuous improvement. Aalto University, Väre, room L101. https://algorithms.fi/theses/

algorithms.fiThesis Presentations

algorithms.fi

@algorithms.fi

math.aalto.fiAalto SCI MS AGC

algorithms.fi

@algorithms.fi

Helsinki CS Theory Seminar: Wednesday, October 21, 2026, at 14.15–14.45. Matilda Häggblom: Approximate Inclusion Dependencies: Properties and Axiomatizations. 1023 AS4. https://research.cs.aalto.fi/theory/seminar/seminar.html

research.cs.aalto.fiHelsinki CS Theory Seminar

algorithms.fi

@algorithms.fi

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

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

View full thread

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

algorithms.fi

@algorithms.fi

wiki.helsinki.fiSeminar - XWikiSeminar

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

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

View full thread

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

algorithms.fi

@algorithms.fi

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

algorithms.fi

@algorithms.fi

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

View full thread

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

algorithms.fi

@algorithms.fi

AGC (Algebra, Geometry and Combinatorics) Seminar: Monday, October 5, 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

algorithms.fi

@algorithms.fi

wiki.helsinki.fiSeminar - XWikiSeminar

View full thread

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

wiki.helsinki.fiSeminar - XWikiSeminar

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

21 Sept

Logic Seminar: Wednesday, September 23, 2026, at 12.15–14.00. Juha Kontinen: Aspects of Coherence in Dependence 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

algorithms.fi

@algorithms.fi

21 Sept

Helsinki CS Theory Seminar: Wednesday, September 23, 2026, at 14.15. Saeed Odak: Shifting is Optimal under Gap-ETH: A Lower Bound Framework for Geometric Approximation Schemes. Aalto University, Maarintie 8, room TU1. https://research.cs.aalto.fi/theory/seminar/seminar.html

research.cs.aalto.fiHelsinki CS Theory Seminar

algorithms.fi

@algorithms.fi

21 Sept

HIIT Foundations Friday: Friday, September 25, 2026, at 11.15–13.00. Jiaheng Wang: Deterministic randomised algorithms. University of Helsinki, Athena building (Siltavuorenpenger 3 A), room 169. https://research.cs.aalto.fi/hiit-foundations/

research.cs.aalto.fiHIIT Foundations Friday

algorithms.fi

@algorithms.fi

14 Sept

Logic Seminar: Wednesday, September 16, 2026, at 12.15–14.00. University of Helsinki, Exactum (Pietari Kalmin katu 5), room C124. https://wiki.helsinki.fi/xwiki/bin/view/Logic/Home/Seminar/

wiki.helsinki.fiSeminar - XWikiSeminar

ANTA seminar: Thursday, September 17, 2026, at 14.15. Jesse Piispanen: On well-rounded lattices and theta function minimization (MSc thesis presentation). 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

14 Sept

Thesis presentations: Friday, September 18, 2026, at 12.00. Henrik Lievonen: Locality in distributed quantum and online graph algorithms. Aalto University, Computer Science Building (Konemiehentie 2), hall T2. https://algorithms.fi/theses/

algorithms.fiThesis Presentations

algorithms.fi

@algorithms.fi

14 Sept

Logic Seminar: Wednesday, September 16, 2026, at 12.15–14.00. 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

14 Sept

Helsinki CS Theory Seminar: Wednesday, September 16, 2026, at 14.15. Tianwei Zhang: Searching for smallest universal graphs with SAT. Aalto University, Maarintie 8, room AS4. https://research.cs.aalto.fi/theory/seminar/seminar.html

research.cs.aalto.fiHelsinki CS Theory Seminar

algorithms.fi

@algorithms.fi

7 Sept

AGC (Algebra, Geometry and Combinatorics) Seminar: Monday, September 7, 2026, at 14.15. Nataliia Kushnerchuk: Posets of trek polynomials for directed graphical models. Aalto University, Undergraduate Centre (Otakaari 1), room M3 (M234). https://math.aalto.fi/en/research/discrete/seminars/agc/

math.aalto.fiAalto SCI MS AGC

Helsinki CS Theory Seminar: Wednesday, September 9, 2026, at 14.15. Filippo Casagrande: A Simple Construction of Locally Checkable Problems Filling the LOCAL Complexity Gaps in Graphs with Arbitrary Large Degrees. Aalto University, Maarintie… https://research.cs.aalto.fi/theory/seminar/seminar.html

research.cs.aalto.fiHelsinki CS Theory Seminar

algorithms.fi

@algorithms.fi

7 Sept

ANTA seminar: Thursday, September 10, 2026, at 14.15. Jesse Piispanen: On well-rounded lattices and theta function minimization (MSc thesis presentation). 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

7 Sept

math.aalto.fiAalto SCI MS AGC

algorithms.fi

@algorithms.fi

7 Sept

Logic Seminar: Tuesday, September 8, 2026, at 14.15–16.00. Timon Barlag: Recurrent Graph Neural Networks and Arithmetic Circuits. University of Helsinki, Exactum (Pietari Kalmin katu 5), room C323. https://wiki.helsinki.fi/xwiki/bin/view/Logic/Home/Seminar/

wiki.helsinki.fiSeminar - XWikiSeminar

algorithms.fi

@algorithms.fi

7 Sept

Logic Seminar: Wednesday, September 9, 2026, at 12.15–14.00. 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

31 Aug

AGC (Algebra, Geometry and Combinatorics) Seminar: Monday, August 31, 2026, at 14.15. Joel Hakavuori: Unimodality, Lefschetz theory, and F-purity. 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

31 Aug

Logic Seminar: Wednesday, September 2, 2026, at 12.15–14.00. Anssi Yli-Jyrä: Graph-encoding languages as a special case of 2-stack visibly pushdown languages. 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

24 Aug

Helsinki Algorithms & Theory Days 2026: Thursday–Friday, August 27–28, 2026. https://algorithms.fi

algorithms.fiHALT · Helsinki Algorithms & Theory

algorithms.fi

@algorithms.fi

24 Aug

ANTA seminar: Thursday, August 27, 2026, at 14.15. Prof. Guillermo Mantilla-Soler (U. Nacional de Colombia): Zeta functions of number fields and the classification of integral quadratic forms. Aalto University, Undergraduate Centre (Otakaa… 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

17 Aug

Helsinki CS Theory Seminar: Wednesday, August 19, 2026, at 14.15. Fabio Anselmi: Learning Beyond the Loss: Why Neural Networks Prefer Certain Solutions and how to engineer them. Aalto University, Maarintie 8, room TU1. https://research.cs.aalto.fi/theory/seminar/seminar.html

research.cs.aalto.fiHelsinki CS Theory Seminar

algorithms.fi

@algorithms.fi

10 Aug

Logic Seminar: Wednesday, August 12, 2026, at 12.15–14.00. 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

13 July

Helsinki CS Theory Seminar: Wednesday, July 15, 2026, at 14.15. Václav Rozhoň: Near dynamic optimality of Splay trees. Aalto University, Maarintie 8, room TU1. https://research.cs.aalto.fi/theory/seminar/seminar.html

research.cs.aalto.fiHelsinki CS Theory Seminar

algorithms.fi

@algorithms.fi

6 July

ANTA seminar: Thursday, July 9, 2026, at 15.15. Prof. Timothy Trudgian (UNSW Canberra): Division!. 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 reposted

Jukka Suomela

@jukkasuomela.fi

29 June

Our research group at Aalto University is hiring 3 postdocs + 3 doctoral students to work on distributed quantum algorithms in projects funded by an ERC Advanced Grant and a QuantERA grant. Application deadline: July 31, 2026. Start date: October 2026–October 2027 (negotiable). Apply now!

algorithms.fi

@algorithms.fi

29 June

Thesis presentations: Friday, July 3, 2026, at 11.30–12.15. Julia Valkama: Resource Profiling for High Performance In-Memory Database Workloads. Aalto University, Ekonominaukio 1, room T003. https://algorithms.fi/theses/

algorithms.fiThesis Presentations

algorithms.fi reposted

Computer Science

@csaalto.bsky.social

23 June

Wonderful news: Our Professor @jukkasuomela.fi has received an ERC Advanced Grant for his project “Distributed Quantum Advantage (DistQuant)”. Congratulations, Jukka! 👏💐 More: www.aalto.fi/en/news/high... @aalto.fi #ERCAdG

aalto.fiHighly sought-after EU funding for three Aalto University researchers | Aalto UniversityThe projects focus on atomically precise materials-engineering, LED-based thermal management and quantum methods in distributed networks.

European Research Council (ERC)@erc.europa.eu

The results of the Advanced Grants 2025 are here! Out of 3,329 applicants, 319 leading researchers have been awarded an ERC Advanced Grant. Congratulations to all! 🎉 Curious to know more ? 👉 buff.ly/uiU9x5K #ERCAdG #FrontierResearch

algorithms.fi

@algorithms.fi

22 June

AGC (Algebra, Geometry and Combinatorics) Seminar: Tuesday, June 23, 2026, at 14.15. Gerald Williams: Cyclic presentations of groups, knot groups, LOG groups, and 3-dimensional manifolds. Aalto University, Undergraduate Centre (Otakaari 1), r… https://math.aalto.fi/en/research/discrete/seminars/agc/

math.aalto.fiAalto SCI MS AGC