Presenting groups via cubes

We’ll explore the problem of finding effective models for the classifying spaces of certain quotients of fundamental groups of non-positively curved cube complexes, we’ll discuss the framework -- cubical small-cancellation theory -- that provides the necessary tools to do so, and, time permitting, we’ll explain how this viewpoint allows us to compute the homology and cohomology of various examples.