Sign in

algorithms.fi

@algorithms.fi
60 followers 7 following 107 posts

HALT · Helsinki Algorithms & Theory · algorithms.fi

PostsRepliesMedia
algorithms.fi @algorithms.fi · 28/09/2026
AGC (Algebra, Geometry and Combinatorics) Seminar: Monday, October 5, 2026, at 14.15. Aalto University, Undergraduate Centre (Otakaari 1), room M3 (M234). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Aalto SCI MS AGC
000
algorithms.fi @algorithms.fi · 28/09/2026
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. kkytola.github.io/FormalizationSemi…
kkytola.github.io
Seminar on Formalized Mathematics
100
algorithms.fi @algorithms.fi · 28/09/2026
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. algorithms.fi/theses
algorithms.fi
Thesis Presentations
100
algorithms.fi @algorithms.fi · 28/09/2026
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). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Algebra, Number Theory, and Applications research group - Thesis projects
100
algorithms.fi @algorithms.fi · 28/09/2026
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). research.cs.aalto.fi/theory/seminar…
research.cs.aalto.fi
Helsinki CS Theory Seminar
100
algorithms.fi @algorithms.fi · 28/09/2026
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. wiki.helsinki.fi/xwiki/bin/view/Log…
wiki.helsinki.fi
Seminar - XWiki
Seminar
111
algorithms.fi @algorithms.fi · 21/09/2026
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. research.cs.aalto.fi/hiit-foundatio…
research.cs.aalto.fi
HIIT Foundations Friday
000
algorithms.fi @algorithms.fi · 21/09/2026
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. research.cs.aalto.fi/theory/seminar…
research.cs.aalto.fi
Helsinki CS Theory Seminar
101
algorithms.fi @algorithms.fi · 21/09/2026
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. wiki.helsinki.fi/xwiki/bin/view/Log…
wiki.helsinki.fi
Seminar - XWiki
Seminar
100
algorithms.fi @algorithms.fi · 14/09/2026
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. algorithms.fi/theses
algorithms.fi
Thesis Presentations
010
algorithms.fi @algorithms.fi · 14/09/2026
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). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Algebra, Number Theory, and Applications research group - Thesis projects
100
algorithms.fi @algorithms.fi · 14/09/2026
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. research.cs.aalto.fi/theory/seminar…
research.cs.aalto.fi
Helsinki CS Theory Seminar
100
algorithms.fi @algorithms.fi · 14/09/2026
Logic Seminar: Wednesday, September 16, 2026, at 12.15–14.00. University of Helsinki, Exactum (Pietari Kalmin katu 5), room C124. wiki.helsinki.fi/xwiki/bin/view/Log…
wiki.helsinki.fi
Seminar - XWiki
Seminar
112
algorithms.fi @algorithms.fi · 07/09/2026
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). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Algebra, Number Theory, and Applications research group - Thesis projects
000
algorithms.fi @algorithms.fi · 07/09/2026
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… research.cs.aalto.fi/theory/seminar…
research.cs.aalto.fi
Helsinki CS Theory Seminar
110
algorithms.fi @algorithms.fi · 07/09/2026
Logic Seminar: Wednesday, September 9, 2026, at 12.15–14.00. University of Helsinki, Exactum (Pietari Kalmin katu 5), room C124. wiki.helsinki.fi/xwiki/bin/view/Log…
wiki.helsinki.fi
Seminar - XWiki
Seminar
100
algorithms.fi @algorithms.fi · 07/09/2026
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. wiki.helsinki.fi/xwiki/bin/view/Log…
wiki.helsinki.fi
Seminar - XWiki
Seminar
100
algorithms.fi @algorithms.fi · 07/09/2026
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). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Aalto SCI MS AGC
100
algorithms.fi @algorithms.fi · 31/08/2026
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. wiki.helsinki.fi/xwiki/bin/view/Log…
wiki.helsinki.fi
Seminar - XWiki
Seminar
000
algorithms.fi @algorithms.fi · 31/08/2026
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). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Aalto SCI MS AGC
100
algorithms.fi @algorithms.fi · 24/08/2026
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… math.aalto.fi/en/research/discrete/…
math.aalto.fi
Algebra, Number Theory, and Applications research group - Thesis projects
020
algorithms.fi @algorithms.fi · 24/08/2026
Helsinki Algorithms & Theory Days 2026: Thursday–Friday, August 27–28, 2026. algorithms.fi
algorithms.fi
HALT · Helsinki Algorithms & Theory
110
algorithms.fi @algorithms.fi · 17/08/2026
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. research.cs.aalto.fi/theory/seminar…
research.cs.aalto.fi
Helsinki CS Theory Seminar
020
algorithms.fi @algorithms.fi · 10/08/2026
Logic Seminar: Wednesday, August 12, 2026, at 12.15–14.00. University of Helsinki, Exactum (Pietari Kalmin katu 5), room C124. wiki.helsinki.fi/xwiki/bin/view/Log…
wiki.helsinki.fi
Seminar - XWiki
Seminar
000
algorithms.fi @algorithms.fi · 13/07/2026
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. research.cs.aalto.fi/theory/seminar…
research.cs.aalto.fi
Helsinki CS Theory Seminar
030
algorithms.fi @algorithms.fi · 06/07/2026
ANTA seminar: Thursday, July 9, 2026, at 15.15. Prof. Timothy Trudgian (UNSW Canberra): Division!. Aalto University, Undergraduate Centre (Otakaari 1), room M3 (M234). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Algebra, Number Theory, and Applications research group - Thesis projects
000
Reposted by algorithms.fi
Jukka Suomela @jukkasuomela.fi · 29/06/2026
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!
276
algorithms.fi @algorithms.fi · 29/06/2026
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. algorithms.fi/theses
algorithms.fi
Thesis Presentations
001
Reposted by algorithms.fi
Computer Science @csaalto.bsky.social · 23/06/2026
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.fi
Highly sought-after EU funding for three Aalto University researchers | Aalto University
The projects focus on atomically precise materials-engineering, LED-based thermal management and quantum methods in distributed networks.
062
algorithms.fi @algorithms.fi · 22/06/2026
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… math.aalto.fi/en/research/discrete/…
math.aalto.fi
Aalto SCI MS AGC
000
algorithms.fi @algorithms.fi · 15/06/2026
Logic Seminar: Wednesday, June 17, 2026, at 12.15–14.00. Guillermo Badia (University of Queensland): Containment of Conjunctive Queries with Negative Information over Semirings. University of Helsinki, Exactum (Pietari Kalmin katu 5), room… wiki.helsinki.fi/xwiki/bin/view/Log…
wiki.helsinki.fi
Seminar - XWiki
Seminar
010
algorithms.fi @algorithms.fi · 15/06/2026
Thesis presentations: Tuesday, June 16, 2026, at 11.30–12.15. Jussi Ritvas: Towards Practical Distributed Quantum Computing. Aalto University, Ekonominaukio 1, room T003. algorithms.fi/theses
algorithms.fi
Thesis Presentations
110
algorithms.fi @algorithms.fi · 15/06/2026
Thesis presentations: Monday, June 15, 2026, at 11.30–12.15. Luukas Karihtala: Formalizing Distributed Sparse Matrix Multiplication Algorithms in Lean. Aalto University, Ekonominaukio 1, room T003. algorithms.fi/theses
algorithms.fi
Thesis Presentations
110
algorithms.fi @algorithms.fi · 08/06/2026
AGC (Algebra, Geometry and Combinatorics) Seminar: Monday, June 15, 2026, at 14.15. Anthony Mäkelä: Moduli of $P$-critical connections via moment maps and analytic GIT. Aalto University, Undergraduate Centre (Otakaari 1), room M3 (M234). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Aalto SCI MS AGC
000
algorithms.fi @algorithms.fi · 08/06/2026
Thesis presentations: Monday, June 15, 2026, at 11.30–12.15. Luukas Karihtala: Formal Correctness Proof for a Core Component of a Distributed Sparse Matrix Multiplication Algorithm in Lean. Aalto University, Ekonominaukio 1, room T003. algorithms.fi/theses
algorithms.fi
Thesis Presentations
100
algorithms.fi @algorithms.fi · 08/06/2026
ANTA seminar: Friday, June 12, 2026, at 12.00. Rahinatou Y. Njah Nchiwo: Algebraic Number Theory and Lattice-Based Cryptography: Equivalence and Cryptanalysis of Structured LWE Variants (PhD Defence). Aalto University, Undergraduate Centre… math.aalto.fi/en/research/discrete/…
math.aalto.fi
Algebra, Number Theory, and Applications research group - Thesis projects
100
algorithms.fi @algorithms.fi · 08/06/2026
AGC (Algebra, Geometry and Combinatorics) Seminar: Monday, June 8, 2026, at 14.15. Ville Uotila: Introduction to Springer Theory. Aalto University, Undergraduate Centre (Otakaari 1), room M3 (M234). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Aalto SCI MS AGC
100
algorithms.fi @algorithms.fi · 01/06/2026
AGC (Algebra, Geometry and Combinatorics) Seminar: Monday, June 8, 2026, at 14.15. Aalto University, Undergraduate Centre (Otakaari 1), room M3 (M234). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Aalto SCI MS AGC
000
algorithms.fi @algorithms.fi · 01/06/2026
ANTA seminar: Friday, June 5, 2026, at 10.00. Prof. Iván Blanco Chacón, Antti Haavikko (U. Alcalá), and Matilde Costa (U. Barcelona): Summer School on Heegner Points and the Gross-Zagier Formula. Aalto University, Undergraduate Centre (Ota… math.aalto.fi/en/research/discrete/…
math.aalto.fi
Algebra, Number Theory, and Applications research group - Thesis projects
100
algorithms.fi @algorithms.fi · 01/06/2026
ANTA seminar: Thursday, June 4, 2026, at 10.00. Prof. Iván Blanco Chacón, Antti Haavikko (U. Alcalá), and Matilde Costa (U. Barcelona): Summer School on Heegner Points and the Gross-Zagier Formula. Aalto University, Undergraduate Centre (O… math.aalto.fi/en/research/discrete/…
math.aalto.fi
Algebra, Number Theory, and Applications research group - Thesis projects
100
algorithms.fi @algorithms.fi · 01/06/2026
ANTA seminar: Wednesday, June 3, 2026, at 10.00. Prof. Iván Blanco Chacón, Antti Haavikko (U. Alcalá), and Matilde Costa (U. Barcelona): Summer School on Heegner Points and the Gross-Zagier Formula. Aalto University, Undergraduate Centre (… math.aalto.fi/en/research/discrete/…
math.aalto.fi
Algebra, Number Theory, and Applications research group - Thesis projects
100
algorithms.fi @algorithms.fi · 01/06/2026
ANTA seminar: Tuesday, June 2, 2026, at 10.00. Prof. Iván Blanco Chacón, Antti Haavikko (U. Alcalá), Matilde Costa (U. Barcelona): Summer School on Heegner Points and the Gross-Zagier Formula. Aalto University, Undergraduate Centre (Otakaa… math.aalto.fi/en/research/discrete/…
math.aalto.fi
Algebra, Number Theory, and Applications research group - Thesis projects
100
algorithms.fi @algorithms.fi · 25/05/2026
ANTA seminar: Monday, June 1, 2026, at 10.00. Prof. Iván Blanco Chacón (U. Alcalá): Summer School on Heegner Points and the Gross-Zagier Formula. Aalto University, Undergraduate Centre (Otakaari 1), room U5 (U147). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Algebra, Number Theory, and Applications research group - Thesis projects
000
algorithms.fi @algorithms.fi · 25/05/2026
HIIT Foundations Friday: Friday, May 29, 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. research.cs.aalto.fi/hiit-foundatio…
research.cs.aalto.fi
HIIT Foundations Friday
100
algorithms.fi @algorithms.fi · 25/05/2026
Helsinki CS Theory Seminar: Wednesday, May 27, 2026, at 14.15. Suhas Thejaswi: Capaciated Fair-Range Clustering: Hardness and Approximation Algorithms. Aalto University, Maarintie 8, room TU5. research.cs.aalto.fi/theory/seminar…
research.cs.aalto.fi
Helsinki CS Theory Seminar
100
algorithms.fi @algorithms.fi · 25/05/2026
AGC (Algebra, Geometry and Combinatorics) Seminar: Monday, May 25, 2026, at 14.15. Tuomas Kelomäki: Finiteness result on Jones polynomials via categorified projectors. Aalto University, Undergraduate Centre (Otakaari 1), room M3 (M234). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Aalto SCI MS AGC
100
algorithms.fi @algorithms.fi · 18/05/2026
AGC (Algebra, Geometry and Combinatorics) Seminar: Monday, May 25, 2026, at 14.15. Aalto University, Undergraduate Centre (Otakaari 1), room M3 (M234). math.aalto.fi/en/research/discrete/…
math.aalto.fi
Aalto SCI MS AGC
000
algorithms.fi @algorithms.fi · 18/05/2026
Helsinki CS Theory Seminar: Wednesday, May 20, 2026, at 14.15. Eliel Ingervo: Recognizing Subgraphs of Regular Tilings. Aalto University, Maarintie 8, room TU7. research.cs.aalto.fi/theory/seminar…
research.cs.aalto.fi
Helsinki CS Theory Seminar
100
algorithms.fi @algorithms.fi · 18/05/2026
Helsinki Digital Humanities Hackathon 2026: May 20–29, 2026. algorithms.fi
algorithms.fi
HALT · Helsinki Algorithms & Theory
100
algorithms.fi @algorithms.fi · 18/05/2026
AGC (Algebra, Geometry and Combinatorics) Seminar: Monday, May 18, 2026, at 14.15. Michael Yang: Completions to discrete probability distributions in scaled log-linear models (master's thesis presentation). Aalto University, Undergraduate Cen… math.aalto.fi/en/research/discrete/…
math.aalto.fi
Aalto SCI MS AGC
100