Algebraic models of finite homotopy types

Grothendieck's Homotopy Hypothesis asserts that n-groupoids model homotopy n-types. I will discuss in depth its meaning for small values of n. 

[Note change in day and time of seminar]