Seminar 2017

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

• Thursday, 9 November 2017, 11:00, room M1.02:
  Allan Borodin [DBLP], University of Toronto,
  Online bipartite matching revisited.
  details
• Monday, 9 October 2017, 12:10, room M1.03:
  Tarmo Uustalu [DBLP], Reykjavik University and Tallinn University of Technology,
  Directed containers: shape, position and subshape fun.
  details
• Monday, 2 October 2017, 12:10, room M1.03:
  Ryan Hayward [DBLP], University of Alberta
  Hexbots post-AlphaGo.
  details
• Monday, 25 September 2017, 12:10, room M1.03:
  Eyjólfur Ingi Ásgeirsson [DBLP], Reykjavik University,
  Universal framework for wireless scheduling problems.
  details
• Friday, 12 May 2017, 12:15, room M1.13:
  Georgiana Caltais [DBLP], University of Konstanz,
  Causality checking to support functional safety in cyber-physical systems: the quantUM approach.
  details
• Thursday, 27 April 2017, 16:00, room M2.08:
  Dexter Kozen [DBLP], Cornell University,
  NetKAT: a formal system for the verification of networks.
  details
• Friday, 21 April 2017, 12:15, room M1.13:
  Christian Bean [ZbMath], Reykjavik University,
  Creating a virtual combinatorist.
  details
• Friday, 7 April 2017, 12:15, room M1.13:
  Piotr Lasek [DBLP], University Rzeszów
  Interactive data visualization through inductive aggregation.
  A joint CRESS/ICE-TCS talk.
  details
• Friday, 17 March 2017, 12:15, room M1.13:
  Ian Cassar [DBLP], University of Malta
  Different flavours of runtime monitoring.
  details
• Friday, 3 March 2017, 12:15, room M1.13:
  Rémy Belmonte [DBLP], University of Electro-Communications, Tokyo,
  Defective coloring on classes of perfect graphs.
  details
• Friday, 24 February 2017, 12:15, room M1.13:
  Bas Luttik [DBLP], TU Eindhoven,
  Executability theory.
  details
• Friday, 10 February 2017, 12:15, room M1.13:
  Baldur Blöndal [DBLP], Chalmers University of Technology and Reykjavík Functional Programming group,
  Functional programming and types.
  details
• Friday, 27 January 2017, 12:15, room M.13:
  Antonis Achilleos [DBLP], Reykjavik University
  Determinizing monitors for HML with recursion.
  details