Cursos ECI 2012
Todos los cursos, salvo MT3, se desarrollarán de Lunes a Viernes.
Mañana (9 a 12hs)
M1 - Algorithmic Techniques for Program Verification
Ahmed Bouajjani, Universidad de Paris 7, Francia
M2 - Algorithmic Graph Theory
Marcin Kamiński, Universidad Libre de Bruselas, Bélgica
Mañana y Tarde (9 a 12hs y 13:30 a 16:30hs)
MT3 - Advanced Speech Processing Techniques
John Hansen, UT Dallas, Estados Unidos
(Este curso se desarrollará de Lunes a Miércoles, con un taller el Miércoles)
Tarde (13:30 a 16:30hs)
T1 - Modelos Formales de Concurrencia
Jorge Pérez, Universidad de Lisboa, Portugal
T2 - Integer Linear Programming for Combinatorial Optimization Problems
Enrico Malaguti, Universidad de Bologna, Italia
T3 - Mobile Robotics II: Simultaneous localization and mapping
Miroslav Kulich, Czech Technical University, República Checa
Noche (19 a 22hs)
N1 - Lenguajes y herramientas para especificar y validar contratos electrónicos
Gerardo Schneider, Universidad de Chalmers, Suecia
N2 - Generación Automática de Tests Unitarios
Nazareno Aguirre, Universidad Nacional de Río Cuarto, Argentina
N3 - Java for Real-Time Software
Christos Kloukinas, City University London, UK
 |
