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

Teoría, ciencia, investigación y aplicaciones

Sevilla, 30 de Noviembre y 1,2 de Diciembre de 2010

Universidad de Sevilla

 

El Máster de Lógica, Computación e Inteligencia Artificial ( del que forma parte el programa de doctorado con el mismo nombre, con mención de calidad otorgada por la ANECA, referencia 2007-00137), es impartido por el Departamento de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla. El Departamento organiza, con motivo de la apertura del periodo docente 2010-11 de dicho programa, las III Jornadas de Lógica, Computación e Inteligencia Artificial. En dichas jornadas se pretende ofrecer, tanto a los alumnos del citado programa como a todo aquel interesado en este campo, una visión de algunas de las líneas de investigación que se desarrollan en España. Suponen, asímismo, una continuación de las I Jornadas y de las II Jornadas.

A la hora de diseñar su contenido, hemos pretendido describir el recorrido natural de los procesos de I+D+i, desde su germen en seminarios de investigación y tesis doctorales hasta los resultados de innovación. Como en ediciones anteriores, a la hora de elegir a los ponentes hemos combinado tanto a  investigadores de reconocido prestigio como a recientes doctores que puedan trasladar a los asistentes a estas jornadas (y especialmente a los alumnos de doctorado) la experiencia académica, personal y profesional que supone la realización de una tesis doctoral.

A quién va dirigido

Las Jornadas van dirigidas a estudiantes de doctorado, profesores, e investigadores, así como a alumnos de los últimos cursos de estudios superiores científico-tecnológicos, especialmente Ingenierías, Matemáticas, Estadística y Física.

Localización

Las Jornadas tendrán lugar en Salón de grados de la E.T.S. Ingeniería Informática, sito en la Avda. Reina Mercedes s/n. 41012-SEVILLA

Inscripción

La inscripción a las Jornadas es gratuita, exceptuando la cena del Miércoles 1 de Diciembre. Si desea asistir a dicha cena, contacte con alguno de los organizadores.

Para inscribirse a las jornadas, por favor, rellene el siguiente formulario con sus datos, indicando si necesita certificado de asistencia y/o asiste a la cena.

Para más información, contacten con jborrego@us.es

Programa:

Martes 30:

  • Joaquín Borrego Díaz (coordinador del Máster): Presentación de las Jornadas
  • Jorg Flum:  Lógicas para PTime y sistemas de demostración
  • Mario de J. Pérez Jiménez. De la conjetura de Friedman a la modelización del mejillón cebra

Miércoles 1:

  • Enrique Casanovas Ruiz-Fornells: Pregeometrías e Independencia
  • Andrés Cordón Franco: Lógicas modales. Aplicaciones al estudio de protocolos de comunicación incondicionalmente seguros
  • José Antonio Alonso Jiménez: Lógica Computacional en Sevilla (30 años en una hora)

Jueves 2:

  • Antonio Paredes Moreno: En torno a la interoperabilidad semántica en la empresa
  • Ignacio Pérez-Hurtado de Mendoza: Trayectoria de una Tesis Doctoral: Herramientas de simulación para Membrane Computing
  • Francisco F. Lara Martín: Modelos de la Aritmética y complejidad computacional implícita

 

Conferenciantes Invitados.

Anuncios