UHU - Gonzalo A. Aranda-Corral » seminario http://www.uhu.es/gonzalo.aranda Cuaderno de docencia y otras cosas... Thu, 23 Apr 2026 10:52:49 +0000 es-ES hourly 1 http://wordpress.org/?v=4.2 Seminario Interesante http://www.uhu.es/gonzalo.aranda/2010/06/seminario-interesante/ http://www.uhu.es/gonzalo.aranda/2010/06/seminario-interesante/#comments Sun, 13 Jun 2010 12:44:09 +0000 http://www.uhu.es/gonzalo.aranda/?p=70 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í

]]> http://www.uhu.es/gonzalo.aranda/2010/06/seminario-interesante/feed/ 0