Seminar 2020-2021

Here are the talks given in 2020-2021 in the ICE-TCS seminar series.

• Mon, 15 November 2021, 14:00, room M102:
  Manuela Fischer, Reykjavik University,
  Local algorithms for classic graph problems.
• Mon, 8 November 2021, 14:00, room M102:
  Niels Voorneveld, Tallinn University of Technology,
  Inductive and coinductive predicate liftings for effectful programs.
• Mon, 25 October 2021, 14:00, room M102:
  Stian Lybech, Reykjavik University,
  Reflection in higher-order Ψ-calculi.
• Mon, 11 October 2021, 14:00, room M102:
  Adrian Francalanza, University of Malta,
  Consistently-detecting monitors.
• Mon, 4 October 2021, 14:00, room M102:
  Karoliina Lehtinen, CNRS and LIS, Aix-Marseille University,
  When a little nondeterminism goes a long way: a survey of history-deterministic automata.
• Mon, 9 March 2020, 11:50, room M108:
  Alexandre Nolin, Reykjavik University,
  The special case of functions with large outputs in communication complexity.
  details
• Mon, 24 February 2020, 11:50, room M108:
  Tarmo Uustalu, Reykjavik University,
  Ultrasubstructural logics.
  details
• Mon, 17 February 2020, 11:50, room M108:
  Niccolò Veltri, Tallinn University of Technology,
  Formalizing π-calculus in Guarded Cubical Agda.
  details
• Mon, 27 January 2020, 11:50, room M108:
  Shin-ya Katsumata, National Institute of Informatics, Tokyo,
  Differentiable causal computations via delayed trace.

Seminar 2019

Seminar 2018

Seminar 2017