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

33rd Annual ACM/IEEE Symposium on Logic in Computer Science

Bob Atkey (Participant)
9 Jul 201812 Jul 2018

Activity: Participating in or organising an event typesParticipation in conference

The Syntax and Semantics of Quantitative Type Theory

Bob Atkey (Speaker)
11 Jul 2018

Activity: Talk or presentation typesOral presentation

External examiner for Chris Schwaab's PhD thesis

Bob Atkey (Examiner)
28 May 2018

Activity: Examination typesExamination

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

26th European Symposium on Programming

Bob Atkey (Participant)
17 Apr 201730 Apr 2017

Activity: Participating in or organising an event typesParticipation in conference

Observed Communication Semantics for Classical Processes

Bob Atkey (Speaker)
26 Apr 2017

Activity: Talk or presentation typesOral presentation

22nd ACM SIGPLAN International Conference on Functional Programming

Bob Atkey (Member of programme committee)
27 Feb 20171 May 2017

Activity: Participating in or organising an event typesParticipation in conference

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

26th European Symposium on Programming

Bob Atkey (Member of programme committee)
25 Oct 201622 Dec 2016

Activity: Participating in or organising an event typesParticipation in conference