Seminar 2019

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

• Fri, 29 November 2019, 12:40, room M1.04:
  Maciej Piróg, Wrocław University
  Equational theories and monads from polynomial Cayley representations.
  details
• Thu, 21 November 2019, 11:50, room M1.03:
  Émile Nadeau, Reykjavik University,
  Future directions for the tilescope algorithm.
  details
• Mon, 18 November 2019, 11:50, room M1.06:
  Michal Opler, Charles University,
  Solving hard problems effectively on permutations of small grid-width.
  details
• Mon, 11 November 2019, 11:50, room M1.06:
  Yngvi Björnsson, Reykjavik University,
  Trustworthy AI?
  details
• Mon, 4 November 2019, 11:50, room M1.06:
  Dylan McDermott, Reykjavik University,
  On the relation between call-by-value and call-by-name.
  details
• Wed, 2 October 2019, 15:00, room M1.23:
  Georgiana Caltais, University of Konstanz,
  Explaining SDN failures via axiomatisations.
  details
• Mon, 30 September 2019, 11:50, room M1.06:
  Valentina Castiglioni, Reykjavik University
  Probabilistic semantics: discovering the interplay of nondeterminism and probability .
  details
• Mon, 16 September 2019, 14:00, room M1.03:
  Kim G. Larsen, Aalborg University,
  Synthesis, verification and optimization for cyber-physical systems.
  A joint ICE-TCS and RUAP talk.
  details
• Mon, 2 September 2019, 11:50, room M1.06:
  Mathias Ruggaard Pedersen, Reykjavik University,
  Behavioural preorders on stochastic systems: logical, topological, and computational aspects.
  details
• Tue, 27 August 2019, 11:50, room M1.09:
  Michael Engen, University of Florida,
  Universal permutations.
  details
• Mon, 19 August 2019, 11:50, room M1.06:
  Guy Even, Tel Aviv University,
  On dynamic and incremental space efficient filters and dictionaries.
  details
• Tue, 21 May 2019, 12:10, room M1.17:
  Steven Chaplick, Universität Würzburg,
  Constrained recognition problems on geometric graph classes.
  details
• Tue, 14 May 2019, 12:10, room V2.24:
  Jay Pantone, Marquette University,
  Experimental methods in combinatorics.
  details.
• Tue, 30 April 2019, 12:10, room M2.08:
  Magnús M. Halldórsson, Reykjavik University,
  Avi Widgerson's scientific work (on the occasion of him earning the Knuth Prize 2019).
• Tue, 23 April 2019, 12:10, room M1.11:
  Georgiana Caltais, University of Konstanz,
  Correctness of an ATL model transformation from SysML to Spin.
  details.
• Tue, 2 April 2019, 12:10, room M1.20:
  Sergey Goncharov, FAU Erlangen-Nürnberg,
  Guarded traced categories for recursion and iteration.
  details.
• Tue, 5 March 2019, 12:10, room M1.20:
  Elli Anastasiadi, Reykjavik University,
  Parameter trade-offs for the model checking problem.
  details.
• Tue, 19 February 2019, 12:10, room M1.20:
  Hendrik Maarand, Tallinn University of Technology,
  Antimirov automata for trace closures of regular languages.
  details
• Tue, 29 January 2019, 13:00, room M1.03:
  Dirk Draheim (Tallinn University of Technology),
  A frequentist semantics of partial conditionalization.
  details
• Tue, 22 January 2019, 12:10, room M1.20:
  Luca Aceto, Reykjavik University and Gran Sasso Science Institute,
  Testing equivalence vs. runtime monitoring.
  details
• Tue, 15 January 2019, 12:10, room M1.20:
  Omer Egecioglu, University of California at Santa Barbara,
  Combinatorics of an Euler-like product with Fibonacci exponents.
  details
• Tue, 8 January 2019, 12:10, room M1.20:
  Robin Cockett, University of Calgary,
  The category CNOT.
  details

Seminar 2018

Seminar 2017