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

Fecha / Date: 2-11-2010.

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: Ed Zalta, Stanford University, EE.UU. (website)

Título / Tittle: New results in Computational Methaphysics.

Fecha / Date: 13-10-2010.

Hora / Time: 9: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: Thomas Ågotnes, University of Berge, Norway. (website)

Título / Tittle: Group Announcement Logic.

Date:  May 20th/21th, 2010.

Location: Classroom Grades of the Faculty of Philosophy - University of Seville.

Fecha / Date: 28-04-2010.

Hora / Time: 18: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: João Marcos. LoLITA and DIMAp, UFRN / Brazil & Theory and Logic Group, Institut für Computersprachen, TU-Wien / Austria.

Título / Tittle: A uniform classic-like analytic deductive formalism for finite-valued logics.

Fecha: 1-02-2010.

Hora: 10:30 h.

Lugar: Hotel AC Málaga Palacio.

Fecha / Date: 9-11-2009.

Hora / Time: 12:00 h.

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

Ponente / Lecturer: Juan Manuel Torres (Instituto de Ciencias Básicas y Facultad de Filosofía y Letras - Universidad Nacional de Cuyo, Mendoza, Argentina).

Título / Tittle: Vieja y nueva unidad en la Ciencia.

Fecha / Date: 29-10-2009.

Hora / Time: 13:00 h.

Lugar / Location: Seminario del módulo E1 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: Tim French (The University of Western Australia).

Título / Tittle: A logic for informative events.

Fecha / Date: 22-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 logic of intentionality and adverbial constructions.

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.