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)