Seminar 2023

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

• Wed, 6 December 2023, 14:00, room M109:
  Anders Claesson [ZbMath], University of Iceland,
  A species approach to Rota's twelvefold way.
• Wed, 11 October 2023, 14:00, room V105:
  Antonis Achilleos, Reykjavik University,
  Axiomatizations and computability of weighted monadic second-order logic.
• Thu, 28 September 2023, 14:00, room V107:
  Szabolcs Horvát, Reykjavik University,
  Random sampling of connected graphs with given degrees.
• Fri, 8 September 2023, 14:00, room V106:
  Flavien Breuvart [DBLP], LIPN, Université Sorbonne Paris Nord,
  Is Curry-Howard a C-H-Lambek or C-H-Girard correspondence?.
• Wed, 6 September 2023, 13:00, room V105:
  Tobias Kappé [DBLP], Open University of the Netherlands and University of Amsterdam,
  Completeness and the finite model property for Kleene algebra, reconsidered.
• Fri, 1 September 2023, 14:00, room V107:
  Peter Dybjer [DBLP], Chalmers University of Technology, Gothenburg,
  Dependent type theory and proof assistants: an introduction.
• Tue, 15 August 2023, 13:00, room V105:
  Daniele Gorla [DBLP], Sapienza Università di Roma,
  Inefficiencies in network design.
• Thu, 15 June 2023, 13:00, room V105:
  Maciej Piróg [DBLP], Standard Chartered and University of Wrocław,
  High-level effect handlers in C++.
• Wed, 14 June 2023, 11:00, room M103:
  Sanjit A. Seshia [DBLP], University of California at Berkeley,
  Design automation for verified AI-based autonomy.
  Details.
• Tue, 13 June 2023, 11:00, room M105:
  Michael Szell [DBLP], IT University of Copenhagen,
  Computational, evidence-based approaches to bicycle network planning.
  A CISDAS and ICE-TCS talk.
  Details.
• Mon, 12 June 2023, 11:00, room M104:
  Roberta Sinatra [DBLP], University of Copenhagen,
  Quantitative understanding of success and inequality through network science.
  A CISDAS and ICE-TCS talk.
  Details.
• Tue, 6 June 2023, 13:00, room V105:
  Shin-ya Katsumata [DBLP], National Institute of Informatics, Tokyo,
  Codensity games for bisimilarity.
• Tue, 30 May 2023, 13:00, room V105:
  Mohammad Reza Mousavi [DBLP], King's College London,
  Automata learning for evolving and concurrent systems.
• Fri, 26 May 2023, 13:00, room V105:
  Mohammad Reza Mousavi [DBLP], King's College London,
  Establishing trust in connected and autonomous systems through conformance testing.
• Fri, 19 May 2023, 14:00, room V102:
  Marta Kwiatkowska [DBLP], University of Oxford,
  Safety and robustness for deep learning with provable guarantees.
  A talk in the Valkyrja Distinguished Lecture Series.
  Marta's talk is part of the celebrations for the 18th birthday of ICE-TCS and the 25th birthday of Computer Science at Reykjavik University.
  Details.
• Mon, 15 May 2023, 11:00, room V103:
  Patrik Eklund [DBLP], University of Umeå,
  AI with symbols and not just numbers--we need your comeback!.
  details
• Thu, 4 May 2023, 14:00, room M108:
  Roman Kossak [ZbMath], City University of New York,
  Undefinability and absolute undefinability in arithmetic.
• Fri, 28 April 2023, 14:00, room V103:
  Simone Tini [DBLP], University of Insubria, Como,
  Quantitative robustness analysis of sensor attack on cyber-physical systems.
• Thu, 30 March 2023, 13:00, room V105:
  Jana Wagemaker [DBLP], Reykjavik University,
  Kleene algebra
• Mon, 27 March 2023, 15:00, room V105:
  Ülo Reimaa [ZbMath], University of Tartu,
  Introduction to cocategories.
• Thu, 16 March 2023, 13:00, room V105:
  Nicola Del Giudice [DBLP], University of Camerino,
  YODA: Yet anOther agent Description lAnguage.
  Details.
• Thu, 9 March 2023, 16:00, room V105:
  Denis Firsov [DBLP], Guardtime and Tallinn University of Technology,
  EasyCrypt for working cryptographers.
• Thu, 12 January 2023, 16:00, room V105:
  Sergey Goncharov [DBLP], FAU Erlangen-Nürnberg,
  Towards a higher-order mathematical operational semantics.
  Details.

Seminar 2022

Seminar 2020-21

Seminar 2019

Seminar 2018

Seminar 2017