Estas son las transparencias que usé para presentar el doctorado en las II Jornadas de Lógica, Computación e Inteligencia Artificial, celebradas en la ETS Ing. Informática de la U. de Sevilla, los días 16 y 17 de Noviembre de 2009

1. II Jornadas de Lógica, Computación e IA
Presentación:
La investigación como
pilar de la innovación
Joaquín Borrego Díaz
Coordinador del programa de doctorado
Departamento de Ciencias de la Computación e IA
Universidad de Sevilla

2. II Jornadas de Lógica, Computación e IA
Presentación:
La investigación como
pilar de la innovación
Joaquín Borrego Díaz
Coordinador del programa de doctorado
Departamento de Ciencias de la Computación e IA
Universidad de Sevilla

3. Presentación:
La investigación en el doctorado

4. Presentación:
La investigación en el doctorado
Programa de doctorado e investigación
Ciencia e I+D+I: ejemplos relacionados
con el Departamento de CCIA
Las jornadas

5. Programa de doctorado
“Lógica, Computación e Inteligencia
Artificial”
Tres líneas principales de investigación:
Lógica Matemática
Ciencias de la Computación
Inteligencia Artificial
Alto componente investigador en el departamento
Seis proyectos de Investigación (4 nacionales y 3 internacionales)
Un proyecto de excelencia
Coordinación de una red temática
Más datos en http://doctorado.cs.us.es/web/
En los últimos cinco años, 12 tesis doctorales (3 doct. europeo, 2
premios extraordinarios)
Actualmente hay 24 alumnos (docencia, investigación, tesis)

6. Programa de doctorado
“Lógica, Computación e Inteligencia
Artificial”
Tres líneas principales de investigación:
Lógica Matemática
Ciencias de la Computación
Inteligencia Artificial
Alto componente investigador en el departamento
Seis proyectos de Investigación (4 nacionales y 3 internacionales)
Un proyecto de excelencia
Coordinación de una red temática
Más datos en http://doctorado.cs.us.es/web/
En los últimos cinco años, 12 tesis doctorales (3 doct. europeo, 2
premios extraordinarios)
Actualmente hay 24 alumnos (docencia, investigación, tesis)

7. Vocación Internacional

8. Vocación Internacional
Rumanía Mongolia
Italia
España
México China
Portugal
Irak
Colombia
Jordania
Ecuador
Bolivia Brasil
Establecimientos de acuerdos Erasmus para
doctorado/máster

9. Filosofía Fundamental
La ciencia es el pilar del desarrollo tecnológico y de
la innovación...
...Y la ciencia se basa en la teoría, en la investigación

10. Filosofía Fundamental
La ciencia es el pilar del desarrollo tecnológico y de
la innovación...
...Y la ciencia se basa en la teoría, en la investigación

12. CYBERSYN Investigación
Stafford Beer Proceso Teórico
(Chile, 1973) Desarrollo
Proceso Científico
Innovación
Proceso de Ingeniería

13. La Formalización y el
razonamiento
Son características fundamentales del programa
Razonamiento matemático sobre la computabilidad
Grupo de Lógica Matemática
Modelos de computación no convencionales
Grupo de Computación Natural
Razonamiento automático y lógica computacional
Grupo de Lógica Computacional

14. Un cto +I
ye l I+D a
La Formalización y el
ro a íne
razonamiento
p n
o da l
ci a
na n c
e
Son características fundamentales del programa
Razonamiento matemático sobre la computabilidad
Grupo de Lógica Matemática
Modelos de computación no convencionales
Grupo de Computación Natural
Razonamiento automático y lógica computacional
Grupo de Lógica Computacional

15. Ejemplo I: La teoría
P-Sistemas (G. Paun)
Nuevo Modelo de computación
Propiedades interesantes:
Complejidad
Universalidad
No determinismo
Paralelismo masivo
...

16. Ejemplo I: La teoría
P-Sistemas (G. Paun)
Nuevo Modelo de computación
Propiedades interesantes:
Complejidad
Universalidad
No determinismo
Paralelismo masivo
...

17. Ejemplo I: Aplicaciones
Modelización/simulación de
procesos biológicos
Tumores
Simulación de modelos en
ecología
Conservación de especies
(quebrantahuesos)
Especies invasoras
(mejillón cebra)
...

18. Ejemplo I: Aplicaciones
Modelización/simulación de
procesos biológicos
Tumores
Simulación de modelos en
ecología
Conservación de especies
(quebrantahuesos)
Especies invasoras
(mejillón cebra)
...

19. Ejemplo II: La teoría
Evariste Galois (1811-1832)
Trabajos revolucionarios
en teoría de grupos
Conexiones de Galois
Garrett Birkhoff (1911-1996)
Resultados en teoría de
retículos

20. Ejemplo II: La teoría
Evariste Galois (1811-1832)
Trabajos revolucionarios
en teoría de grupos
Conexiones de Galois
Garrett Birkhoff (1911-1996)
Resultados en teoría de
retículos

21. Ejemplo II: Aplicaciones
Análisis Formal de Conceptos
Matematización de conceptos
y sus relaciones (retículo
completo) mediante una
conexión de Galois
Aplicaciones en Medicina,
Minería de Datos, Web
Semántica, Web 2.0, etc.
Web Semántica Móvil 2.0
Mowento

22. Ejemplo II: Aplicaciones
Análisis Formal de Conceptos
Matematización de conceptos
y sus relaciones (retículo
completo) mediante una
conexión de Galois
Aplicaciones en Medicina,
Minería de Datos, Web
Semántica, Web 2.0, etc.
Web Semántica Móvil 2.0
Mowento

23. Ejemplo III: La teoría
Transversales a todas las
líneas de investigación:
Lógica Matemática
Teoría de clases y
conjuntos
Teoría de la computabilidad
y complejidad
Lenguajes formales
Lógica Computacional
Programación lógica
Sistemas basados en
conocimiento
Razonamiento automático

24. Ejemplo III: La teoría
Transversales a todas las
líneas de investigación:
Lógica Matemática
Teoría de clases y
conjuntos
Teoría de la computabilidad
y complejidad
Lenguajes formales
Lógica Computacional
Programación lógica
Sistemas basados en
conocimiento
Razonamiento automático

25. Ejemplo III: Aplicaciones
Control inteligente de
maquinaria industrial
mediante sistema experto
Procesamiento del lenguaje
natural
Verificación de sistemas
inteligentes
Razonamiento
Automático para la
Web Semántica
Aplicaciones
empresariales

26. Ejemplo III: Aplicaciones
Control inteligente de
maquinaria industrial
mediante sistema experto
Procesamiento del lenguaje
natural
Verificación de sistemas
inteligentes
Razonamiento
Automático para la
Web Semántica
Aplicaciones
empresariales

27. Espíritu de las II Jornadas
Doctores relacionados
con las líneas de
investigación
Doctorado como base de
una carrera profesional e
investigadora
Se aprende a
investigar en las
universidades
La ciencia como pilar
de la verdadera I+D+i

28. Espíritu de las II Jornadas
Doctores relacionados
con las líneas de
investigación
Doctorado como base de
una carrera profesional e
investigadora
Se aprende a
investigar en las
universidades
La ciencia como pilar
de la verdadera I+D+i Vítores en la Catedral de Sevilla

29. Presentaciones de hoy

30. Presentaciones de hoy
16:30 Francisco J. Romero Campero (Universidad de
Nottingham): Modelos multicompartimentales en biología
de sistemas y biología sintética
17:15 David Fernández Duque (Universidad de Sevilla): ¿Qué
tiene que ver la lógica con la topología?
18:00 Café
18:30 José F. Quesada Moreno (Infinity - Grupo Vocalcom):
6000 días y algunas noches de lenguaje natural: ¿un
sueño? ¿una pesadilla? Un enfoque multidisciplinar en
la Ingeniería del Lenguaje Natural

31. Presentaciones de mañana

32. Presentaciones de mañana
09:30 Agustín Riscos Núñez (Universidad de Sevilla):
¿Saben sumar las células?
10:30 Francisco García Sánchez (Universidad de
Murcia): Agentes Inteligentes y Servicios Web
Semánticos: ¿amigos o enemigos?

33. ¡Disfrutemos de las charlas!
http://doctorado.cs.us.es/web/
Joaquín Borrego Díaz
Coordinador del programa de doctorado
Departamento de Ciencias de la Computación e IA
Universidad de Sevilla
jborrego@us.es

34. ¡Disfrutemos de las charlas!
http://doctorado.cs.us.es/web/
Joaquín Borrego Díaz
Coordinador del programa de doctorado
Departamento de Ciencias de la Computación e IA
Universidad de Sevilla
jborrego@us.es