Allan
Borodin (University of Toronto)
Research Interests: Algorithmics.
Hosts: Magnús M. Halldórsson.
Location:
School of Computer Science, Reykjavik
University.
Period: 8-9 November 2017.
Ryan Hayward
(University of Alberta)
Research Interests: Algorithmics,
Computer Games.
Hosts: Yngvi Bjornsson and Magnus M. Halldorsson.
Location:
School of Computer Science, Reykjavik
University.
Period: 2-8 October 2017.
Georgiana
Caltais (University of Konstanz, Germany)
Research Interests: Formal modelling, specification and analysis
of computer systems, with emphasis on automata, formal languages and
system semantics.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location:
School of Computer Science, Reykjavik
University.
Period: 8-12 May 2017.
Dexter Kozen (Cornell
University)
Research Interests: Algorithms and complexity, especially
complexity of decision problems in logic and algebra, logics and
semantics of programming languages, computer security.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna
Ingolfsdottir.
Location: School of Computer
Science, Reykjavik University.
Period: 27-28 April 2017.
Jason P. Smith
(Department of Computer and Information Sciences, University of
Strathclyde)
Research Interests: Algebraic combinatorics.
Hosts: Henning Ulfarsson.
Location:
School of Computer Science, Reykjavik
University.
Period: 10 April-5 May 2017.
Ian Cassar (University of Malta).
Research Interests: Runtime verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location:
School of Computer Science, Reykjavik
University.
Period: 1 March-30 April 2017.
Rémy Belmonte
(University of Electro-Communications, Tokyo, Japan).
Research Interests: Classical and parameterized complexity classification of problems related to the field of algorithmic graph theory on special classes of graphs.
Hosts: Magnus M. Halldorsson and Tomas
Ken Magnusson.
Location:
School of Computer Science, Reykjavik
University.
Period: 1 March-30 April 2017.
Bas Luttik (TU Eindhoven).
Research Interests: Concurrency theory, process algebra,
computer-aided verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location:
School of Computer Science, Reykjavik
University.
Period: 20 February-6 March 2017.
Kim G. Larsen (Aalborg University, Denmark)
Research Interests: Concurrency theory, computer-aided verification, model checking.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location:
School of Computer Science, Reykjavik
University.
Period: 17-18 February 2017.
Hanne
Riis Nielson (DTU, Denmark).
Research Interests: Semantics of programming languages,
language-based security, techniques and tools for modelling and
analysis of computing systems.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location:
School of Computer Science, Reykjavik
University.
Period: 16-18 February 2017.