[Todos] Programa preliminar ECI 2007

[eci en dc.uba.ar]

  PROGRAMA PRELIMINAR ECI 2007
****************************************
   21 ESCUELA DE CIENCIAS INFORMATICAS
      23 al 28 de julio de 2007
*****************************************
    Departamento de Computación
    Facultad de Ciencias Exactas y Naturales
    Universidad de Buenos Aires
******************************************

Cursos ECI 2007
--------------------
En esta ocasión habrá cursos de 15 y 30 horas de duración. La aprobación
de los mismos será a través de una evaluación cuya modalidad es elegida
por cada profesor. En caso de ser esta un examen, será tomado el sábado
29/7. Se requerirá, además, la asistencia al 80% de las clases. Se
otorgarán certificados de asistencia y aprobación según corresponda. Se
provee a los alumnos material bibliográfico relacionado con el tema de
cada curso.
--------------------
Cursos de 15 horas
---------------------
1-  "Modern trends in the formal language theory"
 Alexander Meduna, Brno University of Technology, República Checa.
(curso en inglés)

2- "Foundations of software specification and development: an abstract
overview".
Andrzej Tarlecki ,Warsaw University and Polish Academy of Sciences,
Polonia. (curso en inglés)

3- "Software testing and analysis"
Alessandro Orso, Georgia Institute of Technology, USA.
(curso en inglés).

4- "Fundamentos matemáticos y algoritmos de las redes"
Fabrizio Luccio, Universidad de Pisa, Italia.
 (curso en castellano).

5- "Object-Oriented programming and verification in Spec#"
 Mike Barnett, Shaz Qadeer, Microsoft Research, USA.
 (curso en inglés)
-------------------
Cursos de 30 horas
-------------------
6- "Estimación de movimiento en secuencias de imágenes"
Luis Alvarez León, Agustín Salgado de la Nuez, Universidad de Las Palmas
de Gran Canaria, España.
(curso en castellano)

7 - Síntesis de sistemas digitales: VHDL, componentes virtuales,
dispositivos programables.
Jean Pierre Deschamps, Universidad Rovira I Virgili, Tarragona, Gustavo
Sutter, Universidad Autónoma de Madrid, España.
(curso en castellano)

********************************************************************

Habrá también mesas de debates sobre temas de interés para los
profesionales del medio, conferencias y presentaciones de empresas.

******************************************************************

La información sobre becas y alojamiento para alumnos, los horarios y
programas detallados de los cursos,  conferencias,seminarios,
presentaciones de empresas, aranceles, más detalles sobre la inscripción,
etc., se irán actualizando, a medida que este disponible, en nuestra
pagina WEB:

    http://www.dc.uba.ar/eci

********************************************************************
    Para mayor información dirigirse a:

    ESCUELA DE CIENCIAS INFORMATICAS
    Departamento de Computacion
    Facultad de Ciencias Exactas y Naturales
    Universidad de Buenos Aires
    PABELLON I - CIUDAD UNIVERSITARIA
    (1428) BUENOS AIRES
    ARGENTINA

    TE/FAX: (54 11) 4576 3359
    TE: (54 11) 4576 3390/96 int 701/702
    e-mail: eci en dc.uba.ar
    http://www.dc.uba.ar/eci