• United Kingdom

Accepting PhD Students

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

Activities 2016 2018

  • 4 Participation in conference
  • 3 Participation in workshop, seminar, course
  • 2 Oral presentation
  • 1 Examination
Filter
Participation in workshop, seminar, course

Dagstuhl Seminar 18172 "Algebraic Effect Handlers go Mainstream"

Bob Atkey (Participant)
22 Apr 201827 Apr 2018

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Dagstuhl Seminar 17291 "Resource Bound Analysis"

Bob Atkey (Participant)
16 Jul 201721 Jul 2017

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Dagstuhl Seminar 17051 "Theory and Applications of Behavioural Types"

Bob Atkey (Participant)
29 Jan 20173 Feb 2017

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course