Previous Guests

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

Current and Future Guests
(Roughly in Reverse Chronological Order)

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.