Mathematically Structured Programming

Activities

Activities per year 2008 2016 2017 2018 2019 2022

• 24 Invited talk
• 8 Participation in workshop, seminar, course
• 8 Examination
• 7 Key-note speaker and plenary lectures at conferences
• 19 More
  • 4 Participation in conference
  • 4 Organiser of special symposia
  • 3 Journal or guest editorship
  • 3 Membership of peer review panel or committee
  • 2 Organiser of major conference
  • 2 Oral presentation
  • 1 Membership of committee

Activities per year

Search results

• 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

• GReTA Seminar: Rule-based models of epidemics

  William Waites (Speaker)

  28 Jan 2022

  Activity: Talk or presentation types › Invited talk

• 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

• Invited Talk “Resource Constrained Programming with Full Dependent Types”

  Bob Atkey (Speaker)

  23 Jan 2020

  Activity: Talk or presentation types › Invited talk

• Invited talk “Type Theory and Sympathy”

  Bob Atkey (Speaker)

  9 Dec 2019

  Activity: Talk or presentation types › Invited talk

• Invited Talk “Reviews: Writing, Reading, and Responding”

  Bob Atkey (Speaker)

  22 Jun 2019

  Activity: Talk or presentation types › Invited talk

• Invited talk “One monad to the tune of another”

  Bob Atkey (Speaker)

  23 Jun 2019

  Activity: Talk or presentation types › Invited talk

• Invited talk “Syntax and Semantics of Quantitative Type Theory”

  Bob Atkey (Speaker)

  6 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

• 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

• 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

• Invited talk “Classical Linear Logic Considered as a Programming Language”

  Bob Atkey (Speaker)

  29 Jul 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

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

  Fredrik Nordvall Forsberg (Invited speaker)

  3 May 2016

  Activity: Talk or presentation types › Invited talk

• Invited talk “Generalising Abstraction”

  Bob Atkey (Speaker)

  23 Jan 2016

  Activity: Talk or presentation types › Invited talk

• Invited talk “Productive Coprogramming with Guarded Recursion”

  Bob Atkey (Speaker)

  5 Nov 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

• 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

• Invited talk “Relational Parametricity beyond Type Abstraction”

  Bob Atkey (Speaker)

  12 Apr 2014

  Activity: Talk or presentation types › Invited talk

• Invited talk “From Parametricity to Conservation Laws, via Noether’s Theorem”

  Bob Atkey (Speaker)

  8 Nov 2013

  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