Cursos ECI 2007
Programa Preliminar:
Habrá también mesas de debates sobre temas de interés para los profesionales del medio, conferencias y presentaciones de empresas. Más detalles sobre los cursos y toda otra información sobre ECI 2007 podrán ser consultados en http://www.dc.uba.ar/eci o a eci@dc.uba.ar
Cursos de 15 horas
- Turno Mañana (9 a 12 hs)
- M1.Modern Trends in the formal language theory
- (Curso en inglés) Alexander Meduna, Brno University of Technology, República Checa.
- Turno Tarde (14 a 17 hs)
- T1.Software performance
- (Curso en inglés) Arzhan Kinzhalin, Intel, Argentina
- Turno Noche (19 a 22 hs)
- N1.Foundations of software specification and development: an abstract overview
- (Curso en inglés) Andrzej Tarlecki, Warsaw University and Institute of Computer Science and Polish Academy of Sciences, Polonia.
- N2.Fundamentos Matemáticos y algoritmos de las redes
- (Curso en castellano) Fabrizio Luccio, Universidad de Pisa, Italia.
- N3.Object-Oriented Programming and verification in Spec#
- (Curso en inglés) Mike Barnett and Shaz Qadeer, Microsoft Research.
Cursos de 30 horas
- Turno Doble: Mañana y Tarde (9 a 12 y 14 a 17 hs)
- MT1.Estimación de movimiento en secuencias de imágenes
- (curso en castellano) Luis Alvarez León, Agustín Salgado de la Nuez, Universidad de Las Palmas de Gran Canaria, España. (Teoría y Práctica)
- MT2.Síntesis de sistemas digitales: VHDL, componentes virtuales, dispositivos programables
- (curso en castellano) Jean Pierre Deschamps, Universidad Rovira I Virgili, Tarragona, Gustavo Sutter Universidad Autónoma de Madrid, España. (Teoría y Práctica)