Activities per year
Activities
- 18 results
Search results
-
COST DKG MC meeting
Horne, R. (Participant)
10 Sept 2024 → 11 Sept 2024Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
37th IEEE Computer Security Foundations Symposium
Horne, R. (Participant)
8 Jul 2024 → 12 Jul 2024Activity: Participating in or organising an event types › Participation in conference
-
44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (Event)
Horne, R. (Peer reviewer)
17 Jun 2024 → 21 Jun 2024Activity: Publication peer-review and editorial work types › Membership of peer review panel or committee
-
Contactless Payments made Private via Bisimilarity
Horne, R. (Speaker)
22 May 2024Activity: Talk or presentation types › Invited talk
-
Solid Symposium
Horne, R. (Participant)
2 May 2024 → 3 May 2024Activity: Participating in or organising an event types › Organiser of special symposia
-
Dov M. Gabbay
Horne, R. (Host)
15 Apr 2024 → 19 Apr 2024Activity: Hosting a visitor types › Hosting an academic visitor
-
Artificial Intelligence Workshop
Horne, R. (Participant)
16 Apr 2024Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
The True Concurrency of ePassport Privacy
Horne, R. (Speaker)
28 Feb 2024Activity: Talk or presentation types › Invited talk
-
Contactless Payments made Private via Bisimilarity
Horne, R. (Speaker)
22 Feb 2024Activity: Talk or presentation types › Invited talk
-
Nobuko Yoshida
Horne, R. (Host)
13 Feb 2024Activity: Hosting a visitor types › Hosting an academic visitor
-
Contactless Payments made Private via Bisimilarity
Horne, R. (Speaker)
10 Nov 2023Activity: Talk or presentation types › Invited talk
-
Scottish Programming Languages Seminar Series
Horne, R. (Participant)
22 Nov 2023Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
30th ACM SIGSAC Conference on Computer and Communications Security, CCS 2023
Horne, R. (Participant)
26 Nov 2023 → 30 Nov 2023Activity: Participating in or organising an event types › Participation in conference
-
COST DKG MC meeting
Horne, R. (Participant)
25 Sept 2023 → 26 Sept 2023Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Financial Technology Summit organised by DIGIT Tech News and Events for IT & Digital professionals
Horne, R. (Participant)
21 Sept 2023Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Scientific Annals of Computer Science (Journal)
Horne, R. (Peer reviewer)
1 Aug 2023 → …Activity: Publication peer-review and editorial work types › Journal or guest editorship
-
Journal of Logic and Computation (Journal)
Horne, R. (Peer reviewer)
1 Aug 2023 → …Activity: Publication peer-review and editorial work types › Journal or guest editorship
-
Scottish Programming Languages Seminar, St Andrew 2024
Horne, R. (Participant)
6 Mar 2023Activity: Participating in or organising an event types › Participation in workshop, seminar, course