Sobre estas charlas
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 gaston AT dc.exa.unrc.edu.ar.
Horarios
Las charlas se llevan a cabo generalmente los días jueves en el aula de posgrado de la Fac. Cs. Exactas Físico-Químicas y Naturales.
Próxima charla
El jueves 29 de Diciembre a las 10:00hs, aula 113 del pab. 2 (aula de posgrado Fac. Cs. Exactas Físico-Químicas y Naturales), por Damian Nadales.
Diseño e Implementación de un Lenguaje para el Modelado de Sistemas Híbridos.
Resumen:
El Compositional Interchange Format (CIF) es un formalismo para el modelado y simulación de sistemas híbridos. Está basado en la teoría de hybrid automata, e incorpora operadores al estilo process algebra, los cuales permiten elaborar modelos más complejos apartir de automatas. CIF tiene como propósito servir como lenguaje de intercambio entre diversos formalismos para la simulación y verificación de sistemas híbridos. Además es posible simular el comportamiento de los modelos escritos en CIF.
leer +.
Charlas recientes