III Jornadas   Lógica, Computación e    Inteligencia ArtificialSevilla, 30 de Noviembre y 1,2 de Diciembre de 2010
III Jornadas       Lógica, Computación e        Inteligencia Artificial    Sevilla, 30 de Noviembre y 1,2 de Diciembre de 2...
Contenido
Presentación del Máster
Presentación del Máster• Máster Universitario• Aprobado para este curso 2010-11• De orientación investigadora• Amplía la o...
Programa de doctorado
Programa de doctorado• Mención de Calidad (referencia 2007-00137)• 17 tesis doctorales• Colaboran tres grupos de investiga...
Proyectos deInvestigación nacionales
Proyectos deInvestigación nacionales• Computación Celular: Aplicaciones a la  Biología de Sistemas y Sintética  (TIN2009-1...
Cursos
Cursos•   Aprendizaje Automático•   Computación Bioinspirada•   Ingeniería del Conocimiento•   Métodos Computacionales en ...
Tema de las Jornadas:de la ciencia a la Ingeniería
Tema de las Jornadas:    de la ciencia a la Ingeniería•   La Teoría y la Ciencia como    pilar para la innovación•   La In...
Premisas• Nunca se innova sin una base teórica y un  desarrollo científico• Los resultados obtenidos/estudiados  pueden ten...
¿Por qué elegir ese      tema?
¿Por qué elegir ese      tema?• El doctorado (y el departamento, y  por tanto el máster) nacieron del  seminario de Lógica
92             9 1-      r soC u
Un resultado teórico/matemático/computacional  puede ser utilizado en aplicaciones inesperadas
Un resultado teórico/matemático/computacional  puede ser utilizado en aplicaciones inesperadas
Ejemplo• Todo cuerpo real  cerrado admite  eliminación de  cuantificadores• No sólo lo prueba,  describe un  procedimiento
Ejemplo• Todo cuerpo real  cerrado admite  eliminación de  cuantificadores• No sólo lo prueba,  describe un  procedimiento
Robótica
Robótica
Otro ejemplo:¿Dónde está ahora la Teoría de         conjuntos?
Otro ejemplo:¿Dónde está ahora la Teoría de         conjuntos?
Otro ejemplo
Otro ejemplo
El cielo del Linked Data en 2008
El cielo del Linked Data en 2008
El cielo del Linked Data en 2010
El cielo del Linked Data en 2010
Razonamiento automáticoLógica Computacional
Razonamiento automático   Lógica Computacional
¿Empleo?
¿Empleo?
Temas tratados en los seminarios
Programa
•   Martes:    •   Jorg Flum: Lógicas para PTime y sistemas de demostración    •   Mario de J. Pérez Jiménez. De la conjet...
III Jornadas   Lógica, Computación e    Inteligencia ArtificialSevilla, 30 de Noviembre y 1,2 de Diciembre de 2010
III Jornadas       Lógica, Computación e        Inteligencia Artificial    Sevilla, 30 de Noviembre y 1,2 de Diciembre de 2...
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial
Upcoming SlideShare
Loading in...5
×

Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial

721
-1

Published on

Transparencias que usé para presentar las III Jornadas de Lógica, Computación e Inteligencia Artificial (30 noviembre, 1-2 Diciembre de 2010)

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
721
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
14
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • Presentacion de las III Jornadas de Lógica, Computación Inteligencia Artificial

    1. 1. III Jornadas Lógica, Computación e Inteligencia ArtificialSevilla, 30 de Noviembre y 1,2 de Diciembre de 2010
    2. 2. III Jornadas Lógica, Computación e Inteligencia Artificial Sevilla, 30 de Noviembre y 1,2 de Diciembre de 2010Máster en Lógica,Computación eInteligencia Artificial
    3. 3. Contenido
    4. 4. Presentación del Máster
    5. 5. Presentación del Máster• Máster Universitario• Aprobado para este curso 2010-11• De orientación investigadora• Amplía la oferta del doctorado que lo precede
    6. 6. Programa de doctorado
    7. 7. Programa de doctorado• Mención de Calidad (referencia 2007-00137)• 17 tesis doctorales• Colaboran tres grupos de investigación: • Grupo de Computación Natural • Grupo de Lógica Computacional • Grupo de Lógica Matemática
    8. 8. Proyectos deInvestigación nacionales
    9. 9. Proyectos deInvestigación nacionales• Computación Celular: Aplicaciones a la Biología de Sistemas y Sintética (TIN2009-13192)• Marco Lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492)• Modelos de la aritmética y álgebras de funciones computables (MTM2008-06435).
    10. 10. Cursos
    11. 11. Cursos• Aprendizaje Automático• Computación Bioinspirada• Ingeniería del Conocimiento• Métodos Computacionales en Vida Artificial• Razonamiento Automático• Representación del Conocimiento en la Web• Seminario de Lógica Matemática y Computación• Competencias Digitales para la Enseñanza• Modelos de la Aritmética• Programación Lógica• Razonamiento Asistido por Computador• Simulación y Análisis Computacional en Biología de Sistemas• Síntesis,Verificación y Razonamiento sobre Agentes Inteligentes• Técnicas Inteligentes en Bioinformática
    12. 12. Tema de las Jornadas:de la ciencia a la Ingeniería
    13. 13. Tema de las Jornadas: de la ciencia a la Ingeniería• La Teoría y la Ciencia como pilar para la innovación• La Ingeniería como herramienta de aplicación/ producción de nuevos servicios y sistemas• La innovación es la apuesta natural para transferir conocimiento
    14. 14. Premisas• Nunca se innova sin una base teórica y un desarrollo científico• Los resultados obtenidos/estudiados pueden tener aplicación en el futuro
    15. 15. ¿Por qué elegir ese tema?
    16. 16. ¿Por qué elegir ese tema?• El doctorado (y el departamento, y por tanto el máster) nacieron del seminario de Lógica
    17. 17. 92 9 1- r soC u
    18. 18. Un resultado teórico/matemático/computacional puede ser utilizado en aplicaciones inesperadas
    19. 19. Un resultado teórico/matemático/computacional puede ser utilizado en aplicaciones inesperadas
    20. 20. Ejemplo• Todo cuerpo real cerrado admite eliminación de cuantificadores• No sólo lo prueba, describe un procedimiento
    21. 21. Ejemplo• Todo cuerpo real cerrado admite eliminación de cuantificadores• No sólo lo prueba, describe un procedimiento
    22. 22. Robótica
    23. 23. Robótica
    24. 24. Otro ejemplo:¿Dónde está ahora la Teoría de conjuntos?
    25. 25. Otro ejemplo:¿Dónde está ahora la Teoría de conjuntos?
    26. 26. Otro ejemplo
    27. 27. Otro ejemplo
    28. 28. El cielo del Linked Data en 2008
    29. 29. El cielo del Linked Data en 2008
    30. 30. El cielo del Linked Data en 2010
    31. 31. El cielo del Linked Data en 2010
    32. 32. Razonamiento automáticoLógica Computacional
    33. 33. Razonamiento automático Lógica Computacional
    34. 34. ¿Empleo?
    35. 35. ¿Empleo?
    36. 36. Temas tratados en los seminarios
    37. 37. Programa
    38. 38. • Martes: • Jorg Flum: Lógicas para PTime y sistemas de demostración • Mario de J. Pérez Jiménez. De la conjetura de Friedman a la modelización del mejillón cebra• Miércoles: • Enrique Casanovas Ruiz-Fornells: Pregeometrías e Independencia • Andrés Cordón Franco: Lógicas modales. Aplicaciones al estudio de protocolos de comunicación incondicionalmente seguros • José Antonio Alonso Jiménez: Lógica Computacional en Sevilla (30 años en una hora)• Jueves (Facultad de Biología): • Antonio Paredes Moreno: En torno a la interoperabilidad semántica en la empresa • Ignacio Pérez-Hurtado de Mendoza: Trayectoria de una Tesis Doctoral: Herramientas de simulación para Membrane Computing • Francisco F. Lara Martín Modelos de la Aritmética y complejidad computacional implícita
    39. 39. III Jornadas Lógica, Computación e Inteligencia ArtificialSevilla, 30 de Noviembre y 1,2 de Diciembre de 2010
    40. 40. III Jornadas Lógica, Computación e Inteligencia Artificial Sevilla, 30 de Noviembre y 1,2 de Diciembre de 2010Máster en Lógica,Computación eInteligencia Artificial
    1. A particular slide catching your eye?

      Clipping is a handy way to collect important slides you want to go back to later.

    ×