Seminario de Lógica y Computación

Los Seminarios de Lógica y Computación se celebrarán en el seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial. La entrada es libre hasta completar el aforo.

Próximas sesiones del seminario

Seminario del 11 de marzo de 2020

• Título: Buenos principios y finales
• Ponente: María J. Hidalgo (Grupo de Lógica Computacional - Universidad de Sevilla).
• Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
• Hora: De 11:15 a 12:15.
• Resumen: Se comentarán los principios de buena fundamentación y su uso en las demostraciones de terminación.

Sesiones anteriores

Seminario del 4 de marzo de 2020

• Título: Como decíamos ayer
• Ponente: José A. Alonso (Grupo de Lógica Computacional - Universidad de Huelva).
• Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
• Hora: De 11:30 a 12:30.
• Resumen: Se comentarán los objetivos de la nueva fase del Seminario y sus precedentes usando este resumen.

Sesiones de años anteriores

Las sesiones de años anteriores se encuentran aquí.