Mais uma edição do interessante evento anual que acontece em Córdoba, AR.
JM ---------- Forwarded message ---------- XVII Escuela de Verano de Ciencias Informáticas Río 2010 15 al 20 de febrero de 2010 Campus de la Universidad Nacional de Río Cuarto, Provincia de Córdoba, República Argentina ========= CURSOS ========= Curso 1: "Introduction to Separation Logic" 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" 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" Dr. Ernesto Kofman, Escuela de Ingeniería Electrónica, Facultad de Ciencias Exactas, Ingeniería y Agrimensura, Universidad Nacional de Rosario, Rosario, Argentina. Lenguaje: Castellano Resumen: l 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" Dra. Laura Brandán Briones, Facultad de Matemática, Astronomía y Física, Universidad Nacional de Córdoba, Córdoba, Argentina. 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. CONFERENCIAS - "Evaluación de sistemas de Procesamiento de Lenguaje Natural (PLN)" Dra. Paula Estrella, Facultad de Matemática, Astronomía y Física, Universidad Nacional de Córdoba, Córdoba, Argentina. - TBA, Dr. Ricardo Corin, Facultad de Matemática, Astronomía y Física, Universidad Nacional de Córdoba, Córdoba, Argentina. INFORMACIÓN ADICIONAL Los cursos tienen 5 clases de 2:30 hs. 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. Visite la página web de la escuela para obtener mayor información. --------- Mas información e inscripciones en: http://dc.exa.unrc.edu.ar/rio/ Consultas: [email protected] Telefono/fax : 54+358-467-6235 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
