Varmo
Vene (University of Tartu, Estonia)
Research Interests: Semantics of programming languages, methods
of program construction and transformation, static analysis of
programs, functional programming, type theory, category theory.
Hosts: Tarmo Uustalu.
Location:
School of Computer Science, Reykjavik
University.
Period: 10-17 December 2018.
Michal Opler (Computer
Science Institute, Charles University, Czech Republic)
Research Interests: Discrete Models and Algorithms.
Host: Henning Úlfarsson.
Location:
School of Computer Science, Reykjavik
University.
Period: 13-16 November 2018.
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, Antonis Achilleos and Anna Ingolfsdottir.
Location:
School of Computer Science, Reykjavik
University.
Period: 8-28 October 2018.
Timo Hönig
(Friedrich-Alexander University Erlangen-Nürnberg, Germany)
Research Interests: Energy-Aware Programming;
Proactive Concepts for the Design of Energy-Aware Systems
Hosts: ICE-TCS.
Location:
School of Computer Science, Reykjavik
University.
Period: 2 October 2018.
Ian Cassar (University of Malta)
Research Interests: Runtime monitoring.
Hosts: Luca Aceto, Antonis Achilleos and Anna Ingolfsdottir.
Location:
School of Computer Science, Reykjavik
University.
Period: 17 September-7 December 2018.
Alex
Popa (Faculty of Mathematics and Computer Science, University of
Bucharest, Romania)
Research Interests: Approximation algorithms, fixed parameter
algorithms and heuristics.
Hosts: Magnús M. Halldórsson.
Location:
School of Computer Science, Reykjavik
University.
Period: 3-9 September 2018.
Tami Tamir (Efi Arazi
School of Computer Science, The Interdisciplinary
Center)
Research Interests: Resource Allocation Problems, Approximation Algorithms, Algorithmic Game Theory, Scheduling, Resource Allocation and Local Labeling in Distributed Systems, Multimedia on demand.
Hosts: Magnús M. Halldórsson.
Location:
School of Computer Science, Reykjavik
University.
Period: 23-29 August 2018.
Takeshi
Tokuyama (Tohoku University, Japan)
Research Interests: Theoretical Computer Science and Discrete
Mathematics, with emphasis on Computational Geometry and related
combinatorics.
Hosts: Magnús M. Halldórsson.
Location:
School of Computer Science, Reykjavik
University.
Period: 23 August 2018.
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: 16-18 May 2018.
Catia Trubiani
(Gran Sasso Science Institute, Italy)
Research Interests: Formal models and tools for performance analysis.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location:
School of Computer Science, Reykjavik
University.
Period: 30 April-4 May 2018.
Niccolò
Veltri (ITU Copenhagen)
Research Interests: Type theory,
constructive mathematics.
Hosts: Tarmo Uustalu.
Location:
School of Computer Science, Reykjavik
University.
Period: 13-20 March 2018.
Denis
Firsov (University of Iowa)
Research Interests: Type theory, certified programming.
Hosts: Tarmo Uustalu.
Location:
School of Computer Science, Reykjavik
University.
Period: 20-24 February 2018.
Hendrik Maarand (Tallinn University of Technology, Estonia)
Research Interests: Relaxed memory models and formalization.
Hosts: Tarmo Uustalu.
Location:
School of Computer Science, Reykjavik
University.
Period: 6-18 February 2018.
Danel Ahman (INRIA Paris
Rocquencourt)
Research Interests: Programming language semantics and type
theory, especially effects in dependently typed programming languages.
Hosts: Tarmo Uustalu.
Location:
School of Computer Science, Reykjavik
University.
Period: 27 January-2 February 2018.
Karoliina
Lehtinen (Christian-Albrechts University of Kiel, Germany)
Research Interests: Mathematical logics, infinite games, and
automata theory, in particular in the contexts of verification and
descriptive complexity.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location:
School of Computer Science, Reykjavik
University.
Period: 20-27 January 2018.
Adrian
Francalanza (University of Malta).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location:
School of Computer Science, Reykjavik
University.
Period: 19-27 January 2018.
Duncan
Paul Attard (University of Malta)
Research Interests: Runtime monitoring.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location:
School of Computer Science, Reykjavik
University.
Period: 15 January-15 March 2018.
Ian Cassar (University of Malta)
Research Interests: Runtime monitoring.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location:
School of Computer Science, Reykjavik
University.
Period: 15 January-15 March 2018.