Materia: Seminario Avanzado sobre Modelos y Algoritmos para el Análisis de Sistemas