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

• Applied Category Theory 2022

  Fredrik Nordvall Forsberg (Organiser), Jade Master (Organiser), Julian Hedges (Organiser) & James Fairbanks (Organiser)

  18 Jul 2022 → 22 Jul 2022

  Activity: Participating in or organising an event types › Organiser of major conference

• ICFP 2009

  Conor McBride (Member of programme committee)

  2009 → …

  Activity: Participating in or organising an event types › Organiser of major conference