Guests in 2011 (Roughly in Reverse Chronological Order)

Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands.
Research Interests: Process algebra, concurrency theory, term rewriting, verification and validation technology.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 17-20 November, 2011.

MohammadReza Mousavi, Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands.
Research Interests: Process algebra, concurrency theory, term rewriting, verification and validation technology.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 17-19 November, 2011.

Matthew Hennessy, Computer Science Department at Trinity College Dublin, Ireland.
Research Interests: Semantics of concurrent and distributed computation; specification techniques and verification technologies for assuring the behaviour of systems; design and implementaion of high-level programming languages for specifying, programming and verifying concurrent activities.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 16-19 November, 2011.

Ron Aharoni (Technion, Israel).
Research Interests: finite and infinite combinatorics; mathematics education.
Hosts: Magnus M. Halldorsson and Henning Ulfarsson.
Location: School of Computer Science, Reykjavik University.
Period: 2 September 2011.

Alejandro Russo (Chalmers University of Technology, Sweden).
Research Interests: Random data generation and applying information-flow technology to Web security and Haskell.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 26 August 2011.

Pierre Fraigniaud (LIAFA, Universite Paris Diderot - Paris 7, France).
Research Interests: Algorithmics, distributed computing.
Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: 18-30 July 2011.

Lelia Blin (Univ. d'Evry Val d'Essonne, France).
Research Interests: Algorithmic, distributed computing.
Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: 18-30 July 2011.

Alexandra Silva (CWI, Amsterdam, NL).
Research Interests: Concurrency theory. Algebra and Coalgebra in Computer Science. Coordination Models.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 8-12 June 2011.

Mario Bravetti (University of Bologna, Italy).
Research Interests: Concurrency theory. Formal description techniques and software tools for modeling and analyzing distributed systems and protocols. Service Oriented Computing, Web services, Orchestration and Choreography languages and related conformance issues.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 6-13 June 2011.

Daniele Catanzaro (Universite Libre de Bruxelles, Belgium).
Research Interests: combinatorial optimization, mixed integer programming and network design, molecular evolution, phylogenetics, haplotype estimation, and more in general bioinformatics.
Hosts: Bjarni V. Halldorsson.
Location: School of Science and Engineering, Reykjavik University.
Period: 23 May-5 June 2011.

Joshua Sack.
Research Interests: Dynamic epistemic logic, probabilistic logics, multi-agent systems.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 9-13 May, 2011.

Cristian Prisacariu, University of Oslo, Norway.
Research Interests: Logic, concurrency theory.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 9-11 May, 2011.

Ymir Vigfusson IBM Research, Haifa, Israel.
Research Interests: Distributed systems and cloud computing.
Hosts: Luca Aceto, Magnus M. Halldorsson Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 6 May, 2011.

Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands.
Research Interests: Process algebra, concurrency theory, term rewriting, verification and validation technology.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 28 April-1 May, 2011.

MohammadReza Mousavi, Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands.
Research Interests: Process algebra, concurrency theory, term rewriting, verification and validation technology.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 27 April-1 May, 2011.

Michel Reniers, Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands.
Research Interests: Process algebra, concurrency theory, term rewriting, verification and validation technology.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 27 April-1 May, 2011.

Bas Luttik, Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands.
Research Interests: Process algebra, concurrency theory, term rewriting, verification and validation technology.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 27-29 April, 2011.

Emanuela Merelli (University of Camerino, Italy).
Research Interests: Agent-based modelling, simulation and validation of complex systems. Computational models and applied formal methods in systems biology.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Period: 21 February-4 March 2011.

Pierluigi Penna (University of Camerino, Italy).
Research Interests: Computational science, with applications to marine biology.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Period: 21 February-4 March 2011.

Nicola Paoletti (University of Camerino, Italy).
Research Interests: Agent-based modelling, simulation and validation of complex systems. Computational models and applied formal methods in systems biology.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Period: 21 February-4 March 2011.