Archivo de la categoría ‘Eventos’

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 (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
  • 17:30-18:00 Café
  • 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 (Salón de Grados de la ETSII):

  • 17:00-18:00 Enrique Casanovas Ruiz-Fornells: Pregeometrías e Independencia
  • 18:00-18:30 Café
  • 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 (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
  • 17:45-18:15 Café
  • 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

Conferenciantes Invitados.