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
Dpto. Ciencias de la Computación e Inteligencia Artificial