Guests in 2014 (Roughly in Reverse Chronological Order)

Georgiana Caltais (ETH Zurich, CH)
Research Interests: Concurrency, program analysis, formal languages, automata, category theory, coalgebra, process algebra, structural operational semantics, equational logic, rewriting logic. .
Hosts: Luca Acetp and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 21-25 November 2014.

Matthew Macaulay (Clemson University, USA)
Research Interests: Discrete mathematics; discrete dynamical system over graphs; Probabilistic Boolean Networks; combinatorical aspects of Coxeter groups.
Hosts: Henning A. Úlfarsson.
Location: School of Computer Science, Reykjavik University.
Period: 20-24 November 2014.

Mikael Lindvall (Fraunhofer Center for Experimental Software Engineering, USA).
Research Interests: Software architecture, Software product lines, Software verification and validation, Technology evaluation and improvement
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 25-29 August 2014.

Erik Demaine (MIT).
Research Interests: See here.
Hosts: Luca Aceto. Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 20-27 August 2014.

Alexander Guterman (Moscow State University, Russia).
Research interests: Tropical geometry.
Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: 7-11 July 2014.

Marc Renault (LIAFA, Université Paris Diderot - Paris 7, France).
Research interests: Design and analysis of algorithms, especially approximation algorithms, in both the online and offline settings.
Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: 11-13 June 2014.

María Martos-Salgado (Universidad Complutense Madrid, Spain).
Research Interests: Petri nets, workflow nets.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 9 May-19 June and 15 September-3 November 2014.

Fernando Rosa Velardo (Universidad Complutense Madrid, Spain).
Research Interests: Concurrency theory, verification, Petri nets.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 9-24 May 2014.

Ignacio Fábregas Alfaro (Universidad Complutense Madrid, Spain).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 4 April 2014-31 March 2016.

Álvaro García Pérez (IMDEA Software Institute and Universidad Politecnica de Madrid, Spain).
Research Interests: Functional programming, type theory foundations, semantics of programming languages, and dependently-typed programming.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 24-27 April 2014.

David Romero Hernández (Universidad Complutense Madrid, Spain).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 4-30 April 2014.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 4-30 April 2014.

Adrian Francalanza (University of Malta).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 17-21 March and July-December 2014.

Matteo Cimini (LIX, École Polytechnique, Paris, France).
Research Interests: Concurrency theory, structural operational semantics and theorem proving.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 17-21 February 2014.

Yusuke Aoki (Tohoku University, Japan)
Research Interests: Graph algorithms.
Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: December 2013-January 2014.