[SELLO]
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
-----------------------------------------------------------------
Grupos de investigación:

* Grupo de Computación Natural
* Grupo de Lógica Computacional
* Grupo de Lógica Matemática

Centros de investigación:

* Instituto de Matemáticas de la Universidad de Sevilla
-----------------------------------------------------------------