Jornadas de Lógica, Computación e Inteligencia Artificial

El programa de las Jornadas es el siguiente:

Martes 30 de noviembre (Salón de Grados de la ETSII):
- 17:00-17:30 Joaquín Borrego Díaz (coordinador del Máster): Presentación de las Jornadas
- 18:00-19:00 Jorg Flum: Lógicas para PTime y sistemas de demostración
- 19:00-20:00 Mario de J. Pérez Jiménez: De la conjetura de Friedman a la modelización del mejillón cebra
Miércoles 1 de diciembre (Salón de Grados de la ETSII):
- 17:00-18:00 Enrique Casanovas Ruiz-Fornells: Pregeometrías e Independencia
- 18:30-19:15 Andrés Cordón Franco: Lógicas modales. Aplicaciones al estudio de protocolos de comunicación incondicionalmente seguros
- 19:15-20:00 José Antonio Alonso Jiménez: Lógica Computacional en Sevilla (30 años en una hora)
Jueves 2 de diciembre (Salón de Grados de la Facultad de Biología):
- 17:00-17:45 Antonio Paredes Moreno: En torno a la interoperabilidad semántica en la empresa
- 18.15-19:00 Ignacio Pérez-Hurtado de Mendoza: Trayectoria de una Tesis Doctoral: Herramientas de simulación para Membrane Computing
- 19:00-19:45 Francisco F. Lara Martín: Modelos de la Aritmética y complejidad computacional implícita