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

Fecha / Date: 15-5-2012.

Hora / Time: 11:15 h.

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

Ponente / Lecturer: Hans P. Van Ditmarsch, Ignacio Hernández Antón y Fernando Soler Toscano.

Título / Tittle: Virtual agents for modelling cryptographic protocols in DEL.

Fecha / Date: 15-5-2012.

Hora / Time: 10:00 h.

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

Ponente / Lecturer: Barteld Kooi (Department of Theoretical Philosophy - University of Groningen).

Título / Tittle: Correspondence Theory for Many-Valued Logic. [joint work with Allard Tamminga]

Fecha / Date: 8-5-2012.

Hora / Time: 10:00 h.

Lugar / Location: Seminario del módulo H1 del Departamento de Ciencias de la Computación e Inteligencia Artificial, Escuela Técnica Superior de Ingeniería Informática - Universidad de Sevilla.

Ponente / Lecturer: Ignacio Hernández Antón.

Título / Tittle: Genetic protocols. [brainstorming]

Fecha / Date: 10-4-2012.

Hora / Time: 10: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: Diálogos y lógica constructiva. [work in progress]

Fecha / Date: 20-3-2012.

Hora / Time: 10:15 h.

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

Ponente / Lecturer: Fernando R. Velázquez Quesada.

Título / Tittle: Introspection as an action. [work in progress]

Fecha / Date: 12-3-2012.

Hora / Time: 17:30 h.

Lugar / Location: Classroom 120 of the Faculty of Philology – University of Seville.

Ponente / Lecturer: Yi Wang.

Título / Tittle: Subset space logic.

Fecha: 3-3-2012.

Horario: 9:55/14:45 h.

Lugar: Escuela de Informática y Telecomunicación - Universidad de Granada, C/ Periodista Daniel Saucedo Aranda, s/n (Granada).

Fecha / Date: 14-2-2012.

Hora / Time: 10:00 h.

Lugar / Location: Seminario del módulo H1 del Departamento de Ciencias de la Computación e Inteligencia Artificial, Escuela Técnica Superior de Ingeniería Informática - Universidad de Sevilla.

Ponente / Lecturer: David Fernández Duque.

Título / Tittle: From Russia with love.

Fecha / Date: 7-2-2012.

Hora / Time: 10:00 h.

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

Ponente / Lecturer: Hans P. Van Ditmarsch y Fernando R. Velázquez Quesada.

Título / Tittle: Action models for knowledge and awareness.

Fecha / Date: 31-1-2012.

Hora / Time: 10: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: Lógica de Contextos: variación y aplicaciones. [work in progress]