El próximo viernes 18 de Junio se va celebrar un seminario, dentro del Grupo de investigación de Lógica Computacional(al que pertenezco) sobre la Verificación de los sistemas de Control Aéreo.
El ponente será Cesar A. Muñoz, investigador de la NASA y destacado investigador en métodos formales.
Espero que os guste
Para más información: Aquí