[Solar-general] Re: [pyar] [OT] XVI Escuela de Verano de Ciencias Informáticas

Mar Feb 10 14:12:37 CET 2009

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

-- 
opino en http://blog.martinolivera.com.ar
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: /pipermail/solar-general/attachments/20090210/ccce0d38/attachment.html