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

• Third Statebox Summit

  Fredrik Nordvall Forsberg (Invited speaker)

  16 Sep 2019 → 21 Sep 2019

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Connected Places Exploration Workshop

  Neil Ghani (Participant)

  26 Sep 2019

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• NII Shonan Seminar no. 146 “Programming and Reasoning with Algebraic Effects and Effect Handlers”

  Bob Atkey (Participant)

  24 Mar 2019 → 29 Mar 2019

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Second Statebox Summit

  Fredrik Nordvall Forsberg (Participant)

  8 Sep 2018 → 15 Sep 2018

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Dagstuhl Seminar 18172 "Algebraic Effect Handlers go Mainstream"

  Bob Atkey (Participant)

  22 Apr 2018 → 27 Apr 2018

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• First Statebox Summit

  Fredrik Nordvall Forsberg (Invited speaker)

  1 Nov 2017 → 3 Nov 2017

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Dagstuhl Seminar 17291 "Resource Bound Analysis"

  Bob Atkey (Participant)

  16 Jul 2017 → 21 Jul 2017

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Dagstuhl Seminar 17051 "Theory and Applications of Behavioural Types"

  Bob Atkey (Participant)

  29 Jan 2017 → 3 Feb 2017

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course