junio 13th, 2010
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í
Posted in Charla, Investigación, Verificación | Comments Off on Seminario Interesante
junio 13th, 2010
Hola a todos,
El próximo Lunes y Martes se celebrarán las “II JORNADAS CIENTÍFICO-TÉCNICAS DE DIFUSIÓN DE LA TECNOLOGÍA MULTIAGENTE” con una serie de conferencias que os pueden ser de mucho interés.
Yo impartiré un Taller sobre programación de SMA en JADE, el martes 15.
Para más información: http://jmas.us.es
Posted in Investigación, JADE, Taller | Comments Off on Jornadas MultiAgentes – Taller JADE