ICE-TCS: Seminar 2025

Seminar 2025

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

Wed, 21 May, 13:00, room V105:
Georgiana Caltais [DBLP, GS], University of Twente,
A tale of two causalities: fault tree versus actual causality.
Fri, 16 May, 13:00, room V105:
Jasmine Xuereb [DBLP], GS] University of Malta and Reykjavik University,
If at first you don't succeed: extended monitorability through multiple executions.
Thu, 8 May, 13:00, room M111:
Magnús Már Halldórsson [DBLP, GS], Reykjavik University,
On Avi Widgerson's contributions and impact on TCS.
Wed, 30 April, 13:00, room M106:
Luís Pinto [ZbMath, GS], University of Minho,
Modal embeddings and calling paradigms.
Tue, 1 April, 13:00, room M327:
Benjamin Moore [DBLP (namesake!), GS], IST Austria,
Smoothed analysis for graph isomorphism.
Tue, 18 March, 13:15, room M113:
Elli Anastasiadi [DBLP, GS], Aalborg University,
Weak memory models.
Fri, 14 March, 13:00, room M106:
Pierre-Louis Curien [ZbMath, DBLP], IRIF, Université Paris Cité,
Clones as monoids.
Fri, 21 February 2025, 13:00, room M106:
Niccolò Veltri [DBLP, GS], Tallinn University of Technology,
Semi-associative substructural logics.
Tue, 18 February 2025, 11:00, room M121:
Nicola Del Giudice [DBLP], University of Camerino,
A framework for simulating and analysing multi-agent systems in YODA.