===== Seminarios de Métodos Formales =====

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: [[2010|CAChe! 2010]].


==== Archivo ====

  * [[2009|Año 2009]]

  * [[2008|Año 2008]]

  * [[2007|Año 2007]]

==== Fotos ====


{{seminarios_de_metodos_formales:charla_2.jpg|}}  {{seminarios_de_metodos_formales:seminarios_metodos_formales.jpg|}}