ICE-TCS: Seminar 2024

Seminar 2024

Here is the list of talks given in 2024 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.

Thu, 24 October 2024, 13:30, room M123:
Nicolaos Matsakis [DBLP], Reykjavik University,
Improved approximation guarantees for shortest superstrings.
Wed, 2 October 2024, 13:15, room M122:
Joseph Tooby-Smith [GS], Reykjavik University,
Lean and the physical sciences.
Fri, 6 September 2024, 12:00, room V107:
Thorsten Altenkirch [DBLP, GS], University of Nottingham,
Πthon - dependently typed Python.
Mon, 6 May 2024, 14:00, room M111:
Tanel Tammet [DBLP, GS], Tallinn University of Technology,
Logic-based neurosymbolic approaches to (commonsense) reasoning.
Thu, 21 March 2024, 13:00, room V105:
Georg Struth [DBLP, GS], University of Sheffield,
Dedekind quantaloids and their intuitionistic modal algebras.
Thu, 15 February 2024, 14:00, room V103:
Dagur Ásgeirsson [ZbMath], University of Copenhagen,
Lean and its mathematical library.
Thu, 11 January 2024, 14:00, room M109:
Kazuhisa Makino [DBLP], Kyoto University,
Optimal composition ordering for linear functions.