SICSA

Activities

Activities per year 2004 2008 2011 2014 2015 2016 2017 2018 2019 2021 2022 2024 2025

• 58 Invited talk
• 43 Organiser of major conference
• 37 Membership of committee
• 32 Oral presentation
• 153 More
  • 30 Examination
  • 19 Key-note speaker and plenary lectures at conferences
  • 17 Organiser of special symposia
  • 14 Participation in workshop, seminar, course
  • 14 Journal or guest editorship
  • 12 Editorial board member
  • 9 Visiting an external academic institution
  • 8 Participation in conference
  • 7 Journal peer review
  • 6 Media Participation
  • 5 Membership of network
  • 5 Public Events
  • 4 Education Outreach
  • 1 Membership of peer review panel or committee
  • 1 To be assigned
  • 1 Membership of board

Activities per year

Search results

• Using Dependent Types to Design and Implement an Imperative Language with Multiparty Session Types

  de Muijnck-Hughes, J. (Speaker)

  29 May 2024

  Activity: Talk or presentation types › Invited talk

• Keynote: How AI is transforming Discovery

  Halvey, M. (Speaker)

  24 Nov 2022

  Activity: Talk or presentation types › Invited talk

• Tallinn Computer Science Theory seminar: Constructive taboos for ordinals

  Nordvall Forsberg, F. (Speaker)

  6 Oct 2022

  Activity: Talk or presentation types › Invited talk

• FP Lab lunch: A Demo of TypOS

  Nordvall Forsberg, F. (Speaker)

  14 Oct 2022

  Activity: Talk or presentation types › Invited talk

• Proof and Computation autumn school lecturer: "Universes of data types in constructive type theory"

  Nordvall Forsberg, F. (Speaker)

  26 Sept 2022 → 1 Oct 2022

  Activity: Talk or presentation types › Invited talk

• Colon Capsule Endoscopy - The Scottish Perspective

  Lennon, M. (Speaker)

  21 Apr 2022

  Activity: Talk or presentation types › Invited talk

• Homotopy Type Theory Electronic Seminar Talk: "Different Notions of Ordinals in Homotopy Type Theory"

  Nordvall Forsberg, F. (Speaker)

  3 Mar 2022

  Activity: Talk or presentation types › Invited talk

• Living Labs: An international Perpsective

  Lennon, M. (Speaker)

  25 Nov 2021

  Activity: Talk or presentation types › Invited talk

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

  Nordvall Forsberg, F. (Invited speaker)

  23 Apr 2021

  Activity: Talk or presentation types › Invited talk

• My Professional Digital Health Journey

  Lennon, M. (Speaker)

  9 Apr 2021

  Activity: Talk or presentation types › Invited talk

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

  Nordvall Forsberg, F. (Invited speaker)

  31 Mar 2021

  Activity: Talk or presentation types › Invited talk

• Conversations on Mixed Reality (digital health series)

  Lennon, M. (Speaker)

  9 Feb 2021

  Activity: Talk or presentation types › Invited talk

• CRUK virtual series – the early detection and diagnosis roadmap, creating the future

  Lennon, M. (Speaker)

  10 Feb 2021

  Activity: Talk or presentation types › Invited talk

• LFCS Seminar: "Ordinal notation systems for ordinals below ε0 in modern type theories"

  Nordvall Forsberg, F. (Invited speaker)

  4 Feb 2020

  Activity: Talk or presentation types › Invited talk

• Quantitative Methods 2

  Halvey, M. (Speaker)

  Jun 2019

  Activity: Talk or presentation types › Invited talk

• Computational challenges in the theory of word-representable graphs

  Kitaev, S. (Speaker)

  24 May 2019

  Activity: Talk or presentation types › Invited talk

• Equidistributions on planar maps via involutions on description trees

  Kitaev, S. (Speaker)

  10 Apr 2019

  Activity: Talk or presentation types › Invited talk

• Exploring the Discovery of Tactics from User Logs

  Halvey, M. (Speaker)

  Feb 2019

  Activity: Talk or presentation types › Invited talk

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

  Halvey, M. (Speaker)

  Oct 2018

  Activity: Talk or presentation types › Invited talk

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

  Halvey, M. (Speaker)

  Sept 2018

  Activity: Talk or presentation types › Invited talk

• SICSA Urban Big Data and Health

  Lennon, M. (Invited speaker)

  23 Aug 2018

  Activity: Talk or presentation types › Invited talk

• EUTypes Summer School lecturer: "Introduction to HoTT"

  Nordvall Forsberg, F. (Invited speaker)

  8 Aug 2018 → 12 Aug 2018

  Activity: Talk or presentation types › Invited talk

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

  Halvey, M. (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"

  Nordvall Forsberg, F. (Invited speaker)

  30 Apr 2018

  Activity: Talk or presentation types › Invited talk

• Ljubljana Foundations seminar: "Alternative coding systems for inductive-recursive definitions"

  Nordvall Forsberg, F. (Speaker)

  21 Nov 2017

  Activity: Talk or presentation types › Invited talk

• One-Day Meeting in Combinatorics, Sungkyunkwan University

  Kitaev, S. (Speaker)

  13 Sept 2017

  Activity: Talk or presentation types › Invited talk

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

  Kitaev, S. (Speaker)

  7 Aug 2017

  Activity: Talk or presentation types › Invited talk

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

  Nordvall Forsberg, F. (Invited speaker)

  3 May 2017

  Activity: Talk or presentation types › Invited talk

• Series of five lectures

  Kitaev, S. (Speaker)

  20 Feb 2017 → 24 Feb 2017

  Activity: Talk or presentation types › Invited talk

• University of Texas Austin iSchool iForum Series Invited Speaker

  Buchanan, S. (Invited speaker)

  2017 → …

  Activity: Talk or presentation types › Invited talk

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

  Halvey, M. (Speaker)

  Oct 2016

  Activity: Talk or presentation types › Invited talk

• Evaluation of Digital Health in Scotland: Lessons learned

  Lennon, M. (Keynote speaker)

  23 Oct 2016

  Activity: Talk or presentation types › Invited talk

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

  Nordvall Forsberg, F. (Invited speaker)

  3 May 2016

  Activity: Talk or presentation types › Invited talk

• LFCS Seminar: "Comprehensive parametric polymorphism"

  Nordvall Forsberg, F. (Speaker)

  3 May 2016

  Activity: Talk or presentation types › Invited talk

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

  Nordvall Forsberg, F. (Invited speaker)

  17 May 2016

  Activity: Talk or presentation types › Invited talk

• On Interacting Frobenius Algebras and Distributive Laws

  Duncan, R. (Invited speaker)

  Apr 2016

  Activity: Talk or presentation types › Invited talk

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

  Halvey, M. (Speaker)

  Mar 2016

  Activity: Talk or presentation types › Invited talk

• Interacting Frobenius Algebras are Hopf

  Duncan, R. (Invited speaker)

  2 Feb 2016

  Activity: Talk or presentation types › Invited talk

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

  Halvey, M. (Speaker)

  Jan 2016

  Activity: Talk or presentation types › Invited talk

• Strong Complementarity in Quantum Computing

  Duncan, R. (Invited speaker)

  Sept 2015

  Activity: Talk or presentation types › Invited talk

• Smartphone and Smarthomes workshop

  Lennon, M. (Contributor)

  7 May 2015

  Activity: Talk or presentation types › Invited talk

• Future Cities Engage Event

  Lennon, M. (Speaker)

  8 May 2015

  Activity: Talk or presentation types › Invited talk

• Iinvited talk at Scottish Combinatorics Meeting

  Kitaev, S. (Speaker)

  29 Apr 2015 → 30 Apr 2015

  Activity: Talk or presentation types › Invited talk

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

  Nordvall Forsberg, F. (Invited speaker)

  29 Apr 2015

  Activity: Talk or presentation types › Invited talk

• Comparison of Factors Affecting Judgements for User Defined Search Tasks

  Halvey, M. (Speaker)

  Feb 2015

  Activity: Talk or presentation types › Invited talk

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

  Damala, A. (Speaker)

  9 Dec 2014

  Activity: Talk or presentation types › Invited talk

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

  Nordvall Forsberg, F. (Invited speaker)

  22 Sept 2014

  Activity: Talk or presentation types › Invited talk

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

  Nordvall Forsberg, F. (Invited speaker)

  11 Jun 2014

  Activity: Talk or presentation types › Invited talk

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

  Lennon, M. (Invited speaker)

  24 Jun 2014

  Activity: Talk or presentation types › Invited talk

• Beyond Actions: The Discovery of Tactics from User Logs

  Halvey, M. (Speaker)

  Mar 2014

  Activity: Talk or presentation types › Invited talk