El 6 de febrero de 2009 16:55, Ing. Alfonso Palomares
<alfpalomares@gmail.com> 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: rio@dc.exa.unrc.edu.ar
Telefono/fax : 54+358-467-6235
---------------------------------------------------------------------
Para dar de baja la suscripcion, mande un mensaje a:
pyar-unsubscribe@decode.com.ar
Para obtener el resto de direcciones-comando, mande un mensaje a:
pyar-help@decode.com.ar
PyAr - Python Argentina - Sitio web: http://www.python.com.ar/