El 6 de febrero de 2009 16:55, Ing. Alfonso Palomares < [email protected]> escribió:
Quizas a alguno le interese.
saludos!
XVI Escuela de Verano de Ciencias Informáticas
Río 2009 16 al 21 de febrero de 2009
Campus de la Universidad Nacional de Río Cuarto, Provincia de Córdoba, República Argentina
Programa preliminar de cursos:
=============================================================================== Curso 1: "Contract-Based Development in Eiffel" Dr. Bertrand Meyer, ETH Zurich, Suiza Dictado parte en Ingles y parte en Castellano
Abstract: Software development requires a sound basis to define not only the implementation of program elements but also their goals, and to ensure that the implementations meet the goals. The Eiffel approach applies this principle by making software contracts an integral part of any system. This set of lectures presents the Eiffel method, describing both its classical properties and current research.
Contents: 1. Object-oriented concepts based on Design by Contract. 2. Event-driven design and agents. 3. Contracts for automatic testing. 4. Contracts for concurrency. 5. Proving contract-equipped software
=============================================================================== Curso 2: "Stringology" Dr. Yoan Pinzón, Universidad Nacional de Colombia Dictado en castellano
Abstract: Stringology is a part of algorithmic research that deals with the processing of strings, where a string is a collection of zero or more symbols. There are certainly many areas where stringology results have been used, e.g., text and music information retrieval, spellchecking, signal processing, computer vision, image processing, indexing and computational biology. The aims of this course is to introduce both theoretical and practical aspects of stringology in order to provide a toolkit for problem solving where the solution requires a computer-based solution.
Contents: + Exact String Matching Terminology Periods & Borders Brute Force Algorithm MP Algorithm KMP Algorithm BM Algorithm Occurrence Heuristic BM with Occurrence Heuristic Horspool Algorithm Shift-Or Algorithm Fischer-Paterson Algorithm Rabin-Karp Algorithm SMA AC Dictionary Matching
+ Approximate String Matching Levenshtein Distance Hamming Distance Longest Common Subsequence Hirschberg Algorithm
=============================================================================== Curso 3: "Modelling and verification of concurrent probabilistic systems" Dr. Holger Hermanns. Saarland University. Germany. Dictado en Inglés.
Abstract: Model driven design and model checking are two aspects of a modern strategy to guarantee correctness of system designs. In the era of power-aware, wireless and distributed systems, correctness guarantees for such systems must become quantifiable. Instead of guaranteeing that a system is performing the expected tasks, we are ultimately interested in guaranteeing that the system performs its task within a given time bound and with (energy) costs within a given limit. Or better: that the probability thereof is above a given threshold. In this lecture series I will I paint the landscape of behavioural models for probability, time, and cost, and discuss foundational and practical aspects of modelling and model checking such systems.
Prerequisites: Basic knowledge in discrete mathematics, automata theory, and probability theory
=============================================================================== Curso 4: "Lenguajes para la composición de servicios" Dr. Hernán Melgratti. UBA, Argentina Dictado en castellano.
Resumen: El desarrollo basado en servicios consiste, básicamente, en describir cómo interactúan (en otras palabras, cómo se componen) las distintas partes de una aplicación (llamadas servicios), que son de naturaleza heterogénea y que se encuentran distribuidas geográficamente. Varios lenguajes han sido propuestos en los últimos años para describir la composición de servicios. En este curso abordaremos el estudio formal de estos lenguajes, haciendo hincapié en la definición precisa de primitivas de programación particulares introducidas por los mismos (como por ejemplo, la correlación y las compensaciones) y en el estudio formal de propiedades sobre la composición (por ejemplo, terminación).
Contenidos: - Introducción a la arquitectura orientada a servicios, principales tecnologías de web services (WSDL, SOAP, UDDI). - Estilos de composición: Orquestación vs Coreografía. - Nociones básicas sobre cálculos de procesos (semántica a reducción vs etiquetada, equivalencias) - Primitivas para la composición de servicios (compensaciones, correlación, sesiones) - Correspondencia entre vistas (Coreografía vs orquestación, contratos, procesos abstractos) - Propiedades de la composición (progreso, terminación)
Prerrequisitos: Conocimiento básicos sobre definición formal de lenguajes (sintaxis y semántica operacional).
Aclaración: este curso reemplazará al curso que fuera programado previamente a cargo del Dr. Raymond Turner, quien no podrá asistir por motivos de fuerza mayor.
=============================================================================== 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
--------------------------------------------------------------------- Para dar de baja la suscripcion, mande un mensaje a: [email protected]
Para obtener el resto de direcciones-comando, mande un mensaje a: [email protected]
PyAr - Python Argentina - Sitio web: http://www.python.com.ar/
-- opino en http://blog.martinolivera.com.ar