SICSA

Activities

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

• 57 Invited talk
• 42 Organiser of major conference
• 36 Membership of committee
• 30 Examination
• 141 More
  • 29 Oral presentation
  • 19 Key-note speaker and plenary lectures at conferences
  • 15 Organiser of special symposia
  • 14 Journal or guest editorship
  • 12 Participation in workshop, seminar, course
  • 12 Editorial board member
  • 8 Visiting an external academic institution
  • 7 Journal peer review
  • 6 Participation in conference
  • 6 Media Participation
  • 4 Other
  • 3 Membership of peer review panel or committee
  • 3 Education Outreach
  • 2 Membership of network
  • 1 To be assigned

Activities per year

Search results

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

  Fredrik Nordvall Forsberg (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

  Fredrik Nordvall Forsberg (Speaker), Tom de Jong (Contributor), Nicolai Kraus (Contributor) & Chuangjie Xu (Contributor)

  12 Jun 2023

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker) & Tom de Jong (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

  Fredrik Nordvall Forsberg (Contributor), Tom de Jong (Speaker), Nicolai Kraus (Contributor) & Chuangjie Xu (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

  Fredrik Nordvall Forsberg (Contributor), Tom de Jong (Speaker), Nicolai Kraus (Contributor) & Chuangjie Xu (Contributor)

  22 Apr 2023

  Activity: Talk or presentation types › Oral presentation

• Types, Thorsten and Theories

  Fredrik Nordvall Forsberg (Speaker)

  12 Oct 2022

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker), Nicolai Kraus (Contributor) & Chuangjie Xu (Contributor)

  21 Sept 2022

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker), Conor McBride (Contributor), Georgi Nakov (Contributor), Guillaume Allais (Contributor), Malin Altenmüller (Contributor) & Craig Roy (Contributor)

  22 Jun 2022

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Contributor), Nicolai Kraus (Speaker) & Chuangjie Xu (Contributor)

  23 Jun 2022

  Activity: Talk or presentation types › Oral presentation

• Unseen and unheard: polypharmacy, older adults and sensory impairment

  Peter Fuzesi (Speaker), Kirsten Broadfoot (Contributor), Marilyn Lennon (Contributor), Sabrina Anne Jacob (Contributor), Leah McAden (Contributor), Annetta Smith (Contributor), Tomas Welsh (Contributor) & Margaret Watson (Contributor)

  2022 → …

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Contributor), Chuangjie Xu (Speaker) & Nicolai Kraus (Contributor)

  21 Sept 2021

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2021: "Functorial Adapters"

  Fredrik Nordvall Forsberg (Speaker) & Conor McBride (Speaker)

  15 Jun 2021

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2021: "Quantitative polynomial functors"

  Fredrik Nordvall Forsberg (Contributor) & Georgi Nakov (Speaker)

  16 Jun 2021

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2021: "Constructive Notions of Ordinals in Homotopy Type Theory"

  Fredrik Nordvall Forsberg (Speaker), Chuangjie Xu (Speaker) & Nicolai Kraus (Speaker)

  14 Jun 2021

  Activity: Talk or presentation types › Oral presentation

• Public engagement talk: "Dimensionally correct by construction: Type systems for programs respecting dimensions"

  Fredrik Nordvall Forsberg (Speaker) & Conor McBride (Speaker)

  15 Jun 2021

  Activity: Talk or presentation types › Oral presentation

• Uniform distribution of resources

  Sergey Kitaev (Speaker)

  9 Mar 2020

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker)

  14 Jun 2019

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker), Thorsten Altenkirch (Contributor), Paolo Capriotti (Contributor), Gabe Dijkstra (Contributor) & Nicolai Kraus (Contributor)

  21 Jun 2018

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker)

  31 Jan 2018

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker), Neil Ghani (Contributor), Conor McBride (Contributor) & Stephan Spahn (Contributor)

  31 May 2017

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker)

  12 May 2017

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker)

  19 Oct 2016

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker)

  5 May 2016

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker), Neil Ghani (Contributor) & Alex Simpson (Contributor)

  23 May 2016

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker)

  7 Oct 2015

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Contributor), Neil Ghani (Contributor) & Federico Orsanigo (Speaker)

  21 May 2015

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Contributor), Thorsten Altenkirch (Contributor), Paolo Capriotti (Contributor) & Gabe Dijkstra (Speaker)

  20 May 2015

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker) & James McKinna (Contributor)

  20 May 2015

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker)

  26 Feb 2014

  Activity: Talk or presentation types › Oral presentation