The simplicial category in Isabelle/HOL, with a discussion on the simplicial model of homotopy type theory Ponente: Jose Divasón (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: martes 22 de diciembre, 10:00