Previous Guests

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

Current and Future Guests
(Roughly in Reverse Chronological Order)

Ando Saabas (Bolt Technology, Estonia)
Research Interests: ML, dispatching and pricing optimization, and simulation.
Hosts: Tarmo Uustalu.
Location: School of Computer Science, Reykjavik University.
Period: 9-17 May 2020.

Paola Inverardi (University of L'Aquila, Italy).
Research Interests: Application of formal techniques to the development of software systems.
Hosts: Luca Aceto, Antonis Achilleos and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 25-27 March 2020.

Exequiel Rivas (Inria Paris - Rocquencourt, France)
Research Interests: Theory of programming languages.
Hosts: Tarmo Uustalu.
Location: School of Computer Science, Reykjavik University.
Period: 16-26 March 2020.

Niels Voorneveld (Tallinn University of Technology, Estonia)
Research Interests: Algebraic effects, constructive mathematics.
Hosts: Tarmo Uustalu.
Location: School of Computer Science, Reykjavik University.
Period: 10-17 March 2020.

Niccolò Veltri (Department of Software Science, Tallinn University of Technology)
Research Interests: Type theory, constructive mathematics, formalization of mathematics, category theory.
Hosts: Tarmo Uustalu.
Location: School of Computer Science, Reykjavik University.
Period: 16-21 February 2020.

Ülo Reimaa (University of Tartu, Estonia).
Research Interests: Algebra, category theory, coding theory.
Hosts: Tarmo Uustalu.
Location: School of Computer Science, Reykjavik University.
Period: February-May 2020.

Shin-ya Katsumata (National Institute for Informatics, Japan)
Research Interests: Theoretical computer science.
Hosts: Tarmo Uustalu.
Location: School of Computer Science, Reykjavik University.
Period: 26 January-6 February 2020.