Clive Newstead · Home· Teaching· Book· Talks

What follows is a list of talks I've given, in reverse-chronological order.

32. Algebraic models of dependent type theoryslides
Workshop on Homotopy Type Theory / Univalent Foundations 2018, University of Oxford, 2018-07-07.

31. An infinite descent into pure mathematicsslides
GSS Mini-Conference, Carnegie Mellon University, 2018-04-10.

30. Algebraic models of dependent type theoryslides
HoTT MURI meeting, Carnegie Mellon University, 2018-03-24.

29. An infinite descent into pure mathematicsslides
Algebra, Combinatorics and Geometry Graduate Student Research Seminar, University of Pittsburgh, 2018-03-01.

28. Algebraic structures from dependent type theory
Algebra, Combinatorics and Geometry Seminar, University of Pittsburgh, 2018-03-01.

27. Formalisation or: How I Learned To Stop Worrying and Love the Computerslidesvideo
Graduate Student Seminar, Carnegie Mellon University, 2018-01-30.

26. Type theory and polynomial monadsslides
CT Octoberfest 2017, Carnegie Mellon University, 2017-10-28.

25. Polynomials, representability and dependent type theory (informal thesis prospectus) — notes
Homotopy Type Theory seminar, Carnegie Mellon University, 2017-09-22.

24. Seven trees in one: a very explicit tale
Graduate Student Seminar, Carnegie Mellon University, 2017-09-19.

23. Natural models and tricategories of polynomialsnotesslides
HoTT MURI meeting, Carnegie Mellon University, 2017-03-24.

22. Locally cartesian closed categoriesnotes
80-814 Categorical Logic, Carnegie Mellon University, 2017-03-01.

21. Categories of natural models of type theory
Homotopy type theory seminar, Carnegie Mellon University, 2016-09-30.

20. Making sense of abstract nonsensevideo
Graduate Student Seminar, Carnegie Mellon University, 2016-11-15.

19. Engaging students in mathematics through active learningvideo
Teaching and Learning Summit, Carnegie Mellon University, 2016-10-14.

18. Categories of natural models of type theoryslides
International Category Theory Conference 2016, Dalhousie University, 2016-08-12.

17. Categories of natural models of type theoryslides
ASL Logic Colloquium 2016, University of Leeds, 2016-08-04.

16. What is structure?
CMU Math Club, Carnegie Mellon University, 2016-01-27.

15. Structure, species and stuffnotesvideo
Graduate Student Seminar, Carnegie Mellon University, 2016-01-19.

14. It's getting HoTT in here
Graduate Student Seminar, Carnegie Mellon University, 2015-04-23.

13. Report from the Oxford HoTT workshopnotesvideos
Homotopy Type Theory seminar, Carnegie Mellon University, 2014-11-13.

12. Introduction to topological data analysisslidesvideo
Graduate Student Seminar, Carnegie Mellon University, 2014-10-14.

11. A cornucopia of operadic curiosities
Graduate Student Seminar, Carnegie Mellon University, 2014-04-16.

10. Homotopy limits and colimits (5 talks)
Proseminar on stable homotopy theory, University of Pittsburgh, 2014-03-28 — 2014-04-26.

9. Review of category theory (2 talks)notes
Proseminar on stable homotopy theory, University of Pittsburgh, 2014-01-17 and 2014-01-24.

8. Presentation of Lawvere's paper, An elementary theory of the category of sets (1964)paperblog post
Kan Extension Seminar, 2014-01-06.

7. Cubical sets (2 talks)notes
Homotopy Type Theory seminar, Carnegie Mellon University, 2013-11-21 and 2013-12-05.

6. Hairy balls and ham sandwichesnotes
Graduate Student Seminar, Carnegie Mellon University, 2013-11-14.

5. Adjunctions! Everywhere!notes
Graduate Student Seminar, Carnegie Mellon University, 2013-09-19.

4. Permutation models, topological groups and Ramsey actionsnotes
"Making whoopee", University of Cambridge, 2013-06-27.

3. Permutation models of set theory from topological groupsnotes
Part III Seminar Series, University of Cambridge, 2013-03-15.

2. Making the axiom of choice fail
Part III Seminar Series, University of Cambridge, 2012-11-28.

1. Boolean-valued models and forcing (2 talks)notes
Fraenkel–Mostowski models reading group, University of Cambridge, 2012-11-12 and 2012-11-26.