Previous Guests

[2005] [2006] [2007] [2008] [2009] [2010] [2011] [2012] [2013] [2014] [2015] [2016]

Current and Future Guests
(Roughly in Reverse Chronological Order)

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.