Lógica Computacional en Sevilla (30 años en una hora)
Ayer, en las Jornadas de Lógica, Computación e Inteligencia Artificial, hice una presentación sobre el desarrollo de la investigación de la Lógica computacional en la Universidad de Sevilla desde sus comienzos (en el Seminario de Lógica Matemática del curso 1980-81) hasta la actualidad.
El título de la presentación fue Lógica Computacional en Sevilla (30 años en una hora).
Las transparencias usadas en la presentación son las que se muestran a continuación