Guests in 2021 (Roughly in Reverse Chronological Order)

Adrian Francalanza (University of Malta).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto, Antonis Achilleos and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 9-16 October 2021.

Karoliina Lehtinen (CNRS researcher at LIS, Aix-Marseille University, France)
Research Interests: Mathematical logics, infinite games, and automata theory, in particular in the contexts of verification and descriptive complexity.
Hosts: Luca Aceto, Antonis Achilleos and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 29 September-17 October 2021.

Mathias Claus Jensen (Aalborg University, Denmark)
Research Interests: Concurrency theory, model checking.
Hosts: Luca Aceto, Anna Ingolfsdottr and Valentina Castiglioni.
Location: School of Computer Science, Reykjavik University.
Period: 13 September-13 December 2021.