Jornadas

La próxima semana se celebrarán en Sevilla las III 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

Se puede obtener más información en la página de las III Jornadas de Lógica, Computación e Inteligencia Artificial.