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.)