Seminar 2018

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

• Tuesday, 11 December 2018, 12:10, room M1.10:
  Tarmo Uustalu, Reykjavik University,
  Derivatives of existentially regular trace languages.
  details
• Tuesday, 27 November 2018, 12:10, room M3.27:
  Antonis Achilleos, Reykjavik University,
  Adventures in monitorability.
  details
• Tuesday, 20 November 2018, 12:10, room V1.04:
  Thomas Selig, University of Iceland,
  Combinatorics of complete non-ambiguous trees.
  details
• Tuesday, 13 November 2018, 12:10, room V1.04:
  Michal Opler, Charles University,
  Generalized coloring of permutations.
  details
• Tuesday, 6 November 2018, 12:10, room V1.04:
  Murilo Santos de Lima, Reykjavik University,
  Parking permit and network leasing problems.
  details.
• Tuesday, 30 October 2018, 12:10, room V1.04:
  Páll Melsted, University of Iceland,
  Single cell RNA-sequence analysis with Kallisto.
  details.
• Tuesday, 23 October 2018, 12:10, room V1.04:
  Georgiana Caltais, University of Konstanz,
  Counterfactual causal reasoning for concurrency: one possible approach
  details
• Tuesday, 2 October 2018, 12:10, room V1.04:
  Timo Hönig, Friedrich-Alexander University Erlangen-Nürnberg,
  Exploiting dynamic electricity prices with an energy-aware runtime system for heterogeneous HPC clusters.
  details
• Tuesday, 25 September 2018, 12:10, room V1.04:
  Ian Cassar [DBLP], Reykjavik University and University of Malta,
  On runtime enforcement via suppressions.
  details
• Tuesday, 4 September 2018, 12:10, room V1.04:
  Alex Popa, University of Bucharest,
  Improving bandwidth in wireless mesh networks.
  details
• Thursday, 23 August 2018, 12:00, room M1.02:
  Tami Tamir, The Interdisciplinary Center,
  New variants of resource-allocation games.
  details
• Wednesday, 16 May 2018, 12:10, room M1.08:
  Georgiana Caltais, University of Konstanz,
  Causality for general LTL-definable properties.
• Wednesday, 2 May 2018, 12:10, room M1.17:
  Catia Trubiani, Gran Sasso Science Institute,
  Uncertainty propagation in software performance engineering.
  A joint ICE-TCS/CRESS seminar.
  details
• Monday, 19 March 2018, 12:10, room M1.11:
  Niccolò Veltri, ITU Copenhagen,
  Labelled transition systems in homotopy type theory.
  details
• Friday, 23 February 2018, 12:10, room M1.10:
  Denis Firsov, University of Iowa,
  Generic derivation of induction for impredicative encodings in Cedille.
  details
• Monday, 19 February 2018, 12:10, room M1.11:
  Duncan Paul Attard and Ian Cassar, University of Malta,
  Topics in runtime monitoring.
• Monday, 12 February 2018, 12:10, room M1.11:
  Hendrik Maarand, Tallinn University of Technology,
  Certified Foata normalization for generalized traces.
  details
• Monday, 5 February 2018, 12:10, room M1.11:
  Antonis Achilleos, Reykjavik University,
  The completeness problem for modal logic.
  details
• Monday, 29 January 2018, 12:10, room M1.11:
  Danel Ahman, INRIA Paris Rocquencourt,
  Embracing monotonicity in F*.
  details
• Monday, 22 January 2018, 12:10, room M1.11:
  Karoliina Lehtinen, Christian-Albrechts University of Kiel,
  Runtime verification of fixpoint logic: synthesis of optimal monitors.
  details

Seminar 2017