Previous Guests

[2005] [2006] [2007] [2008] [2009] [2010] [2011] [2012] [2013] [2014] [2015] [2016] [2017]

Current and Future Guests
(Roughly in Reverse Chronological Order)

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.