Activities per year
Activities
- 50 - 100 out of 331 results
Search results
-
Topos Institute 2nd Workshop on Polynomial Functors
Nordvall Forsberg, F. (Invited speaker)
14 Mar 2022Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences
-
CIS PGR Seminar: Paper Writing
Nordvall Forsberg, F. (Recipient)
23 Feb 2022Activity: Public Engagement and Outreach › Public Events
-
EPSRC and NIHR grant review panel member (healthcare technologies) (Event)
Lennon, M. (Peer reviewer)
23 Feb 2022Activity: Publication peer-review and editorial work types › Journal peer review
-
External examiner for Andras Kovacs' PhD
Nordvall Forsberg, F. (Examiner)
11 Feb 2022Activity: Examination types › Examination
-
University of Dundee (External organisation)
Lennon, M. (Advisor)
2022Activity: Membership types › Membership of committee
-
Scottish Programming Languages Institute (External organisation)
de Muijnck-Hughes, J. (Advisor)
2022 → …Activity: Membership types › Membership of network
-
Unseen and unheard: polypharmacy, older adults and sensory impairment
Fuzesi, P. (Speaker), Broadfoot, K. (Contributor), Lennon, M. (Contributor), Jacob, S. A. (Contributor), McAden, L. (Contributor), Smith, A. (Contributor), Welsh, T. (Contributor) & Watson, M. (Contributor)
2022 → …Activity: Talk or presentation types › Oral presentation
-
IAA Workshop - Strathclyde Citizen Science IAA Call Workshop
Lennon, M. (Participant)
13 Dec 2021Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Living Labs: An international Perpsective
Lennon, M. (Speaker)
25 Nov 2021Activity: Talk or presentation types › Invited talk
-
Contributed talk CCC 2021: A Certified Library of Ordinal Arithmetic
Nordvall Forsberg, F. (Contributor), Xu, C. (Speaker) & Kraus, N. (Contributor)
21 Sept 2021Activity: Talk or presentation types › Oral presentation
-
IEEE International Conference on Artificial Intelligence Testing (AITest)
Roper, M. (Chair)
23 Aug 2021 → 26 Aug 2021Activity: Participating in or organising an event types › Organiser of major conference
-
NPL Data Science Seminar: "Typed functional programming: helping the compiler help you"
Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)
13 Jul 2021Activity: Public Engagement and Outreach › Public Events
-
Contributed talk TYPES 2021: "Quantitative polynomial functors"
Nordvall Forsberg, F. (Contributor) & Nakov, G. (Speaker)
16 Jun 2021Activity: Talk or presentation types › Oral presentation
-
Public engagement talk: "Dimensionally correct by construction: Type systems for programs respecting dimensions"
Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)
15 Jun 2021Activity: Talk or presentation types › Oral presentation
-
Contributed talk TYPES 2021: "Functorial Adapters"
Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)
15 Jun 2021Activity: Talk or presentation types › Oral presentation
-
Contributed talk TYPES 2021: "Constructive Notions of Ordinals in Homotopy Type Theory"
Nordvall Forsberg, F. (Speaker), Xu, C. (Speaker) & Kraus, N. (Speaker)
14 Jun 2021Activity: Talk or presentation types › Oral presentation
-
Engage with Strathclyde
Lennon, M. (Participant)
7 May 2021Activity: Participating in or organising an event types › Organiser of special symposia
-
My Professional Digital Health Journey
Lennon, M. (Speaker)
9 Apr 2021Activity: Talk or presentation types › Invited talk
-
Nottingham FP Lunch: "Functorial adapters in bidirectional type systems"
Nordvall Forsberg, F. (Invited speaker)
23 Apr 2021Activity: Talk or presentation types › Invited talk
-
Budapest Type Theory Seminar: "Quantitative type theory and data types"
Nordvall Forsberg, F. (Invited speaker)
31 Mar 2021Activity: Talk or presentation types › Invited talk
-
Topos Institute Workshop on Polynomial Functors
Nordvall Forsberg, F. (Invited speaker)
19 Mar 2021Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences
-
CRUK virtual series – the early detection and diagnosis roadmap, creating the future
Lennon, M. (Speaker)
10 Feb 2021Activity: Talk or presentation types › Invited talk
-
-
Conversations on Mixed Reality (digital health series)
Lennon, M. (Speaker)
9 Feb 2021Activity: Talk or presentation types › Invited talk
-
University of Pretoria
Ruthven, I. (Visiting researcher)
1 Jan 2021 → 31 Dec 2022Activity: Visiting an external institution types › Visiting an external academic institution
-
ACM SIGCHI (External organisation)
Lennon, M. (Advisor)
1 Jan 2021 → 1 Jan 2022Activity: Membership types › Membership of committee
-
Enumerative Combinatorics and Applications (Journal)
Bevan, D. (Guest editor), Kitaev, S. (Editor) & Steingrimsson, E. (Editor)
2021 → 2022Activity: Publication peer-review and editorial work types › Journal or guest editorship
-
IEEE International Conference On Artificial Intelligence Testing (AITest)
Roper, M. (Chair)
3 Aug 2020 → 6 Aug 2020Activity: Participating in or organising an event types › Organiser of major conference
-
External Examiner Undergraduate Computing Programmes
Halvey, M. (Examiner)
1 May 2020 → 30 Apr 2024Activity: Examination types › Examination
-
Uniform distribution of resources
Kitaev, S. (Speaker)
9 Mar 2020Activity: Talk or presentation types › Oral presentation
-
LFCS Seminar: "Ordinal notation systems for ordinals below ε0 in modern type theories"
Nordvall Forsberg, F. (Invited speaker)
4 Feb 2020Activity: Talk or presentation types › Invited talk
-
Digital Health & Care Innovation Centre (D.H.I.) (Organisational unit)
Lennon, M. (Advisor)
1 Jan 2020 → 1 Jan 2021Activity: Membership types › Membership of committee
-
Commercial Engagement (Medallia)
Lennon, M. (Recipient)
2020 → 2022Activity: Public Engagement and Outreach › Media Participation
-
Mobile HCI conference Associate Chair (Programme Commitee and reviewer)
Lennon, M. (Participant)
2020 → 2021Activity: Participating in or organising an event types › Participation in conference
-
University Of Strathclyde (Organisational unit)
Lennon, M. (Advisor)
2020 → 2022Activity: Membership types › Membership of committee
-
Computer And Information Sciences (Organisational unit)
Lennon, M. (Advisor)
2020 → 2022Activity: Membership types › Membership of committee
-
European Associaton for Programming Languages and Systems (External organisation)
de Muijnck-Hughes, J. (Advisor)
2020 → …Activity: Membership types › Membership of network
-
Enumerative Combinatorics and Applications (Journal)
Kitaev, S. (Peer reviewer)
2020 → …Activity: Publication peer-review and editorial work types › Journal or guest editorship
-
Foundations and Applications of Univalent Mathematics
Nordvall Forsberg, F. (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
Nordvall Forsberg, F. (Examiner)
6 Dec 2019Activity: Examination types › Examination
-
University College London
Duncan, R. (Visiting researcher)
1 Oct 2019 → 30 Sept 2021Activity: Visiting an external institution types › Visiting an external academic institution
-
University Of Strathclyde (Organisational unit)
Lennon, M. (Advisor)
10 Oct 2019 → 31 Dec 2022Activity: Membership types › Membership of committee
-
Third Statebox Summit
Nordvall Forsberg, F. (Invited speaker)
16 Sept 2019 → 21 Sept 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Connected Places Exploration Workshop
Ghani, N. (Participant)
26 Sept 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Scottish Programming Languages and Verification Summer School 2019
Nordvall Forsberg, F. (Organiser), Kupke, C. (Organiser) & Atkey, B. (Organiser)
5 Aug 2019 → 9 Aug 2019Activity: Participating in or organising an event types › Organiser of special symposia
-
International Perspectives on Cybercrime
Weir, G. (Participant)
19 Aug 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
TYPES in Munich
Nordvall Forsberg, F. (Keynote/plenary speaker)
7 Jun 2019Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences
-
Quantitative Methods 2
Halvey, M. (Speaker)
Jun 2019Activity: Talk or presentation types › Invited talk
-
Contributed talk TYPES 2019: "Compositional Game Theory in Type Theory"
Nordvall Forsberg, F. (Speaker)
14 Jun 2019Activity: Talk or presentation types › Oral presentation
-
ACM CHI Conference on Human Factors in Computing Systems
Halvey, M. (Organiser)
May 2019Activity: Participating in or organising an event types › Organiser of major conference