Jueves 15 de Abril
Hora	Sesión - Actividad	Moderador	Presentador	Título
14:00	Métodos Formales y Seguridad	Gustavo Betarte	Gustavo Betarte	I+i en Seguridad Informática
14:15			Carlos Luna	Formalización de arquitecturas de seguridad en dispositivos móviles y en plataformas de virtualización
14:30			Marcelo Rodriguez	Diseño e implementación de ambientes para el entrenamiento en seguridad informática
14:45			María Eugenia Corti	Metodologías para la implantación de Sistemas de Gestión de Seguridad de la Información (SGSI)
15:00			Alberto Pardo	Un compilador que preserva tipos de seguridad escrito en Haskell
15:15	Café y Sandwiches
15:30
15:45	Sistemas de Información y Tecnologías Web	Regina Motz	Fernando Carpani	Todocuenta: Una experiencia de trabajo con ODAs en SCORM y MOODLE recuperando material de un curso presencial
16:00			Lorena Etcheverry	Quality Assessment of MAGE-ML Genomic Datasets using DescribeX
16:15			Edelweis Rohrer	Estudio de metodologías de diseño y desarrollo de ontologías - Aplicación a un caso de estudio de evaluación de sitios web en el área de la salud
16:30			Guzmán Llambías	Hacia una plataforma de interoperabilidad para aplicaciones biológicas
16:45			Gabriel López	Mashups, integración bottom up de aplicaciones web
17:00	Presentación de Invitado		Fernando Brum	Los desafíos de la industria del Software en Uruguay
17:15
17:30
17:45	Café y Sandwiches
18:00
18:15	Redes	Javier Baliosian	Javier Baliosian	Investigación en el GERMINA
18:30
18:45			Marcelo Odin	Model based testing aplicado a protocolos de optimización cross-layer
19:00	Ingeniería de Software	Diego Vallespir	Cecilia Apa	Diseño y Ejecución de un Experimento Formal con 5 Técnicas de Verificación
19:15			María de las Nieves Freira y Carla Pais	Mejora de procesos de sw en un depto de desarrollo mediano: una experiencia exitosa
19:30			Fernanda Grazioli	Marco Teórico para Evaluar Taxonomías de Defectos
19:45			Carolina Valverde y Bruno Bianchi	Un caso de estudio en Calidad de Datos para Ingeniería de Software Empírica
20:00			Daniel Calegari	Verificación de Transformaciones de Modelos