Grupo de Investigación en Lógica, Lenguaje e Información (GILLIUS) UNIVERSIDAD DE SEVILLA

Fecha / Date: 19-10-2009.

Hora / Time: 12:00 h.

Lugar / Location: Seminario de Lógica de la Facultad de Filosofía - Universidad de Sevilla.

Ponente / Lecturer: Tero Tulenheimo (Universidad de Lille3).

Título / Tittle: A survey on IF Modal Logic.

Fecha / Date: 15-10-2009.

Hora / Time: 12:00 h.

Lugar / Location: Seminario de Lógica de la Facultad de Filosofía - Universidad de Sevilla.

Ponente / Lecturer: Ángel Nepomuceno Fernández.

Título / Tittle: Introducción a la IF logic.

Fecha: 25-9-2009.

Fecha / Date: 30-3-2009.

Hora / Time: 17:00 h.

Lugar / Location: Seminario de Lógica del Dpto. de Filosofía y Lógica y Filosofía de la Ciencia - Universidad de Sevilla.

Ponente / Lecturer: Hans van Ditmarsch.

Título / Tittle: On knowledge, knowability, and ability.

Resumen/ Abstract:

Fecha: 26/27-2-2009.

Horario: 13:00/20:00 h. (jueves) y 10:00/20:00 h. (viernes).

Lugar: Aula de Grados de la Facultad de Filosofía - Universidad de Sevilla.

Fecha / Date: 24-2-2009.

Hora / Time: 17:00 h.

Lugar / Location: Seminario de Lógica de la Facultad de Filosofía - Universidad de Sevilla.

Ponente / Lecturer: Max Freund (Universidad Nacional de Costa Rica).

Título / Tittle: Lógica Epistémica y Lógica de Sortales.

Fecha / Date: 29-1-2009.

Hora / Time: 17:00 h.

Lugar / Location: Seminario de Lógica de la Facultad de Filosofía - Universidad de Sevilla.

Ponente / Lecturer: Francisco José Salguero Lamillar.

Título / Tittle: Árboles semánticos para sistemas normales de lógica modal con interpretación mixta de los operadores.

Fecha / Date: 4-12-2008.

Hora / Time: 9:30 h.

Lugar / Location: Seminario de Lógica de la Facultad de Filosofía - Universidad de Sevilla.

Ponente / Lecturer: Fernando Soler Toscano.

Título / Tittle: Métodos formales para verificación de protocolos de seguridad.

Fecha / Date: 17-11-2008.

Hora / Time: 10:00 h.

Lugar / Location: Aula de Grados de la Facultad de Filosofía - Universidad de Sevilla.

Ponente / Lecturer: Pablo Lorenzano (Universidad Nacional de Quilmes/CONICET).

Título / Tittle: La genética y la estructura de las revoluciones científicas.

Fecha / Date: 13-11-2008.

Hora / Time: 9:30 h.

Lugar / Location: Seminario de Lógica de la Facultad de Filosofía - Universidad de Sevilla.

Ponente / Lecturer: David Fernández Duque.

Título / Tittle: Semántica topológica para lógicas no clásicas.