Fredrik Nordvall Forsberg

Search results

• Scottish Programming Languages and Verification Summer School 2024

  Guillaume Allais (Organiser), Sean Watters (Organiser), Bob Atkey (Organiser), Fredrik Nordvall Forsberg (Organiser), Conor Mc Bride (Organiser), Jan de Muijnck-Hughes (Organiser), Alasdair Lambert (Organiser), Malin Altenmüller (Organiser) & Clemens Kupke (Organiser)

  29 Jul 2024 → 2 Aug 2024

  Activity: Participating in or organising an event types › Organiser of special symposia

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

  Fredrik Nordvall Forsberg (Contributor), Sean Watters (Speaker) & Clemens Kupke (Contributor)

  13 Jun 2024

  Activity: Talk or presentation types › Oral presentation

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

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

  13 Jun 2024

  Activity: Talk or presentation types › Oral presentation

• Hausdorff Research Institute for Mathematics

  Fredrik Nordvall Forsberg (Visiting researcher)

  26 May 2024 → 8 Jun 2024

  Activity: Visiting an external institution types › Visiting an external academic institution

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

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

  2 Apr 2024

  Activity: Talk or presentation types › Oral presentation

• TYPES steering committee (External organisation)

  Fredrik Nordvall Forsberg (Member)

  2024 → 2027

  Activity: Membership types › Membership of board

• Scottish Programming Languages Seminar Series

  Jan de Muijnck-Hughes (Organiser), Fredrik Nordvall Forsberg (Organiser), Riu Rodriguez Sakamoto (Organiser) & Dilsat Bilal YUKSEL (Organiser)

  22 Nov 2023

  Activity: Participating in or organising an event types › Organiser of special symposia

• 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

• Théorie des types, mathématiques constructives et logique géométrique

  Fredrik Nordvall Forsberg (Participant)

  1 May 2023 → 5 May 2023

  Activity: Participating in or organising an event types › Participation in conference

• 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 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/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

• Augsburg Workshop on Internal Methods

  Fredrik Nordvall Forsberg (Keynote/plenary speaker)

  12 Dec 2022

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• Tallinn Computer Science Theory seminar: Constructive taboos for ordinals

  Fredrik Nordvall Forsberg (Speaker)

  6 Oct 2022

  Activity: Talk or presentation types › Invited talk

• Types, Thorsten and Theories

  Fredrik Nordvall Forsberg (Speaker)

  12 Oct 2022

  Activity: Talk or presentation types › Oral presentation

• FP Lab lunch: A Demo of TypOS

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

  Fredrik Nordvall Forsberg (Speaker)

  26 Sept 2022 → 1 Oct 2022

  Activity: Talk or presentation types › Invited talk

• 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

• Applied Category Theory 2022

  Fredrik Nordvall Forsberg (Organiser), Jade Master (Organiser), Julian Hedges (Organiser) & James Fairbanks (Organiser)

  18 Jul 2022 → 22 Jul 2022

  Activity: Participating in or organising an event types › Organiser of major conference

• 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

• Proof and Computation 2022

  Fredrik Nordvall Forsberg (Invited speaker)

  31 May 2022

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

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

  Fredrik Nordvall Forsberg (Speaker)

  3 Mar 2022

  Activity: Talk or presentation types › Invited talk

• Topos Institute 2nd Workshop on Polynomial Functors

  Fredrik Nordvall Forsberg (Invited speaker)

  14 Mar 2022

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• External examiner for Andras Kovacs' PhD

  Fredrik Nordvall Forsberg (Examiner)

  11 Feb 2022

  Activity: Examination types › Examination

• CIS PGR Seminar: Paper Writing

  Fredrik Nordvall Forsberg (Recipient)

  23 Feb 2022

  Activity: Public Engagement and Outreach › Public Events

• 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

• NPL Data Science Seminar: "Typed functional programming: helping the compiler help you"

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

  13 Jul 2021

  Activity: Public Engagement and Outreach › Public Events

• 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

• 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

• 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

• 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

• Topos Institute Workshop on Polynomial Functors

  Fredrik Nordvall Forsberg (Invited speaker)

  19 Mar 2021

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• 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

• Foundations and Applications of Univalent Mathematics

  Fredrik Nordvall Forsberg (Keynote/plenary speaker)

  20 Dec 2019

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• External examiner for Jakob von Raumer's PhD

  Fredrik Nordvall Forsberg (Examiner)

  6 Dec 2019

  Activity: Examination types › Examination

• Third Statebox Summit

  Fredrik Nordvall Forsberg (Invited speaker)

  16 Sept 2019 → 21 Sept 2019

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Scottish Programming Languages and Verification Summer School 2019

  Fredrik Nordvall Forsberg (Organiser), Clemens Kupke (Organiser) & Bob Atkey (Organiser)

  5 Aug 2019 → 9 Aug 2019

  Activity: Participating in or organising an event types › Organiser of special symposia

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

  Fredrik Nordvall Forsberg (Speaker)

  14 Jun 2019

  Activity: Talk or presentation types › Oral presentation

• TYPES in Munich

  Fredrik Nordvall Forsberg (Keynote/plenary speaker)

  7 Jun 2019

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• Second Symposium on Compositional Structures

  Fredrik Nordvall Forsberg (Organiser)

  17 Dec 2018

  Activity: Participating in or organising an event types › Organiser of special symposia

• 23rd International Conference on Types for Proofs and Programs (Event)

  Fredrik Nordvall Forsberg (Guest editor)

  Dec 2018

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• Second Statebox Summit

  Fredrik Nordvall Forsberg (Participant)

  8 Sept 2018 → 15 Sept 2018

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• 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 PhD Conference 2018

  Fredrik Nordvall Forsberg (Speaker) & Stuart Alexander Hannah (Speaker)

  29 Jun 2018

  Activity: Public Engagement and Outreach › Public Events

• 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

• 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