Activities per year
Activities
- 46 results
Search results
-
Homotopy Type Theory Electronic Seminar Talk: "Different Notions of Ordinals in Homotopy Type Theory"
Fredrik Nordvall Forsberg (Speaker)
3 Mar 2022Activity: Talk or presentation types › Invited talk
-
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
-
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
-
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
-
Equidistributions on planar maps via involutions on description trees
Sergey Kitaev (Speaker)
10 Apr 2019Activity: Talk or presentation types › Invited talk
-
Exploring the Discovery of Tactics from User Logs
Martin Halvey (Speaker)
Feb 2019Activity: Talk or presentation types › Invited talk
-
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
-
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
-
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
-
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
-
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
-
Series of five lectures
Sergey Kitaev (Speaker)
20 Feb 2017 → 24 Feb 2017Activity: Talk or presentation types › Invited talk
-
University of Texas Austin iSchool iForum Series Invited Speaker
Steven Buchanan (Invited speaker)
2017 → …Activity: Talk or presentation types › Invited talk
-
Using Thermal Stimuli to Enhance Photo-Sharing in Social Media
Martin Halvey (Speaker)
Oct 2016Activity: Talk or presentation types › Invited talk
-
Evaluation of Digital Health in Scotland: Lessons learned
Marilyn Lennon (Keynote speaker)
23 Oct 2016Activity: Talk or presentation types › Invited talk
-
Ljubljana Foundations Seminar: "Applications and theory of higher inductive types"
Fredrik Nordvall Forsberg (Invited speaker)
17 May 2016Activity: Talk or presentation types › Invited talk
-
Cambridge Logic and Semantics Seminar: "Comprehensive parametric polymorphism"
Fredrik Nordvall Forsberg (Invited speaker)
3 May 2016Activity: Talk or presentation types › Invited talk
-
On Interacting Frobenius Algebras and Distributive Laws
Ross Duncan (Invited speaker)
Apr 2016Activity: Talk or presentation types › Invited talk
-
A Comparison of Primary and Secondary Relevance Judgements for Real-Life Topics
Martin Halvey (Speaker)
Mar 2016Activity: Talk or presentation types › Invited talk
-
Interacting Frobenius Algebras are Hopf
Ross Duncan (Invited speaker)
2 Feb 2016Activity: Talk or presentation types › Invited talk
-
The Effect of Thermal Stimuli on the Emotional Perception of Images
Martin Halvey (Speaker)
Jan 2016Activity: Talk or presentation types › Invited talk
-
Strong Complementarity in Quantum Computing
Ross Duncan (Invited speaker)
Sep 2015Activity: Talk or presentation types › Invited talk
-
Future Cities Engage Event
Marilyn Lennon (Speaker)
8 May 2015Activity: Talk or presentation types › Invited talk
-
Smartphone and Smarthomes workshop
Marilyn Lennon (Contributor)
7 May 2015Activity: Talk or presentation types › Invited talk
-
LFCS Seminar: "Inductive-inductive definitions in Type Theory"
Fredrik Nordvall Forsberg (Invited speaker)
29 Apr 2015Activity: Talk or presentation types › Invited talk
-
Iinvited talk at Scottish Combinatorics Meeting
Sergey Kitaev (Speaker)
29 Apr 2015 → 30 Apr 2015Activity: Talk or presentation types › Invited talk
-
Comparison of Factors Affecting Judgements for User Defined Search Tasks
Martin Halvey (Speaker)
Feb 2015Activity: Talk or presentation types › Invited talk
-
CHESS and meSch: Digital Storytelling and Tangible Interaction with Cultural Objects
Areti Damala (Speaker)
9 Dec 2014Activity: Talk or presentation types › Invited talk
-
CMU POP Seminar: "Towards a Presentation of General Higher Inductive Types"
Fredrik Nordvall Forsberg (Invited speaker)
22 Sep 2014Activity: Talk or presentation types › Invited talk
-
Stockholm Logic Seminar: "Inductive-inductive definitions in Intuitionistic Type Theory"
Fredrik Nordvall Forsberg (Invited speaker)
11 Jun 2014Activity: Talk or presentation types › Invited talk
-
The Kings Fund: Self-care in the digital age
Marilyn Lennon (Invited speaker)
24 Jun 2014Activity: Talk or presentation types › Invited talk
-
Beyond Actions: The Discovery of Tactics from User Logs
Martin Halvey (Speaker)
Mar 2014Activity: Talk or presentation types › Invited talk
-
Towards Automatic Detection of Search Tactics for Information Seeking
Martin Halvey (Speaker)
Mar 2013Activity: Talk or presentation types › Invited talk
-
Some like it hot: Designing thermal interfaces for mobile devices
Martin Halvey (Speaker)
Mar 2013Activity: Talk or presentation types › Invited talk
-
Multimedia information retrieval; helped or hindered by text ?
Martin Halvey (Speaker)
Mar 2013Activity: Talk or presentation types › Invited talk
-
Engagement and interaction with museum installations
Eva Hornecker (Contributor)
22 Sep 2011 → 23 Sep 2011Activity: Talk or presentation types › Invited talk
-
What makes for an engaging museum installation?
Eva Hornecker (Contributor)
21 Jun 2011Activity: Talk or presentation types › Invited talk
-
Visitor interaction with museum installations in the Berlin Museum of Natural History
Eva Hornecker (Invited speaker)
20 May 2010Activity: Talk or presentation types › Invited talk
-
talk: The Interweaving of the Physical and the Social - A Framework on Tangible Interaction and its Use in Form of a Brainstorming Card Game Exercise.
Eva Hornecker (Speaker)
14 Apr 2010Activity: Talk or presentation types › Invited talk
-
Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010
Conor McBride (Invited speaker)
2010Activity: Talk or presentation types › Invited talk