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

Instituto de Ingeniería Informática de la Universidad de Sevilla