Activities per year
Activities
- 30 results
Search results
-
External examiner for Craig McLaughlin's PhD thesis
Bob Atkey (Examiner)
28 Feb 2020Activity: Examination types › Examination
-
Invited Talk “Resource Constrained Programming with Full Dependent Types”
Bob Atkey (Speaker)
23 Jan 2020Activity: Talk or presentation types › Invited talk
-
Invited talk “Type Theory and Sympathy”
Bob Atkey (Speaker)
9 Dec 2019Activity: Talk or presentation types › Invited talk
-
Jury member for Kenji Malliard's thesis defence
Bob Atkey (Examiner)
26 Nov 2019Activity: Examination types › Examination
-
External Examiner for Frantisek Farka's PhD thesis
Bob Atkey (Examiner)
9 Oct 2019Activity: Examination types › Examination
-
Scottish Programming Languages and Verification Summer School 2019
Fredrik Nordvall Forsberg (Organiser), Clemens Kupke (Organiser) & Bob Atkey (Organiser)
5 Aug 2019 → 9 Aug 2019Activity: Participating in or organising an event types › Organiser of special symposia
-
External Examiner for Bram Geron's thesis
Bob Atkey (Examiner)
8 Jul 2019Activity: Examination types › Examination
-
Invited talk “One monad to the tune of another”
Bob Atkey (Speaker)
23 Jun 2019Activity: Talk or presentation types › Invited talk
-
Invited Talk “Reviews: Writing, Reading, and Responding”
Bob Atkey (Speaker)
22 Jun 2019Activity: Talk or presentation types › Invited talk
-
NII Shonan Seminar no. 146 “Programming and Reasoning with Algebraic Effects and Effect Handlers”
Bob Atkey (Participant)
24 Mar 2019 → 29 Mar 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
ECOOP 2019 (Event)
Bob Atkey (Peer reviewer)
11 Jan 2019 → 2 Apr 2019Activity: Publication peer-review and editorial work types › Membership of peer review panel or committee
-
Committee member for Andrea Vezzosi's PhD defence
Bob Atkey (Examiner)
5 Sept 2018Activity: Examination types › Examination
-
Invited talk “Syntax and Semantics of Quantitative Type Theory”
Bob Atkey (Speaker)
6 Sept 2018Activity: Talk or presentation types › Invited talk
-
33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Bob Atkey (Participant)
9 Jul 2018 → 12 Jul 2018Activity: Participating in or organising an event types › Participation in conference
-
Principles of Programming Languages 2019 (Event)
Bob Atkey (Peer reviewer)
11 Jul 2018 → 10 Oct 2018Activity: Publication peer-review and editorial work types › Membership of peer review panel or committee
-
The Syntax and Semantics of Quantitative Type Theory
Bob Atkey (Speaker)
11 Jul 2018Activity: Talk or presentation types › Oral presentation
-
External examiner for Chris Schwaab's PhD thesis
Bob Atkey (Examiner)
28 May 2018Activity: Examination types › Examination
-
Dagstuhl Seminar 18172 "Algebraic Effect Handlers go Mainstream"
Bob Atkey (Participant)
22 Apr 2018 → 27 Apr 2018Activity: 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 2017Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Observed Communication Semantics for Classical Processes
Bob Atkey (Speaker)
26 Apr 2017Activity: Talk or presentation types › Oral presentation
-
26th European Symposium on Programming
Bob Atkey (Participant)
17 Apr 2017 → 30 Apr 2017Activity: Participating in or organising an event types › Participation in conference
-
22nd ACM SIGPLAN International Conference on Functional Programming
Bob Atkey (Member of programme committee)
27 Feb 2017 → 1 May 2017Activity: Participating in or organising an event types › Participation in conference
-
Dagstuhl Seminar 17051 "Theory and Applications of Behavioural Types"
Bob Atkey (Participant)
29 Jan 2017 → 3 Feb 2017Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
26th European Symposium on Programming
Bob Atkey (Member of programme committee)
25 Oct 2016 → 22 Dec 2016Activity: Participating in or organising an event types › Participation in conference
-
Invited talk “Classical Linear Logic Considered as a Programming Language”
Bob Atkey (Speaker)
29 Jul 2016Activity: Talk or presentation types › Invited talk
-
Invited talk “Generalising Abstraction”
Bob Atkey (Speaker)
23 Jan 2016Activity: Talk or presentation types › Invited talk
-
Invited talk “Productive Coprogramming with Guarded Recursion”
Bob Atkey (Speaker)
5 Nov 2015Activity: Talk or presentation types › Invited talk
-
Principles of Programming Languages 2016 (Event)
Bob Atkey (Peer reviewer)
3 Jul 2015 → 5 Oct 2015Activity: Publication peer-review and editorial work types › Membership of peer review panel or committee
-
Invited talk “Relational Parametricity beyond Type Abstraction”
Bob Atkey (Speaker)
12 Apr 2014Activity: Talk or presentation types › Invited talk
-
Invited talk “From Parametricity to Conservation Laws, via Noether’s Theorem”
Bob Atkey (Speaker)
8 Nov 2013Activity: Talk or presentation types › Invited talk