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)

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.

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.