ORGANISATION

The conference is organised jointly by the Centre for Advanced Study (CAS) at the Norwegian Academy of Science and Letters, and the University of Bergen (UiB).

Supported in part by COST Action CA15123 EUTypes, the Research Council of Norway, and Academia Europaea Knowledge Hub Region Bergen.

Local organisers:

• Marc Bezem University of Bergen (chair)

• Bjørn Ian Dundas University of Bergen

• Erna Kas Utrecht University

• Camilla K. Elmar Centre for Advanced Study

Steering Committee:

• Ralph Matthes IRIT, CNRS & University of Toulouse (chair)

• Andreas Abel Chalmers University of Technology & University of Gothenburg

• Marc Bezem University of Bergen

• José Espírito Santo University of Minho

• Hugo Herbelin INRIA Paris-Rocquencourt

• Ambrus Kaposi Eötvös Loránd University