ICE-TCS: Seminar 2026

Seminar 2026

Here is the list of talks given in 2026 in the ICE-TCS seminar series.

The seminar series is coordinated by Aggeliki Chalki.

If you are interested in getting seminar announcements, do not hesitate to get in touch.

The talks take place in the RU building (Menntavegi 1, 102 Reykjavik), but we usually also stream them by Zoom.

Tuesday, 12 May, 10:00, room M122
Sorin Istrail [DBLP, GS], Brown University,
Constructing universal traversal sequences or how to take a random walk deterministically.
Friday, 17 April, 13:00, room M111:
Jacob Neumann [DBLP, GS], Reykjavik University,
nouGAT: calculating structures with Lean metaprogramming.
Thursday, 26 February, 13:00, room M122:
Giovanni Apruzzese [DBLP, GS], Reykjavik University,
Phishing in the LLM era: Challenges and opportunities.
Thursday, 12 February, 13:00, room M122:
Andrea Polini, [DBLP, GS], University of Camerino,
Testing smart contracts: What makes it different? How can we do better?.
Wednesday, 11 February, 15:00, room M102:
Jón Hákon Garðarsson, Nox Medical (formerly University of Oxford),
Categorical metric structures of numerical analysis.