If you made any changes in Pure these will be visible here soon.

Activities 2016 2018

  • 3 Organiser of special symposia
  • 1 Journal or guest editorship

Second Symposium on Compositional Structures

Fredrik Nordvall Forsberg (Organiser)
17 Dec 2018

Activity: Participating in or organising an event typesOrganiser of special symposia

23rd International Conference on Types for Proofs and Programs (Event)

Fredrik Nordvall Forsberg (Guest editor)
Dec 2018

Activity: Publication peer-review and editorial work typesJournal or guest editorship

Agda Implementor's Meeting XXIII

James Chapman (Organiser), Fredrik Nordvall Forsberg (Organiser)
20 Apr 201726 Apr 2017

Activity: Participating in or organising an event typesOrganiser of special symposia

Scottish Programming Languages Seminar

James Chapman (Organiser), Fredrik Nordvall Forsberg (Organiser)
9 Nov 2016

Activity: Participating in or organising an event typesOrganiser of special symposia