Seminar 2022

Here is the list of talks given in 2022 in the ICE-TCS seminar series.

• Thu, 15 December 2022, 14:00, room M102:
  Maxime Flin, Reykjavik University,
  Distributed palette sparsification.
  Details.
• Thu, 1 December 2022, 14:00, room V105:
  Valentina Castiglioni, Reykjavik University,
  Uncertainties, adaptability and verification.
• Thu, 24 November 2022, 14:00, room V105 (speaker online):
  Lukas Nabergall, University of Waterloo,
  Finding structure in chord diagrams.
• Wed, 3 November 2022, 14:00, room M209:
  Kim G. Larsen, Aalborg University,
  On-line testing and monitoring of real-time systems.
  Details.
• Thu, 17 November 2022, 14:00, room M109:
  Aggeliki Chalki, Reykjavik University,
  Descriptive complexity of hard counting problems with an easy decision version.
  Details.
• Mon, 7 November 2022, 15:00, room M109:
  Nathanael Arkor, Masaryk University, Brno,
  A 2-dimensional perspective on polymorphism.
  Details.
• Thu, 27 October 2022, 14:00, room M109:
  Giulio Cerbai, University of Iceland,
  A solution to the flip problem via Fishburn trees.
• Tue, 18 October 2022, 15:00, room M104:
  Nicola Paoletti, King's College London,
  On guaranteed optimal robust explanations for NLP models.
  Details.
• Thu, 13 October 2022, 14:00, room M109:
  Dror Rawitz, Bar-Ilan University,
  You're fired! greedy set selection with dismissals.
  Details.
• Mon, 26 September 2022, 12:00, room M208:
  Marjan Sirjani, Mälardalen University,
  Integrating design-time and run-time methods for detecting cyber-attacks.
• Tue, 20 September 2022, 15:00, room M209:
  Joost-Pieter Katoen, RWTH Aachen,
  Formal verification of randomised algorithms.
  Details.
• Mon, 19 September 2022, 15:00, room M209:
  Joost-Pieter Katoen, RWTH Aachen,
  Probabilistic programming: probability theory for the masses.
  Details.
• Thu, 1 September 2022, 14:45, room M109:
  José Espírito Santo, University of Minho, Braga,
  Russell-Prawitz translation and atomic polymorphism.
  Details.
• Thu, 1 September 2022, 14:00, room M109:
  Luís Pinto, University of Minho, Braga,
  Coinductive proof search for intuitionistic propositional logic.
  Details.
• Fri, 13 June 2022, 13:00, room M103:
  Uri Zwick, Tel Aviv University,
  Optimal resizable arrays.
  Details.
• Tue, 31 May 2022, 16:00, room M101:
  Michael Wooldridge, University of Oxford,
  The road to thinking machines: where we are and what might happen next.
  A talk for general public.
  Details.
• Tue, 31 May 2022, 11:00, room M101:
  Michael Wooldridge, University of Oxford,
  A robust engineering science of agent based modelling: lessons learnt from British COVID models.
  Details.
• Mon, 30 May 2022, 11:00, room V102:
  Georgiana Caltais, University of Twente,
  DyNetKAT: an algebra of dynamic networks.
• Tue, 3 May 2022, 15:00, room M108:
  Magnús Már Halldórsson, Reykjavik University,
  Distributed degree+1 coloring and its applications.
• Wed, 20 April 2022, 10:00, online:
  Franck Cassez, ConsenSys Software R&D,
  Formal verification of the Deposit Smart Contract.
  A joint ICE-TCS and CS@GSSI webinar.
  Details.
• Thu, 24 March 2022, 15:00, room M101:
  James Muir, BAE Systems,
  Ransomware's perfect storm.
  A public talk, as part of a cyber security event in cooperation with the British Embassy in Iceland.
  Details.
• Fri, 25 February 2022, 15:00, room M101:
  Shannon Vallor, University of Edinburgh,
  Technomoral virtues, human flourishing and the bootstrapping problem.
  A public talk, in cooperation with the British Embassy in Iceland.
  Details, video.

Seminar 2020-21

Seminar 2019

Seminar 2018

Seminar 2017