Archivo de noviembre de 2010

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.

RA2010: Ejercicios de razonamiento proposicional con Isabelle

La clase de hoy del curso de Razonamiento automático ha consistido en la formalización en Isabelle/Isar de demostraciones por deducción natural en lógica proposicional. Para ello se han formalizado todas las demostraciones del tema de deducción natural proposicional del curso de Lógica informática

Las formalizaciones realizadas en clase se encuentran en el siguiente documento
Leer el resto de esta entrada »

Oferta de Erasmus para este curso

Esta es la oferta que hay para masters abierta este año. Es algo corta, pero la Escuela intentará ampliarla para próximos cursos. Aquellos interesados deben contactar antes del día 29  con la profesora Maria José Escalona, que les facilitará detalles. Se ha abierto un plazo especial para máster hasta el 20 de diciembre.  Estas ayudas son muy buenas si los alumnos quieren hacer estancias para tesis europeas, etc.  Si hay interés por parte de algún alumno/profesor de vuestro master, por favor que contacte conmigo lo antes posible. La oferta de este año comprende los siguientes centros:

  • Université de la Meditterranee. Faculté des Sciences de Luminy
  • Université Paris Val de Marne. Faculté des Sciences et Technologie
  • Universidad de Luxemburgo

Presentación del curso Representación del conocimiento en la Web

He subido a Slideshare las transparencias de presentación del curso

RA2010: Razonamiento proposicional con Isabelle

En la clase de hoy del curso de Razonamiento automático se ha visto cómo se puede escribir en Isabelle/Isar demostraciones de la lógica proposicional.

En la clase se ha presentado desde la página 15 a la 21 de los apuntes
Leer el resto de esta entrada »