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

• Contributed talk TYPES 2024: "Extensional Finite Sets and Multisets in Type Theory"

  Nordvall Forsberg, F. (Contributor), Watters, S. (Speaker) & Kupke, C. (Contributor)

  13 Jun 2024

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2024: "Constructive Ordinal Exponentiation in Homotopy Type Theory"

  Nordvall Forsberg, F. (Speaker), Xu, C. (Contributor), Kraus, N. (Contributor) & de Jong, T. (Contributor)

  13 Jun 2024

  Activity: Talk or presentation types › Oral presentation

• Contributed talk HoTT/UF 2024: "Ordinal exponentiation in homotopy type theory"

  Nordvall Forsberg, F. (Speaker), de Jong, T. (Contributor), Kraus, N. (Contributor) & Xu, C. (Contributor)

  2 Apr 2024

  Activity: Talk or presentation types › Oral presentation

• SPLS seminar: Set theory or type theory? It doesn't matter! (For ordinals)

  Nordvall Forsberg, F. (Speaker)

  7 Jun 2023

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2023: The ordinals in set theory and type theory are the same

  Nordvall Forsberg, F. (Speaker), de Jong, T. (Contributor), Kraus, N. (Contributor) & Xu, C. (Contributor)

  12 Jun 2023

  Activity: Talk or presentation types › Oral presentation

• Contributed talk CIRM: The set-theoretic and type-theoretic ordinals are the same

  Nordvall Forsberg, F. (Speaker) & de Jong, T. (Speaker)

  4 May 2023

  Activity: Talk or presentation types › Oral presentation

• Contributed talk HoTT 2023: Relating ordinals in set theory to ordinals in type theory

  Nordvall Forsberg, F. (Contributor), de Jong, T. (Speaker), Kraus, N. (Contributor) & Xu, C. (Contributor)

  22 May 2023

  Activity: Talk or presentation types › Oral presentation

• Contributed talk HoTT/UF 2023: Relating ordinals in set theory to ordinals in type theory

  Nordvall Forsberg, F. (Contributor), de Jong, T. (Speaker), Kraus, N. (Contributor) & Xu, C. (Contributor)

  22 Apr 2023

  Activity: Talk or presentation types › Oral presentation

• Types, Thorsten and Theories

  Nordvall Forsberg, F. (Speaker)

  12 Oct 2022

  Activity: Talk or presentation types › Oral presentation

• Contributed talk CCC 2022: Constructivity Aspects of Brouwer Tree Ordinals

  Nordvall Forsberg, F. (Speaker), Kraus, N. (Contributor) & Xu, C. (Contributor)

  21 Sept 2022

  Activity: Talk or presentation types › Oral presentation

• Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors

  Nordvall Forsberg, F. (Speaker), McBride, C. (Contributor), Nakov, G. (Contributor), Allais, G. (Contributor), Altenmüller, M. (Contributor) & Roy, C. (Contributor)

  22 Jun 2022

  Activity: Talk or presentation types › Oral presentation

• Contributed long talk TYPES 2022: Decidability and Semidecidability via Ordinals

  Nordvall Forsberg, F. (Contributor), Kraus, N. (Speaker) & Xu, C. (Contributor)

  23 Jun 2022

  Activity: Talk or presentation types › Oral presentation

• 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

• Contributed talk CCC 2021: A Certified Library of Ordinal Arithmetic

  Nordvall Forsberg, F. (Contributor), Xu, C. (Speaker) & Kraus, N. (Contributor)

  21 Sept 2021

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

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2021: "Quantitative polynomial functors"

  Nordvall Forsberg, F. (Contributor) & Nakov, G. (Speaker)

  16 Jun 2021

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2021: "Functorial Adapters"

  Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)

  15 Jun 2021

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

  Activity: Talk or presentation types › Oral presentation

• Uniform distribution of resources

  Kitaev, S. (Speaker)

  9 Mar 2020

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2019: "Compositional Game Theory in Type Theory"

  Nordvall Forsberg, F. (Speaker)

  14 Jun 2019

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2018: "Specifying quotient inductive-inductive types"

  Nordvall Forsberg, F. (Speaker), Altenkirch, T. (Contributor), Capriotti, P. (Contributor), Dijkstra, G. (Contributor) & Kraus, N. (Contributor)

  21 Jun 2018

  Activity: Talk or presentation types › Oral presentation

• Contributed talk AIM XXVI: "Quotient inductive-inductive types: initiality and induction"

  Nordvall Forsberg, F. (Speaker)

  31 Jan 2018

  Activity: Talk or presentation types › Oral presentation

• Contributed talk AIM XXV: "Variations on inductive-recursive defnitions"

  Nordvall Forsberg, F. (Speaker)

  12 May 2017

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2017: "Variations on inductive-recursive defnitions closed under composition"

  Nordvall Forsberg, F. (Speaker), Ghani, N. (Contributor), McBride, C. (Contributor) & Spahn, S. (Contributor)

  31 May 2017

  Activity: Talk or presentation types › Oral presentation

• Departmental seminar: "Expressive data types for programming languages and verification"

  Nordvall Forsberg, F. (Speaker)

  19 Oct 2016

  Activity: Talk or presentation types › Oral presentation

• Contributed talk PCC 2016: "A Type Theory for Comprehensive Parametric Polymorphism"

  Nordvall Forsberg, F. (Speaker)

  5 May 2016

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2016: "A Type Theory for Comprehensive Parametric Polymorphism"

  Nordvall Forsberg, F. (Speaker), Ghani, N. (Contributor) & Simpson, A. (Contributor)

  23 May 2016

  Activity: Talk or presentation types › Oral presentation

• Scottish Theorem Proving seminar: "The encode-decode method in HoTT, relationally"

  Nordvall Forsberg, F. (Speaker)

  7 Oct 2015

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2015: "The encode-decode method, relationally"

  Nordvall Forsberg, F. (Speaker) & McKinna, J. (Contributor)

  20 May 2015

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2015: "Two-dimensional proof-relevant parametricity"

  Nordvall Forsberg, F. (Contributor), Ghani, N. (Contributor) & Orsanigo, F. (Speaker)

  21 May 2015

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2015: "Towards a theory of higher inductive types"

  Nordvall Forsberg, F. (Contributor), Altenkirch, T. (Contributor), Capriotti, P. (Contributor) & Dijkstra, G. (Speaker)

  20 May 2015

  Activity: Talk or presentation types › Oral presentation

• Scottish Programming Languages Seminar: "Restricted dependent bounded linear types for arbitrary resources"

  Nordvall Forsberg, F. (Speaker)

  26 Feb 2014

  Activity: Talk or presentation types › Oral presentation