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

Fecha / Date: 19-11-2012.

Hora / Time: 10:30 h.

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

Ponente / Lecturer: Hans P. van Ditmarsch.

Título / Tittle: Lógica de las mentiras.

Fecha: 29/31-10-2012.

Lugar: Foundation of the Faculty of Sciences of the University of Lisbon.

Fecha / Date: 15-10-2012.

Hora / Time: 10:15 h.

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

Ponente / Lecturer: Cristina Barés.

Título / Tittle: Semántica formal para las partículas negativas la/al en ugarítico.

Fecha / Date: 3-10-2012.

Hora / Time: 10:00 h.

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

Ponente / Lecturer: Fernando Velázquez.

Título / Tittle: Conocimiento e inferencia en modelos de vecindad.

Fecha / Date: 3-7-2012.

Hora / Time: 10:00 h.

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

Ponente / Lecturer: Andrés Ángel.

Título / Tittle: Una Teoría de Homotopía para Teoría de Conjuntos.

Fecha: 18/20-6-2012.

Horario: 9:00/19:00 (lunes y martes) y 9:00/17:50 (miércoles).

Lugar: Campus Fábrica de Tabacos.

Leer más

Fecha: 14-06-2012 (Taller Formativo) y 15-06-2012 (II Braingstorming).

Horario: 10:30/13:30 (Taller Formativo) y 10:20/18:30 (II Braingstorming)

Lugar: Aula F2 (Taller Formativo) y Aula de Grados (II Braingstorming) de la Facultad de Filosofía - Universidad de Sevilla.

Leer más

Fecha / Date: 29-5-2012.

Hora / Time: 10:00 h.

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

Ponente / Lecturer: Atocha Aliseda Llera.

Título / Tittle: Propiedades estructurales para la inferencia clásica.

Fecha / Date: 23-5-2012.

Hora / Time: 10:30 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: An arithmetic interpretation of transfinite provability logic.