Mathematically Structured Programming

Activities

Activities per year 2008 2016 2017 2018 2019 2022

• 24 Invited talk
• 8 Participation in workshop, seminar, course
• 8 Examination
• 7 Key-note speaker and plenary lectures at conferences
• 19 More
  • 4 Participation in conference
  • 4 Organiser of special symposia
  • 3 Journal or guest editorship
  • 3 Membership of peer review panel or committee
  • 2 Organiser of major conference
  • 2 Oral presentation
  • 1 Membership of committee

Activities per year

Search results

• Scottish Programming Languages and Verification Summer School 2019

  Fredrik Nordvall Forsberg (Organiser), Clemens Kupke (Organiser) & Bob Atkey (Organiser)

  5 Aug 2019 → 9 Aug 2019

  Activity: Participating in or organising an event types › Organiser of special symposia

• Second Symposium on Compositional Structures

  Fredrik Nordvall Forsberg (Organiser)

  17 Dec 2018

  Activity: Participating in or organising an event types › Organiser of special symposia

• Agda Implementor's Meeting XXIII

  James Chapman (Organiser) & Fredrik Nordvall Forsberg (Organiser)

  20 Apr 2017 → 26 Apr 2017

  Activity: Participating in or organising an event types › Organiser of special symposia

• Scottish Programming Languages Seminar

  James Chapman (Organiser) & Fredrik Nordvall Forsberg (Organiser)

  9 Nov 2016

  Activity: Participating in or organising an event types › Organiser of special symposia