Organizers

Local Organizers (Bergen)
  • Marc Bezem
  • Michal Walicki
 
Program Committee
 
  • Marc Bezem
  • Ana Bove
  • Thierry Coquand
  • Nils Anders Danielsson
  • Peter Dybjer
  • Bengt Nordström (chair)