Previous Guests

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

Current and Future Guests
(Roughly in Reverse Chronological Order)

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.

Venanzio Capretta (University of Nottingham, UK)
Research Interests: Type theory and constructive mathematics, coinduction in particular.
Hosts: Tarmo Uustalu.
Location: School of Computer Science, Reykjavik University.
Period: 22-28 March 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.