Activities per year
Activities
- 100 - 150 out of 545 results
Search results
-
Invited Talk “Reviews: Writing, Reading, and Responding”
Bob Atkey (Speaker)
22 Jun 2019Activity: Talk or presentation types › Invited talk
-
Invited talk “One monad to the tune of another”
Bob Atkey (Speaker)
23 Jun 2019Activity: Talk or presentation types › Invited talk
-
Evidence Based Library and Information Practice
Diane Pennington (Organiser)
15 Jun 2019 → 19 Jun 2019Activity: Participating in or organising an event types › Organiser of major conference
-
The Web Conference 2019
Yashar Moshfeghi (Participant)
13 May 2019 → 17 May 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
ACM CHI Conference on Human Factors in Computing Systems
Martin Halvey (Organiser)
May 2019Activity: Participating in or organising an event types › Organiser of major conference
-
Computational challenges in the theory of word-representable graphs
Sergey Kitaev (Speaker)
24 May 2019Activity: Talk or presentation types › Invited talk
-
Stirring it up. Spaghetti Bolognese and the threshold of authenticities
Perla Innocenti (Speaker)
10 May 2019Activity: Talk or presentation types › Oral presentation
-
Equidistributions on planar maps via involutions on description trees
Sergey Kitaev (Speaker)
10 Apr 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
-
ACM SIGIR Conference on Human Information Interaction & Retrieval 2019
Martin Halvey (Chair)
Mar 2019Activity: Participating in or organising an event types › Organiser of major conference
-
13th International Conference on Language and Automata Theory and Applications
Sergey Kitaev (Participant)
25 Mar 2019 → 29 Mar 2019Activity: Participating in or organising an event types › Organiser of major conference
-
Exploring the Discovery of Tactics from User Logs
Martin Halvey (Speaker)
Feb 2019Activity: Talk or presentation types › Invited talk
-
Designing Computer Security Assessments to Reduce Plagiarism
Rosanne English (Speaker)
9 Jan 2019Activity: Talk or presentation types › Oral presentation
-
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
-
Home Office PhD Seminar
Olubukola Olajumoke Oduntan (Speaker)
9 Jan 2019Activity: Talk or presentation types › Invited talk
-
EPSRC Peer Review College (External organisation)
Wendy Moncur (Advisor)
2019Activity: Membership types › Membership of committee
-
Special Interest Group in Computing Science Education (External organisation)
Rosanne English (Advisor)
2019 → …Activity: Membership types › Membership of network
-
University of Cambridge
Daniel Thomas (Visiting researcher)
2019 → …Activity: Visiting an external institution types › Visiting an external academic institution
-
IET Smart Cities (Journal)
Jeff Yan (Associate Editor)
2019 → …Activity: Publication peer-review and editorial work types › Editorial board member
-
ACM SIGCHI Conference on Human Factors in Computing Systems (Event)
Wendy Moncur (Peer reviewer)
2019Activity: Publication peer-review and editorial work types › Membership of peer review panel or committee
-
External examiner for Matt McDevitt' viva at the University of St Andrews
Sergey Kitaev (Examiner)
2019Activity: Examination types › Examination
-
ACM (External organisation)
Rosanne English (Advisor)
2019 → …Activity: Membership types › Membership of network
-
Second Symposium on Compositional Structures
Fredrik Nordvall Forsberg (Organiser)
17 Dec 2018Activity: Participating in or organising an event types › Organiser of special symposia
-
23rd International Conference on Types for Proofs and Programs (Event)
Fredrik Nordvall Forsberg (Guest editor)
Dec 2018Activity: Publication peer-review and editorial work types › Journal or guest editorship
-
Exploring the Impact of Conversational Strategies for Goal-Oriented Search Tasks
Martin Halvey (Speaker)
Oct 2018Activity: Talk or presentation types › Invited talk
-
Beyond actions: Exploring the discovery of tactics from user logs
Martin Halvey (Speaker)
Sep 2018Activity: Talk or presentation types › Invited talk
-
Theoretical and Computational Discrete Mathematics (TCDM 2018)
Sergey Kitaev (Participant)
14 Sep 2018 → 15 Sep 2018Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences
-
Second Statebox Summit
Fredrik Nordvall Forsberg (Participant)
8 Sep 2018 → 15 Sep 2018Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Invited talk “Syntax and Semantics of Quantitative Type Theory”
Bob Atkey (Speaker)
6 Sep 2018Activity: Talk or presentation types › Invited talk
-
The Impact of Student Diversity on CS Education
Rosanne English (Speaker)
Sep 2018Activity: Talk or presentation types › Invited talk
-
Committee member for Andrea Vezzosi's PhD defence
Bob Atkey (Examiner)
5 Sep 2018Activity: Examination types › Examination
-
EUTypes Summer School lecturer: "Introduction to HoTT"
Fredrik Nordvall Forsberg (Invited speaker)
8 Aug 2018 → 12 Aug 2018Activity: Talk or presentation types › Invited talk
-
SICSA Urban Big Data and Health
Marilyn Lennon (Invited speaker)
23 Aug 2018Activity: Talk or presentation types › Invited talk
-
The Syntax and Semantics of Quantitative Type Theory
Bob Atkey (Speaker)
11 Jul 2018Activity: Talk or presentation types › Oral presentation
-
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
-
Formal Power Series and Algebraic Combinatorics 2018
Einar Steingrimsson (Participant)
Jul 2018Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences
-
British Mathematical Colloquium 2018
Sergey Kitaev (Participant)
11 Jun 2018 → 14 Jun 2018Activity: Participating in or organising an event types › Organiser of special symposia
-
SICSA PhD Conference 2018
Fredrik Nordvall Forsberg (Invited speaker) & Stuart Alexander Hannah (Invited speaker)
29 Jun 2018Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences
-
5th International Conference on Riordan Arrays and Related Topics (5 RART 2018)
Sergey Kitaev (Participant)
25 Jun 2018 → 29 Jun 2018Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences
-
Pathways for Improvement in Health Delivery
Gillian Hopkins Anderson (Organiser), Itamar Megiddo (Organiser), Dominic Finn (Organiser), Robert van der Meer (Organiser), John Connaghan (Keynote/plenary speaker), Alan Hunter (Keynote/plenary speaker), Alison Bradley (Invited speaker), Abigail Colson (Invited speaker), Johanna McQuarrie (Invited speaker), Roma Maguire (Invited speaker), Natalie Mcfadyen Weir (Invited speaker), Paul J Jenkins (Speaker), Claire Fernie (Speaker) & Fahim Ahmed (Participant)
3 May 2018Activity: Participating in or organising an event types › Organiser of special symposia
-
Engage 2018: Digital Health Citizen Engagement Network: Changing Care Together
Lisa McCann (Host)
2 May 2018Activity: Public Engagement and Other Activities › Types of Public engagement and outreach - Media article or participation
-
External examiner for Chris Schwaab's PhD thesis
Bob Atkey (Examiner)
28 May 2018Activity: Examination types › Examination
-
iDoCQ 2018
Hussain Saad M Alshahrani (Participant)
3 May 2018Activity: Participating in or organising an event types › Organiser of special symposia
-
Expectations and preparation: The transition from doctoral student to early career academic
Rebekah Willson (Speaker)
21 May 2018Activity: Talk or presentation types › Invited talk
-
Using Thermal Stimuli to Enhance Photo-Sharing in Social Media
Martin Halvey (Speaker)
27 Apr 2018Activity: Talk or presentation types › Invited talk
-
The experience of early career academics: The influence of governments, universities, and colleagues on academics’ work – and what we can do
Rebekah Willson (Speaker)
19 Apr 2018Activity: Talk or presentation types › Invited talk
-
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
-
Expectations and affect in the transition from doctoral student to early career academic
Rebekah Willson (Speaker)
25 Apr 2018Activity: Talk or presentation types › Invited talk
-
LMU Munich Oberseminar Mathematische Logik: "Mutual data types with equalities: quotient inductive-inductive types"
Fredrik Nordvall Forsberg (Invited speaker)
30 Apr 2018Activity: Talk or presentation types › Invited talk