| TRABAJOS FIN DE GRADO - FACULTAD DE INFORMATICA | ||||||
| DOBLE GRADO EN INGENIERIA INFORMATICA-MATEMATICAS | ||||||
| PRESENTACIONES SEPTIEMBRE 2018 | ||||||
| Sesión DG-SIC1: jueves 20 de septiembre - 16:00h - Aula 10 | ||||||
| Presidente de la sesión: Paco Lopez | ||||||
| Ponentes | Título | Directores | Tribunal | |||
| Beatriz Coronado Sanz | Algoritmos de búsqueda de subcadenas para encontrar semejanzas en cadenas numéricas | Isabel Pita, Alberto Verdejo | Paco Lopez | |||
| Manuel Nuñez | ||||||
| Javier Sagredo Tamayo | Generación de casos de prueba tipo caja blanca mediante restricciones | Ricardo Peña | Mercedes Garcia | |||
| Sesión DG-SIC2: viernes 21 de septiembre - 09:00h - Aula 7 | ||||||
| Presidente de la sesión: Ricardo Peña | ||||||
| Ponentes | Título | Tribunal | ||||
| Miguel Benito Parejo | An effective method to decide bounded reordering conformance in the distributed test architecture | Mercedes García Merayo, Manuel Nuñez | Ricardo Peña | |||
| Alberto Verdejo | ||||||
| Ignacio de Casso San Román | Computing distances among abstract interpretations: theory and practice | Francisco López Fraguas, Manuel Hermenegildo (IMDEA) | ||||
| Isabel Pita | ||||||
| Sesión DG-ISIA: miércoles 19 de septiembre - 10:00h - Sala de reuniones auxiliar | ||||||
| Presidente de la sesión: Guillermo Jimenez | ||||||
| Ponentes | Título | Directores | Tribunal | |||
| Gabriel David Modia Pozuelo | Jugadores automáticos basados en árboles de búsqueda de Monte Carlo | Anonio Sanchez Ruiz-Granados, Gonzalo Mendez | Guillermo Jiménez Díaz | |||
| Pedro Pablo Gómez Martín | ||||||
| Carlos Cervigón Rückauer | ||||||