## 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.