SICSA

Activities

Activities per year 2004 2021

• 45 Invited talk
• 38 Organiser of major conference
• 27 Membership of committee
• 24 Examination
• 83 More
  • 17 Key-note speaker and plenary lectures at conferences
  • 13 Journal or guest editorship
  • 11 Organiser of special symposia
  • 11 Editorial board member
  • 9 Participation in workshop, seminar, course
  • 6 Visiting an external academic institution
  • 4 Participation in conference
  • 4 Journal peer review
  • 3 Types of Public engagement and outreach - Media article or participation
  • 2 Membership of peer review panel or committee
  • 1 To be assigned
  • 1 Membership of network
  • 1 Oral presentation

Activities per year

Search results

• Nottingham FP Lunch: "Functorial adapters in bidirectional type systems"

  Fredrik Nordvall Forsberg (Invited speaker)

  23 Apr 2021

  Activity: Talk or presentation types › Invited talk

• Budapest Type Theory Seminar: "Quantitative type theory and data types"

  Fredrik Nordvall Forsberg (Invited speaker)

  31 Mar 2021

  Activity: 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 2020

  Activity: Talk or presentation types › Invited talk

• Quantitative Methods 2

  Martin Halvey (Speaker)

  Jun 2019

  Activity: Talk or presentation types › Invited talk

• Computational challenges in the theory of word-representable graphs

  Sergey Kitaev (Speaker)

  24 May 2019

  Activity: Talk or presentation types › Invited talk

• Equidistributions on planar maps via involutions on description trees

  Sergey Kitaev (Speaker)

  10 Apr 2019

  Activity: Talk or presentation types › Invited talk

• Exploring the Discovery of Tactics from User Logs

  Martin Halvey (Speaker)

  Feb 2019

  Activity: Talk or presentation types › Invited talk

• Exploring the Impact of Conversational Strategies for Goal-Oriented Search Tasks

  Martin Halvey (Speaker)

  Oct 2018

  Activity: Talk or presentation types › Invited talk

• Beyond actions: Exploring the discovery of tactics from user logs

  Martin Halvey (Speaker)

  Sep 2018

  Activity: Talk or presentation types › Invited talk

• EUTypes Summer School lecturer: "Introduction to HoTT"

  Fredrik Nordvall Forsberg (Invited speaker)

  8 Aug 2018 → 12 Aug 2018

  Activity: Talk or presentation types › Invited talk

• SICSA Urban Big Data and Health

  Marilyn Lennon (Invited speaker)

  23 Aug 2018

  Activity: Talk or presentation types › Invited talk

• Using Thermal Stimuli to Enhance Photo-Sharing in Social Media

  Martin Halvey (Speaker)

  27 Apr 2018

  Activity: 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 2018

  Activity: Talk or presentation types › Invited talk

• One-Day Meeting in Combinatorics, Sungkyunkwan University

  Sergey Kitaev (Speaker)

  13 Sep 2017

  Activity: Talk or presentation types › Invited talk

• A comprehensive introduction to the theory of word-representable graphs

  Sergey Kitaev (Speaker)

  7 Aug 2017

  Activity: Talk or presentation types › Invited talk

• Leeds Proofs, Constructions, and Computations Seminar: "Variations on inductive-recursive definitions"

  Fredrik Nordvall Forsberg (Invited speaker)

  3 May 2017

  Activity: Talk or presentation types › Invited talk

• Series of five lectures

  Sergey Kitaev (Speaker)

  20 Feb 2017 → 24 Feb 2017

  Activity: 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

• Evaluation of Digital Health in Scotland: Lessons learned

  Marilyn Lennon (Keynote speaker)

  23 Oct 2016

  Activity: Talk or presentation types › Invited talk

• Using Thermal Stimuli to Enhance Photo-Sharing in Social Media

  Martin Halvey (Speaker)

  Oct 2016

  Activity: Talk or presentation types › Invited talk

• Cambridge Logic and Semantics Seminar: "Comprehensive parametric polymorphism"

  Fredrik Nordvall Forsberg (Invited speaker)

  3 May 2016

  Activity: Talk or presentation types › Invited talk

• Ljubljana Foundations Seminar: "Applications and theory of higher inductive types"

  Fredrik Nordvall Forsberg (Invited speaker)

  17 May 2016

  Activity: Talk or presentation types › Invited talk

• On Interacting Frobenius Algebras and Distributive Laws

  Ross Duncan (Invited speaker)

  Apr 2016

  Activity: Talk or presentation types › Invited talk

• A Comparison of Primary and Secondary Relevance Judgements for Real-Life Topics

  Martin Halvey (Speaker)

  Mar 2016

  Activity: Talk or presentation types › Invited talk

• Interacting Frobenius Algebras are Hopf

  Ross Duncan (Invited speaker)

  2 Feb 2016

  Activity: Talk or presentation types › Invited talk

• The Effect of Thermal Stimuli on the Emotional Perception of Images

  Martin Halvey (Speaker)

  Jan 2016

  Activity: Talk or presentation types › Invited talk

• Strong Complementarity in Quantum Computing

  Ross Duncan (Invited speaker)

  Sep 2015

  Activity: Talk or presentation types › Invited talk

• Smartphone and Smarthomes workshop

  Marilyn Lennon (Contributor)

  7 May 2015

  Activity: Talk or presentation types › Invited talk

• Future Cities Engage Event

  Marilyn Lennon (Speaker)

  8 May 2015

  Activity: Talk or presentation types › Invited talk

• LFCS Seminar: "Inductive-inductive definitions in Type Theory"

  Fredrik Nordvall Forsberg (Invited speaker)

  29 Apr 2015

  Activity: Talk or presentation types › Invited talk

• Iinvited talk at Scottish Combinatorics Meeting

  Sergey Kitaev (Speaker)

  29 Apr 2015 → 30 Apr 2015

  Activity: Talk or presentation types › Invited talk

• Comparison of Factors Affecting Judgements for User Defined Search Tasks

  Martin Halvey (Speaker)

  Feb 2015

  Activity: Talk or presentation types › Invited talk

• CHESS and meSch: Digital Storytelling and Tangible Interaction with Cultural Objects

  Areti Damala (Speaker)

  9 Dec 2014

  Activity: Talk or presentation types › Invited talk

• CMU POP Seminar: "Towards a Presentation of General Higher Inductive Types"

  Fredrik Nordvall Forsberg (Invited speaker)

  22 Sep 2014

  Activity: Talk or presentation types › Invited talk

• Stockholm Logic Seminar: "Inductive-inductive definitions in Intuitionistic Type Theory"

  Fredrik Nordvall Forsberg (Invited speaker)

  11 Jun 2014

  Activity: Talk or presentation types › Invited talk

• The Kings Fund: Self-care in the digital age

  Marilyn Lennon (Invited speaker)

  24 Jun 2014

  Activity: Talk or presentation types › Invited talk

• Beyond Actions: The Discovery of Tactics from User Logs

  Martin Halvey (Speaker)

  Mar 2014

  Activity: Talk or presentation types › Invited talk

• Towards Automatic Detection of Search Tactics for Information Seeking

  Martin Halvey (Speaker)

  Mar 2013

  Activity: Talk or presentation types › Invited talk

• Multimedia information retrieval; helped or hindered by text ?

  Martin Halvey (Speaker)

  Mar 2013

  Activity: Talk or presentation types › Invited talk

• Some like it hot: Designing thermal interfaces for mobile devices

  Martin Halvey (Speaker)

  Mar 2013

  Activity: Talk or presentation types › Invited talk

• Engagement and interaction with museum installations

  Eva Hornecker (Contributor)

  22 Sep 2011 → 23 Sep 2011

  Activity: Talk or presentation types › Invited talk

• What makes for an engaging museum installation?

  Eva Hornecker (Contributor)

  21 Jun 2011

  Activity: Talk or presentation types › Invited talk

• Visitor interaction with museum installations in the Berlin Museum of Natural History

  Eva Hornecker (Invited speaker)

  20 May 2010

  Activity: 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 2010

  Activity: Talk or presentation types › Invited talk

• Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010

  Conor McBride (Invited speaker)

  2010

  Activity: Talk or presentation types › Invited talk