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