Río 2010
XVII Escuela de Verano de Ciencias Informáticas  

Del 15 al 20 de febrero de 2010 se realizará en el Campus de la Universidad Nacional de Río Cuarto, Córdoba, la XVII Escuela de Verano de Ciencias Informáticas. Los interesados podrán asistir a cursos y conferencias las cuales estarán a cargo de expositores nacionales e internacionales. Se otorgarán certificados de asistencia y aprobación.  

La Dra. Paula Estrella y el Dr. Ricardo Corin, ambos de la Facultad de Matemática, Astronomía y Física, Universidad Nacional de Córdoba, Córdoba, expondrán sobre "Evaluación de sistemas de Procesamiento de Lenguaje Natural (PLN)".  

Curso 1: "Introduction to Separation Logic"  
A cargo del Dr. Dino Distefano, Queen Mary, University of London, Londres, Reino Unido. Idioma: Inglés

Abstract: The incorrect use of pointers, such as null pointer dereference and memory leaks, is one of the most common (and expensive) sources of program errors.  

Formal verification of programs using pointers is known to be a very hard task. In this course, we will survey Separation Logic, a recent extension of Hoare logic that addresses the problem of effective reasoning about pointers and allowing therefore efficient verification for this class of programs. Topics of the course will include frame inference, bi-abduction, abstraction, and principles of automatic verification based on separation logic.  

Curso 2: "Fundamentos formales de especificaciones algebraicas heterogéneas"  
Dictado por el Dr. Carlos López Pombo, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina. Lenguaje: Castellano  

Resumen: El mundo del desarrollo de software se ha vuelto intrínsecamente heterogéneo. Por un lado, se han desarrollado gran cantidad de lenguajes y notaciones para ayudar a los analistas y diseñadores a capturar y modelar diferentes aspectos involucrados en las piezas de software. Por ejemplo, UML ofrece gran variedad de notaciones diagramáticas, desde diagramas de clases a máquinas de estado, diagramas de colaboración, etc. Esta proliferación refleja la necesidad de reducir la complejidad del desarrollo de grandes sistemas, dado que cada lenguaje permite a (equipos de) ingenieros enfrentar vistas específicas o etapas del proceso de desarrollo. En resumen, el escenario que se enfrenta hoy es el de una multitud de lenguajes de modelado y lógicas para soportarlos, y herramientas para procesar estos lenguajes y razonar en las lógicas subyacentes.  

La heterogeneidad es origen de una gran complejidad al momento de desarrollar software pues hace muy difícil, incluso imposible, que los ingenieros entiendan cómo estos se comportarán o interactuarán con personas u otros sistemas. Esta es la razón por la cual, en los últimos años, las ciencias de la computación han experimentado un creciente interés en este campo.   En el curso abordaremos el estudio de algunas herramientas formales que permiten la construcción y manipulación de especificaciones algebraicas heterogéneas de forma que resulta posible la reconstrucción de un sistema a partir de las vistas parciales expresadas en lenguajes diferentes.  

Curso 3: "Modelado y Simulación de Sistemas Dinámicos con el Formalismo DEVS"  
A cargo del Dr. Ernesto Kofman, Escuela de Ingeniería Electrónica, Facultad de Ciencias Exactas, Ingeniería y Agrimensura, Universidad Nacional de Rosario, Rosario. Lenguaje: Castellano  

Resumen: El formalismo DEVS, propuesto por Bernard Zeigler en la década de 1970, es la herramienta más general para representar y simular sistemas de eventos discretos. DEVS puede utilizarse también para simular sistemas de tiempo discreto y, a través de métodos numéricos, sistemas continuos e híbridos. Por este motivo, el formalismo es ampliamente utilizado para modelar y simular sistemas dinámicos de todo tipo.  

En este curso presentaremos el formalismo DEVS y estudiaremos sus principales propiedades y sus diferentes aplicaciones para modelar y simular sistemas de distinta naturaleza (discretos, continuos e híbridos). Presentaremos también herramientas de software de simulación basadas en DEVS y discutiremos algunos resultados recientes de investigación.   Requisitos: El curso es autocontenido, pero para la comprensión de los temas relacionados con sistemas continuos se requiere un mínimo conocimiento de ecuaciones diferenciales ordinarias.  

Curso 4: "Testing de software con métodos formales"  
A cargo de la Dra. Laura Brandán Briones, Facultad de Matemática, Astronomía y Física, Universidad Nacional de Córdoba, Córdoba. Lenguaje: Castellano.  

Resumen: Aunque es el testing la actividad más usada para asegurar la calidad del software en la industria, aún sigue siendo una actividad practicada con bastante poco fundamento científico. Con la idea de cambiar esta realidad en los últimos años la teoría del testing ha avanzado notoriamente produciendo métodos y herramientas de muy buena calidad. En este curso mostraré alguno de dichos avances.  

Primero, presentaré una introducción a la generación de tests aprovechando los métodos formales para su derivación. Luego, me focalizaré en el método ioco (basado en labeled transition systems), y sus extensiones: tioco y mtioco. Abarcaré también conceptos de coverage en testing para tests de tipo árbol. Concluyendo, mostraré un entorno de derivación de tests automático a través de la herramienta TorX, que implementa ioco.  

Información adicional Los cursos tendrán cinco clases de más de dos horas de duración, cada una. Examen opcional. Se otorgarán certificados de asistencia y aprobación.  

Facilidades de alojamiento: La Universidad cuenta con un comedor ($6 el almuerzo), un amplio campo de deportes, pileta, residencias ($20 por día) y lugares para acampar (gratuitos). Además la ciudad dispone de hoteles de distintas categorías  

Inscripciones en: http://dc.exa.unrc.edu.ar/rio/
Consultas: rio@dc.exa.unrc.edu.ar
Teléfono/fax: 54+358-467-6235