Previous Guests

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

Current and Future Guests
(Roughly in Reverse Chronological Order)

Duncan Paul Attard (University of Malta)
Research Interests: Runtime monitoring.
Hosts: Luca Aceto, Antonis Achilleos and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 28 January-28 May 2019.

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: 8-28 October 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.