Guests in 2010 (Roughly in Reverse Chronological Order)

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: 8-15 November 2010.

Juris Viksna (University of Latvia, Department of Computer Science).
Research Interests: See here.
Host: Bjarni Halldorsson.
Location: School of Science and Engineering, Reykjavik University.
Period: 25-29 October 2010.

Arnar Birgisson (Chalmers University of Technology, Sweden).
Research Interests: Programming language theory such as type theory and formal specification of semantics; language based security including both static and dynamic techniques; and specification of program properties, in particular security properties and policies.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 10-15 October 2010.

Franco Barbanera (University of Catania, Italy).
Research Interests: Type theory, Lambda-calculus, Calculi for mobility, Logics.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 20-26 September 2010.

Bryan Renne (Faculty of Philosophy, University of Groningen, NL).
Research Interests: Dynamic Epistemic Logic, Justification Logic.
Hosts: Luca Aceto, Anna Ingolfsdottir and Joshua Sack.
Location: School of Computer Science, Reykjavik University.
Period: 14-19 September 2010.

Bryan Renne (Faculty of Philosophy, University of Groningen, NL).
Research Interests: Dynamic Epistemic Logic, Justification Logic.
Hosts: Luca Aceto, Anna Ingolfsdottir and Joshua Sack.
Location: School of Computer Science, Reykjavik University.
Period: 14-19 September 2010.

Francois Laroussinie (LIAFA, Paris Diderot, France).
Research Interests: Concurrency theory, temporal and modal logics, computer-aided verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 9-16 September 2010.

Miguel Palomino Tarjuelo (Universidad Complutense Madrid, Spain).
Research Interests: Concurrency theory, rewriting, logic in computer science.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period 7 September-6 October 2010.

Ignacio Fabregas Alfaro (Universidad Complutense Madrid, Spain).
Research Interests: Concurrency theory, coalgebra.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period 7 September-6 October 2010.

Zoltan Esik (University of Szeged, Hungary).
Research Interests: Logic in computer science, automata and formal language theory.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 31 August-29 September 2010.

Leonardo Vito (University of Camerino, Italy).
Research Interests: Formal methods for modelling and verifying complex systems; Systems Biology; Digital Services and Quality of Service.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 16-22 August 2010.

Luca Tesei (University of Camerino, Italy).
Research Interests: Formal methods for modelling and verifying complex systems, in particular real-time systems; Abstract Interpretation; Systems Biology; Digital Services and Quality of Service.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 16-22 August 2010.

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: 7-11 June 2010.

Jens Gustedt (LORIA, Nancy, France).
Research Interests: models, algorithms and implementations that handle graphs on Coarse Grained Multicomputers.
Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: 3-10 June 2010.

Riko Jacob (TU Munich, Germany).
Research Interests: Efficient algorithms.
Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: 2-16 June 2010.

David de Frutos Escrig (Universidad Complutense Madrid, Spain).
Research Interests: Concurrency theory, verification and validation.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 5 April-5 July, 2010.

Carlos Gregorio Rodriguez (Universidad Complutense Madrid, Spain).
Research Interests: Concurrency theory, verification and validation.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 5 April-5 July, 2010.

Andrei Sabelfeld (Chalmers University of Technology, Sweden).
Research Interests: Language-based security, programming languages and computer security in general.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 26 March, 2010.

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: 8-12 March, 2010.

Mads Dam (Theoretical Computer Science, School of Computer Science and Communication, Royal Institute of Technology (KTH), Stockholm, Sweden).
Research Interests: Software security, program logics, program verification, autonomous networks.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 12 January, 2010.