 |
 |
 |
 |
|
|
||||
|
 |
Andrew Pitts Talks |
|
|
||
|
||
| Department of Computer Science and Technology > Andrew Pitts > Talks |
Recent talks by Andrew Pittsin reverse chronological order.Setoids in Intensional Type Theory, Topos Institute Colloquium, 22 October 2026. [pdf] [video] Heyting Algebras and Higher-Order Logic. Invited talk at Heyting Day 2025 - Models of intuitionism and computability, Symposium in honour of Jaap van Oosten, KNAW, Amsterdam, Netherlands, 14 March 2025. [pdf] [video] Toposes of Finitely Supported M-sets. Plenary invited talk at 7th International Conference on Applied Category Theory and 40th Conference on Mathematical Foundations of Programming Semantics (ACT/MFPS 2024), Oxford UK, 19 June 2024. [pdf] [video] Locally Nameless Syntax and Semantics. Huawei-Edinburgh University Coffee House Tech talk, 7 November 2023. [pdf] Locally Nameless Sets. Contributed talk at POPL 2023 [pdf] Constructive Initial Algebra Semantics. Online Worldwide Seminar on Logic and Semantics (OWLS), 21 April 2021. [pdf] [video] Unfinity Categories. Logic and Semantics Seminar, Department of Computer Science and Technology, University of Cambridge, 26 March 2021. [pdf] [video] Quotients in Dependent Type Theory. Invited talk at 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), on-line, 3 July 2020. [slides (pdf)] [abstract (pdf)] [video] Axiomatizing Cubical Sets Models of Univalent Foundations. Invited talk at Workshop on Homotopy Type Theory/ Univalent Foundations (HoTT/UF 2018), Oxford, UK, 7-8 July 2018 [slides (pdf)]. An updated version of this talk was given as a Homotopy Type Theory Electronic Seminar on 20 September 2018 [video] [slides (pdf)]. Nominal Cubical. Seminars at Aarhus University, October 2017. [part I, part II (pdf)] Using Agda to Explore Path-Oriented Models of Type Theory. Talk at Newton Institute BigProof programme, 27 June 2017. [slides (pdf)] On Proofs of Equality as Paths. Invited talk at FOMUS - Foundations of Mathematics: Univalent Foundations and Set Theory, workshop at ZiF Center for Interdisciplinary Research, Bielefeld University, Germany, 18-23 July 2016. [video] [slides (pdf) (updated 2016-10-07)] Nominal Sets and their Applications. Invited lectures at Midland Graduate School (MGS 2011), University of Nottingham, UK, 11-15 April 2011. [slides (pdf)] Nominal System T. Talk at 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010), Madrid, Spain, 17-23 January 2010. [Abstract, slides (pdf), paper (pdf)] |
|
|
|
|