Activities per year
Activities
 24 results
Search results

Homotopy Type Theory Electronic Seminar Talk: "Different Notions of Ordinals in Homotopy Type Theory"
Fredrik Nordvall Forsberg (Speaker)
3 Mar 2022Activity: Talk or presentation types › Invited talk

GReTA Seminar: Rulebased models of epidemics
William Waites (Speaker)
28 Jan 2022Activity: Talk or presentation types › Invited talk

Nottingham FP Lunch: "Functorial adapters in bidirectional type systems"
Fredrik Nordvall Forsberg (Invited speaker)
23 Apr 2021Activity: Talk or presentation types › Invited talk

Budapest Type Theory Seminar: "Quantitative type theory and data types"
Fredrik Nordvall Forsberg (Invited speaker)
31 Mar 2021Activity: 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 2020Activity: Talk or presentation types › Invited talk

Invited Talk “Resource Constrained Programming with Full Dependent Types”
Bob Atkey (Speaker)
23 Jan 2020Activity: Talk or presentation types › Invited talk

Invited talk “Type Theory and Sympathy”
Bob Atkey (Speaker)
9 Dec 2019Activity: Talk or presentation types › Invited talk

Invited Talk “Reviews: Writing, Reading, and Responding”
Bob Atkey (Speaker)
22 Jun 2019Activity: Talk or presentation types › Invited talk

Invited talk “One monad to the tune of another”
Bob Atkey (Speaker)
23 Jun 2019Activity: Talk or presentation types › Invited talk

Invited talk “Syntax and Semantics of Quantitative Type Theory”
Bob Atkey (Speaker)
6 Sep 2018Activity: Talk or presentation types › Invited talk

EUTypes Summer School lecturer: "Introduction to HoTT"
Fredrik Nordvall Forsberg (Invited speaker)
8 Aug 2018 → 12 Aug 2018Activity: Talk or presentation types › Invited talk

LMU Munich Oberseminar Mathematische Logik: "Mutual data types with equalities: quotient inductiveinductive types"
Fredrik Nordvall Forsberg (Invited speaker)
30 Apr 2018Activity: Talk or presentation types › Invited talk

Leeds Proofs, Constructions, and Computations Seminar: "Variations on inductiverecursive definitions"
Fredrik Nordvall Forsberg (Invited speaker)
3 May 2017Activity: Talk or presentation types › Invited talk

Invited talk “Classical Linear Logic Considered as a Programming Language”
Bob Atkey (Speaker)
29 Jul 2016Activity: Talk or presentation types › Invited talk

Ljubljana Foundations Seminar: "Applications and theory of higher inductive types"
Fredrik Nordvall Forsberg (Invited speaker)
17 May 2016Activity: Talk or presentation types › Invited talk

Cambridge Logic and Semantics Seminar: "Comprehensive parametric polymorphism"
Fredrik Nordvall Forsberg (Invited speaker)
3 May 2016Activity: Talk or presentation types › Invited talk

Invited talk “Generalising Abstraction”
Bob Atkey (Speaker)
23 Jan 2016Activity: Talk or presentation types › Invited talk

Invited talk “Productive Coprogramming with Guarded Recursion”
Bob Atkey (Speaker)
5 Nov 2015Activity: Talk or presentation types › Invited talk

LFCS Seminar: "Inductiveinductive definitions in Type Theory"
Fredrik Nordvall Forsberg (Invited speaker)
29 Apr 2015Activity: Talk or presentation types › Invited talk

CMU POP Seminar: "Towards a Presentation of General Higher Inductive Types"
Fredrik Nordvall Forsberg (Invited speaker)
22 Sep 2014Activity: Talk or presentation types › Invited talk

Stockholm Logic Seminar: "Inductiveinductive definitions in Intuitionistic Type Theory"
Fredrik Nordvall Forsberg (Invited speaker)
11 Jun 2014Activity: Talk or presentation types › Invited talk

Invited talk “Relational Parametricity beyond Type Abstraction”
Bob Atkey (Speaker)
12 Apr 2014Activity: Talk or presentation types › Invited talk

Invited talk “From Parametricity to Conservation Laws, via Noether’s Theorem”
Bob Atkey (Speaker)
8 Nov 2013Activity: Talk or presentation types › Invited talk

Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010
Conor McBride (Invited speaker)
2010Activity: Talk or presentation types › Invited talk