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

• Proof and Computation 2022

  Fredrik Nordvall Forsberg (Invited speaker)

  31 May 2022

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• Topos Institute 2nd Workshop on Polynomial Functors

  Fredrik Nordvall Forsberg (Invited speaker)

  14 Mar 2022

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• Topos Institute Workshop on Polynomial Functors

  Fredrik Nordvall Forsberg (Invited speaker)

  19 Mar 2021

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• Foundations and Applications of Univalent Mathematics

  Fredrik Nordvall Forsberg (Keynote/plenary speaker)

  20 Dec 2019

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• SICSA PhD Conference 2018

  Fredrik Nordvall Forsberg (Invited speaker) & Stuart Alexander Hannah (Invited speaker)

  29 Jun 2018

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• Swansea University Annual Computer Science Undergraduate Colloquium at Gregynog

  Fredrik Nordvall Forsberg (Keynote/plenary speaker)

  28 Nov 2016

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• Mathematically Structured Functional Programming 2016

  Fredrik Nordvall Forsberg (Keynote/plenary speaker)

  8 Apr 2016

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences