Desde 2007, luego de la primer mitad de año, se vienen realizando los seminarios de Métodos Formales. Los mismos se realizan en la Sala de Computación (Sala Smith - 3er piso Lado Oeste).

Desde 2009 los seminarios de métodos formales han pasado a llamarse “Contate algo, Che!”. Estás son las charlas de este año: CAChe! 2010.

• Año 2009

• Año 2008

• Año 2007