El objetivo de estas charlas es divulgar el estado de avance de las tareas de investigación que se realizan en el Departamento de Computación, asi como también fomentar el interés de los estudiantes del Departamento y la Universidad hacia la investigación. Están dirigidas, en general, a todos los docentes y estudiantes de la Universidad con interés en la Informática, en particular los miembros del Departamento de Computación.

Los disertantes podrán presentar sus trabajos tan informalmente como lo deseen. La duración de las charlas no deberá exceder una hora (incluyendo al menos 10 minutos para preguntas o discusiones), aunque se podrá utilizar más de una sesión para completar las presentaciones.

Los asistentes a las charlas tendrán más libertad que en seminarios formales para realizar preguntas u observaciones durante las presentaciones.

Si usted está interesado en participar dando una charla, por favor contacte al organizador por e-mail a la dirección naguirre AT dc.exa.unrc.edu.ar.

Las charlas se llevarán a cabo generalmente los jueves, de 17:30 a 18:30, en aula a confirmar.

07-12-2007, 17:00. D. Gutson, FuDePan, "Programación en Ácidos Nucleicos"

• (Fecha a confirmar). D. Nadales, "Edición de Documentos en GNU/Linux usando LaTeX"
• (Fecha a confirmar). S. Permigiani, "Experiencias en la Instalación Hogareña de Ubuntu GNU/Linux"
• (Fecha a confirmar). A. Ferreira/J. Guazzone, "Las Nuevas Tecnologías en los Sistemas de Educación a Distancia"
• (Fecha a confirmar). M. Arroyo, "Diseño por contratos. Por qué los casos de uso no son adecuados para el desarrollo de software"
• (Fecha a confirmar). G. Regis, Título a confirmar.

• 01/09/2003. A. Gonzalez, "Diseño Web Usando UML" (resumen)
• 15/09/2003. F. Bavera/M. Nordio, "Introducción a Proof-Carrying Code" (resumen)
• 29/09/2003. N. Aguirre (trabajo en conjunto con J.C. Bicarregui, T. Dimitrakos y T. Maibaum), "Creación y Eliminación Dinámica de Máquinas Abstractas en el Método B" (resumen)
• 27/10/2003. M. Uva, "Integración de los Estándares UML y WfMC para el Modelado de Workflows" (resumen)
• 16/09/2004. J. Aguirre, "El Desarrollo de la Computación en la Argentina" (resumen)
• 31/03/2005. M. Nordio, "Verificación de la Seguridad del Código Foráneo mediante Análisis Estático de Control de Flujo y de Datos" (resumen)
• 02/06/2005. N. Aguirre (trabajo en conjunto con M. Frias, J. Galeotti y C. López Pombo), "DynAlloy: Upgrading Alloy with Actions" (resumen)
• 30/09/2005. J. Smaldone, "Primeros pasos en Rails" (resumen)
• 07/10/2005. F. Bavera, "JML y Verificación Modular de Threads" (resumen)
• 07/12/2005. F. Bavera, "Compilando y Certificando Código mediante Análisis Estático de Flujo de Control y de Datos" (resumen)
• 10/03/2006. M. Nordio (trabajo conjunto con B. Meyer y P. Müller), "Proof-Transforming Compilation of Object-Oriented Programs to Bytecode" (resumen)
• 08/09/2006. G. Medina "GeneXus, herramienta y metodología.
• 28/09/2006. Guillermo Biset y Sebastian Treu, "Aspectos Estéticos del Escritorio Linux con XGL, Gnome y KDE"
• 10/11/2006. P. Castro, "Introducción a la Lógica Deóntica y sus Aplicaciones" (resumen)
• 11/05/2007. M. Arroyo, "Programación de Drivers para GNU/Linux"
• 17/05/2007. J. Smaldone, "Ruby: Orientación a Objetos y algo más" (resumen)
• 21/06/2007. N. Aguirre (trabajo conjunto con M. Frias, J.P. Galeotti, G. Regis y P. Ponzio) "Abstracción por Predicados en Especificaciones DynAlloy" (resumen)
• 19/10/2007. A. Mendarosqueta (Motorola Argentina), "Ingeniería de software en la Práctica".
• 16-11-2007, 16:00. R. Medel, Intel Argentina, "Creación y Mantenimiento Comunitario y Distribuído de HOWTOs" (Resumen)