Seminario de Matemática, Lógica y Computación

Objetivos

Este seminario está organizado por el Grupo de Investigación GIMAC del Departamento de Matemática Aplicada con los siguientes objetivos:

• Fomentar la cooperación entre los distintos grupos de investigación del departamento y, en general, entre grupos de la comunidad universitaria.
• Presentar los resultados que dichos grupos obtienen, así como algunas pinceladas históricas, de forma expositiva y accesible tanto para el profesorado como para estudiantes de segundo ciclo.
• Albergar las conferencias impartidas por profesores invitados por el grupo.

• Deducción Automática (demostradores automáticos, aplicaciones relevantes, tendencias, etc.)
• Fundamentos Algebraicos para la Deducción Automática
• Fundamentos Matemáticos y Lógicos de la Computación
• Teoría de Colas y Lógica Probabilista
• Lógica Matemática, Computación, y Fundamentos
• ...

Sesiones 2007 (fechas exactas por determinar):

• Lógica, Matemática, Deducción Automática. Manuel Ojeda Aciego
  Fecha: 27 de Abril de 2007 (Viernes)
  Hora: 12:00
  Aula: Fecha: Junio 2007
  
  
• Herramientas Matemáticas para la Computación. Inma P. de Guzmán
  Fecha: Por determinar
  Hora: 13:00
  Aula: 2.3.1
  
  
• Criptology and neural networks. Josef Jirasek. P. J. Safárik Univ. Kosice, Slovakia
  Fecha: Junio 2007
  Hora: Fecha: Junio 2007
  Aula: Por determinar
  
  
• On probability and informatics (to be fixed). Ivan Zezula. P. J. Safárik Univ. Kosice, Slovakia
  Fecha: Junio 2007
  Hora: Por determinar
  Aula: Por determinar
  
  
• Desplegado de funciones en entorno multi-adjunto. Ginés Moreno. Univ. Castilla-La Mancha
  Fecha: Junio 2007
  Hora: Fecha: Junio 2007
  Aula: Por determinar
  
  
• Relational Logics and Their Applications. Joanna Golinska-Pilárek. National Institute of Telecommunications, Poland
  Fecha: 17-21 septiembre 2007
  Hora: Por determinar
  Aula: Por determinar
  
  

---

[ Dept. Matemática Aplicada] [ GIMAC] [Resúmenes ]