• 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

External examiner for Chris Schwaab's PhD thesis

Bob Atkey (Examiner)
28 May 2018

Activity: Examination typesExamination

26th European Symposium on Programming

Bob Atkey (Participant)
17 Apr 201730 Apr 2017

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

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

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

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

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

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

Observed Communication Semantics for Classical Processes

Bob Atkey (Speaker)
26 Apr 2017

Activity: Talk or presentation typesOral presentation