Ciencias de la Computación FAMAF - seminarios_de_metodos_formales
https://wiki.cs.famaf.unc.edu.ar/
2026-05-04T05:25:20+00:00Ciencias de la Computación FAMAF
https://wiki.cs.famaf.unc.edu.ar/
https://wiki.cs.famaf.unc.edu.ar/_media/wiki:dokuwiki.svgtext/html2025-11-15T16:47:34+00:00Anonymous (anonymous@undisclosed.example.com)2007
https://wiki.cs.famaf.unc.edu.ar/seminarios_de_metodos_formales:2007?rev=1763225254&do=diff
Martes 28 de agosto
* Expositor: Sergio Giro
* Título: Una revisión del model checking cuantitativo: ni decidible ni aproximable.
* Resumen:
En el model checking cuantitativo se calcula la probabilidad de una propiedad
variando sobre todos los schedulers posibles. A menudo, las probabilidades
máximas y minimas calculadas de esta forma son sobreestimaciones si
las componentes del sistema tienen pocas interacciones o comparten poca
información (en estos casos los schedulers puedentext/html2025-11-15T16:47:34+00:00Anonymous (anonymous@undisclosed.example.com)2008
https://wiki.cs.famaf.unc.edu.ar/seminarios_de_metodos_formales:2008?rev=1763225254&do=diff
Martes 12 de agosto
* Expositor: Lic. Matias Lee
* Título: Secure Interface Automata.
* Resumen:
Una interface describe cómo un sistema interactua con su entorno. Por esta razón, ellas juegan un papel muy importante en el desarrollo basado en componentes. Dadas las interfaces de 2 componentes sería muy util poder analizar si ellas son compatibles, es decir, si trabajan bien en forma conjunta. En esta charla presentamos un nuevo tipo de interface: Secure Interface Automata. Las mismas …text/html2025-11-15T16:47:34+00:00Anonymous (anonymous@undisclosed.example.com)2009
https://wiki.cs.famaf.unc.edu.ar/seminarios_de_metodos_formales:2009?rev=1763225254&do=diff
Estas son las charlas previstas o dadas del ciclo “Contate algo, che!” de la Sección de Computación de FaMAF. Si tenés ganas de dar una charla, avisales a Matias Lee o a Miguel Pagano.
Miercoles 9 de Diciembre
* Título: “Cómo perder el tiempo optimizando códigotext/html2025-11-15T16:47:34+00:00Anonymous (anonymous@undisclosed.example.com)2010
https://wiki.cs.famaf.unc.edu.ar/seminarios_de_metodos_formales:2010?rev=1763225254&do=diff
CAChe! 2010
reacTIVision: Interfaces de Usuario con Objetos del Mundo Real
Expositor: Franco Luque
Lunes 25 de octubre de 2010, 14 hs.
Resumen:
reacTIVision es un framework open source de visión por computadora, que permite el seguimiento a través de una cámara de marcadores fiduciales (text/html2025-11-15T16:47:34+00:00Anonymous (anonymous@undisclosed.example.com)main
https://wiki.cs.famaf.unc.edu.ar/seminarios_de_metodos_formales:main?rev=1763225254&do=diff
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