Activities per year
Activities
- 1 - 50 out of 218 results
Search results
-
Nottingham FP Lunch: "Functorial adapters in bidirectional type systems"
Fredrik Nordvall Forsberg (Invited speaker)
23 Apr 2021Activity: Talk or presentation types › Invited talk
-
Budapest Type Theory Seminar: "Quantitative type theory and data types"
Fredrik Nordvall Forsberg (Invited speaker)
31 Mar 2021Activity: Talk or presentation types › Invited talk
-
Topos Institute Workshop on Polynomial Functors
Fredrik Nordvall Forsberg (Keynote/plenary speaker)
19 Mar 2021Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences
-
-
University of Pretoria
Ian Ruthven (Visiting researcher)
1 Jan 2021 → 31 Dec 2022Activity: Visiting an external institution types › Visiting an external academic institution
-
Enumerative Combinatorics and Applications (Journal)
David Bevan (Guest editor), Sergey Kitaev (Editor) & Einar Steingrimsson (Editor)
2021 → 2022Activity: Publication peer-review and editorial work types › Journal or guest editorship
-
External Examiner Undergraduate Computing Programmes
Martin Halvey (Examiner)
1 May 2020 → 30 Apr 2024Activity: Examination types › Examination
-
Uniform distribution of resources
Sergey Kitaev (Speaker)
9 Mar 2020Activity: Talk or presentation types › Oral presentation
-
LFCS Seminar: "Ordinal notation systems for ordinals below ε0 in modern type theories"
Fredrik Nordvall Forsberg (Invited speaker)
4 Feb 2020Activity: Talk or presentation types › Invited talk
-
Enumerative Combinatorics and Applications (Journal)
Sergey Kitaev (Peer reviewer)
2020 → …Activity: Publication peer-review and editorial work types › Journal or guest editorship
-
Foundations and Applications of Univalent Mathematics
Fredrik Nordvall Forsberg (Keynote/plenary speaker)
20 Dec 2019Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences
-
External examiner for Jakob von Raumer's PhD
Fredrik Nordvall Forsberg (Examiner)
6 Dec 2019Activity: Examination types › Examination
-
University College London
Ross Duncan (Visiting researcher)
1 Oct 2019 → 30 Sep 2021Activity: Visiting an external institution types › Visiting an external academic institution
-
Third Statebox Summit
Fredrik Nordvall Forsberg (Invited speaker)
16 Sep 2019 → 21 Sep 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
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
-
Quantitative Methods 2
Martin Halvey (Speaker)
Jun 2019Activity: Talk or presentation types › Invited talk
-
Computational challenges in the theory of word-representable graphs
Sergey Kitaev (Speaker)
24 May 2019Activity: Talk or presentation types › Invited talk
-
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
-
Equidistributions on planar maps via involutions on description trees
Sergey Kitaev (Speaker)
10 Apr 2019Activity: Talk or presentation types › Invited talk
-
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
-
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
-
Exploring the Discovery of Tactics from User Logs
Martin Halvey (Speaker)
Feb 2019Activity: Talk or presentation types › Invited talk
-
External examiner for Matt McDevitt' viva at the University of St Andrews
Sergey Kitaev (Examiner)
2019Activity: Examination types › Examination
-
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
-
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
-
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
-
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
-
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
-
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
-
British Mathematical Colloquium 2018
Sergey Kitaev (Participant)
11 Jun 2018 → 14 Jun 2018Activity: Participating in or organising an event types › Organiser of special symposia
-
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
-
Using Thermal Stimuli to Enhance Photo-Sharing in Social Media
Martin Halvey (Speaker)
27 Apr 2018Activity: Talk or presentation types › Invited talk
-
Compositionality (Journal)
Ross Duncan (Editorial board member)
1 Jan 2018 → 1 Jan 3000Activity: Publication peer-review and editorial work types › Editorial board member
-
Computer And Information Sciences (Organisational unit)
Marilyn Lennon (Advisor)
2018 → …Activity: Membership types › Membership of committee
-
20th International Conference on Human-Computer Interaction with Mobile Devices and Services
Martin Halvey (Organiser)
2018Activity: Participating in or organising an event types › Organiser of major conference
-
Scottish Library and Information Council (External organisation)
Ian Ruthven (Advisor)
1 Nov 2017 → 31 Oct 2020Activity: Membership types › Membership of committee
-
First Statebox Summit
Fredrik Nordvall Forsberg (Invited speaker)
1 Nov 2017 → 3 Nov 2017Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Andrew Collins' Ph.D. defence (viva) at the University of Warwick
Sergey Kitaev (Examiner)
6 Oct 2017Activity: Examination types › Examination
-
One-Day Meeting in Combinatorics, Sungkyunkwan University
Sergey Kitaev (Speaker)
13 Sep 2017Activity: Talk or presentation types › Invited talk
-
A comprehensive introduction to the theory of word-representable graphs
Sergey Kitaev (Speaker)
7 Aug 2017Activity: Talk or presentation types › Invited talk
-
eMEN e-mental health implementation seminar 11th July 2017 in Amsterdam
Marilyn Lennon (Keynote/plenary speaker)
11 Jul 2017Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences
-
26th British Combinatorial Conference
Sergey Kitaev (Participant)
3 Jul 2017 → 7 Jul 2017Activity: Participating in or organising an event types › Organiser of special symposia
-
26th British Combinatorial Conference
Sergey Kitaev (Participant)
3 Jul 2017 → 7 Jul 2017Activity: Participating in or organising an event types › Organiser of major conference
-
Leeds Proofs, Constructions, and Computations Seminar: "Variations on inductive-recursive definitions"
Fredrik Nordvall Forsberg (Invited speaker)
3 May 2017Activity: Talk or presentation types › Invited talk
-
Equity and e-mental health: Can digital technology help us to achieve good mental health for all? Belfast April 2017
Marilyn Lennon (Keynote/plenary speaker)
28 Apr 2017Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences