Teaching page for Benno van den Berg


Website for current courses:
Fall 2017: Homotopy Type Theory. Student seminar at the University of Amsterdam.
Websites for courses I have taught:
Spring 2017: Category Theory. Local course taught at the University of Amsterdam.
Spring 2017: Model Theory. Local course taught at the University of Amsterdam.
Fall 2016: Proof Theory. Local course taught at the University of Amsterdam.
Spring 2016: Model Theory. Mastermath course taught at the University of Amsterdam.
Spring 2016: Homotopy Type Theory. Student seminar at the University of Amsterdam.
Fall 2015: Proof Theory. Local course at the University of Amsterdam.
Spring 2015: Homotopy Type Theory. Student seminar at the University of Amsterdam.
Spring 2015: Model Theory. Local course at the University of Amsterdam.
Fall 2014: Proof Theory. Local course at the University of Amsterdam.
Spring 2014: Homotopy Type Theory. Project month at the University of Amsterdam.
Spring 2014: Model Theory. Mastermath course taught at the University of Amsterdam together with Yde Venema.
Fall 2013: Proof Theory. Local course at the University of Amsterdam.
Fall 2012: Model Theory. Local course at Utrecht University.
Back to main page.