Seminarios y actividades

Fecha / Date: 21-10-2009.

Hora / Time: 12:00 h.

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

Ponente / Lecturer: Paul Gochet (Universidad de Lieja).

Título / Tittle: The K.A.R.O. architecture and the Situation Calculus.

Fecha / Date: 20-10-2009.

Hora / Time: 12:00 h.

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

Ponente / Lecturer: Paul Gochet (Universidad de Lieja).

Título / Tittle: The B.D.I. architecture and the STIT logic. Steps toward a combination of the two formalisms.

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 / 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 / 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.