Cursos ECI 2023
Turno Mañana (09:00 a 12:00)
M1
Advanced Data Structures
. Conrado Martínez Parra. (Español, slides en inglés)
M2
Linear logic: syntax, models and extensions
. Pierre-Louis Curien. (Inglés)
M3
Combinando enfoques complementarios en inteligencia artificial para mejorar las tareas de predicción
. María-Cristina Marinescu. (Español)
Turno Tarde (13:30 a 16:30)
T1
Aspectos algorítmicos de clases de grafos cerradas por menores
. Ignasi Sau Valls. (Español, slides en inglés)
T2
On Randomization in (Higher-order) programming
. Ugo Dal Lago. (Inglés)
T3
Fuzzing para Testing de Compiladores
. Guillermo Andrés Polito. (Español)
Turno Noche (18:00 a 21:00)
N1
Positional games
. Milos Stojakovic. (Inglés)
N2
Behavioural types for mainstream programming languages
. António Ravara. (Inglés)
N3
Reconstrucción 3D de humanos a partir de imágenes
. Victoria Fernandez Abrevaya. (Español)