Cursos ECI 2013
Turno Mañana (de 9:00 a 12:00)
- Jean-Jacques Levy (Emeritus Senior Researcher, INRIA, Francia)
M1 - Reductions and causality
- András Sebő (Directeur de Recherche, CNRS, Laboratoire G-SCOP,
Francia)
M2 - Combinatorial Optimization: Matchings, Matroids and the Travelling Salesman
- Gordon Pace (Department of Computer Science, Faculty of
ICT, University of Malta)
M3 - Runtime Verification: From Theory to Practice and Back
Turno Tarde (de 13:00 a 16:00)
- Reinhard Wilhelm (Chair for Programming Languages and Compiler Construction, Saarland University, Alemania)
T1 - Short course on program analysis - Paola Spoletini (Department of Theoretical and Applied
Sciences,
Università dell’Insubria, Italia)
T2 - Specifying and Monitoring (Fuzzy Temporal) Requirements for Service Compositions - Madalina Croitoru (University of Montpellier II, Francia)
T3 - Graph-based Representation and Reasoning in Artificial Intelligence
Turno Noche (de 19:00 a 22:00)
- Nikolai Tillmann (Microsoft Research)
N1 - Parameterized Unit Testing - Milos Stojakovic (Department of Mathematics and Informatics,
University of Novi Sad, Serbia)
N2 - Positional games - Diego Evin (Laboratorio de Investigaciones Sensoriales,
Instituto de Neurociencias, Universidad de Buenos Aires)
N3 - Reconocimiento automático de habla e identificación de locutores
