Guests in 2009 (Roughly in Reverse Chronological Order)

Hadas Shachnai (Technion, Haifa, Israel).
Research Interests: Scheduling and resource allocation problems; Approximation algorithms for hard optimization problems; Probabilistic analysis of algorithms; Parallel and distributed computation. Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: 3-10 December, 2009.

Mario Szegedy (Rutgers Universty, NJ, USA) visits ICE-TCS at Reykjavik University.
Research Interests: Algorithmics; Computational complexity; Quantum computation. Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: 30 November-5 December, 2009.

Paul Blain Levy (School of Computer Science, University of Birmingham, UK).
Research Interests: Semantics of nondeterminism: functions, strategies and bisimulation. Hosts: Luca Aceto, Anna Ingolfsdottir and Joshua Sack.
Location: School of Computer Science, Reykjavik University.
Period: 16-22 November, 2009.

Wlodzimierz Moczurad (Faculty of Computer Science, Nowy Sacz School of Business and Institute of Computer Science, Jagiellonian University, Poland).
Research Interests: Combinatorics, coding theory. Host: Sergey Kitaev.
Location: School of Computer Science, Reykjavik University.
Period: 16-21 November, 2009.

Bjarki Holm (University of Cambridge, UK).
Research Interests: Finite model theory; descriptive complexity theory. Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 13 November, 2009.

Claus Brabrand (IT University, Copenhagen, Denmark).
Research Interests: Programming Languages; Domain Specific Languages; Web Technology; Syntax and Transformation; Educational Research. Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 21-22 September, 2009.

Ymir Vigfusson (Department of Computer Science, Cornell University, USA).
Research Interests: Distributed systems. Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: 14-21 September, 2009.

Einar Broch Johnsen (University of Oslo, Norway).
Research Interests: Formal modelling and analysis of distributed systems. Foundations of object-oriented programming. Hosts: Luca Aceto, Anna Ingolfsdottir and Marjan Sirjani.
Location: School of Computer Science, Reykjavik University.
Period: 24-30 August, 2009.

Marcel Kyas (Freie Universitaet Berlin, Germany).
Research Interests: Formal modelling and analysis of embedded and distributed systems. Hosts: Luca Aceto, Anna Ingolfsdottir and Marjan Sirjani.
Location: School of Computer Science, Reykjavik University.
Period: 21 August, 2009.

Frank de Boer (CWI and Universiteit Utrecht, The Netherlands).
Research Interests: Programming logics, object-orientation, concurrency, integrated formal methods. Hosts: Luca Aceto, Anna Ingolfsdottir and Marjan Sirjani.
Location: School of Computer Science, Reykjavik University.
Period: 17-21 August, 2009.

Pall Melsted (Carnegie Mellon University, USA).
Research Interests: Probabilistic Combinatorics with emphasis on its applications to Theoretical Computer Science. Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 14 August, 2009.

Bridget Eileen Tenner (Department of Mathematical Sciences, DePaul University, USA).
Research Interests: Enumerative and algebraic combinatorics.
Hosts: Luca Aceto, Anna Ingolfsdottir and Einar Steingrimsson.
Location: Department of Computer Science, Reykjavik University.
Period: 12-31 August, 2009.

Eva Jelinkova (Charles University, Prague, Czech Republic).
Research Interests: Graph theory.
Host: Einar Steingrimsson.
Location: School of Computer Science, Reykjavik University.
Period: Academic year 2009-2010.

Fumei Lam (UC Davis, USA).
Research Interests: Computational biology; combinatorics; combinatorial optimization.
Host: Bjarni V. Halldórsson.
Location: School of Science and Engineering and the Mathematics Institute, Reykjavik University.
Period: Early July, 2009.

Eric Babson (University of California, Davis, USA).
Research Interests: Geometry and Topology; Algebra and Discrete Mathematics.
Host: Einar Steingrimsson.
Location: School of Science and Engineering and the Mathematics Institute, Reykjavik University.
Period: 26 June-7 July, 2009.

Zoltan Esik (University of Szeged, Hungary, and Universitat Rovira i Virgili, Tarragona, Spain).
Research Interests: Equational theory of fixed points and its applications in computer science; Automata theory; Logic in Computer Science; Universal Algebra.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 18-25 June, 2009.

Paul van Tilburg (Eindhoven University of Technology, NL).
Research Interests: Concurrency theory, process algebra, automata theory.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 8-12 June, 2009.

Francois Laroussinie (University of Paris VII, France).
Research Interests: Formal specification and verification, model checking, timed automata, temporal logics, real-time systems.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 1-7 June, 2009.

Rosario Culmone (University of Camerino, Italy).
Research Interests: Agent-based modelling, design and analysis of web services.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 28-29 May, 2009.

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.
Location: School of Computer Science, Reykjavik University.
Period: 28-29 May, 2009.

Martina Kubitzke (Philipps-Universität, Germany)
Research Interests: Combinatorial Commutative Algebra.
Hosts: Combinatorics group.
Location: School of Computer Science, Reykjavik University.
Period: 18-25 May, 2009.

Marco Bernardo (University of Urbino, Italy).
Research Interests: Semantics of concurrent programming. Modeling and verification of concurrent and distributed systems. Performance evaluation of computer systems and networks. Foundations of software architecture and engineering. Automated support for model-driven software development.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 18-22 May, 2009.

Rance Cleaveland (Department of Computer Science, University of Maryland College Park, USA) visits ICE-TCS.
Research Interests: Process algebra, temporal logic, analysis algorithms for finite-state systems, automatic verification tools, semantic models of system behavior, operational semantics.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 14-15 May, 2009.

MohammadReza Mousavi (Eindhoven University of Technology, The Netherlands).
Research Interests: Formal Semantics and Concurrency Theory, Applications of Formal Methods in System Design, Models of Computation for Embedded Systems.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 23-26 February, 2009.