The primary purpose of this work is to characterise strict ω-categories as simplicial sets with structure. We prove the Street-Roberts conjecture which states that they are exactly the ``complicial sets' defined and named by John Roberts in his handwritten notes of that title.
The slides for the talks are available as a pdf file.
The paper on which this is based is available from the ArXiv.