Archivos Mensuales: noviembre 2010

III Jornadas de Lógica, Computación e Inteligencia Artificial

Publicado el por

Teoría, ciencia, investigación y aplicaciones

Sevilla, 30 de Noviembre y 1,2 de Diciembre de 2010

Universidad de Sevilla

 

El Máster de Lógica, Computación e Inteligencia Artificial ( del que forma parte el programa de doctorado con el mismo nombre, con mención de calidad otorgada por la ANECA, referencia 2007-00137), es impartido por el Departamento de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla. El Departamento organiza, con motivo de la apertura del periodo docente 2010-11 de dicho programa, las III Jornadas de Lógica, Computación e Inteligencia Artificial. En dichas jornadas se pretende ofrecer, tanto a los alumnos del citado programa como a todo aquel interesado en este campo, una visión de algunas de las líneas de investigación que se desarrollan en España. Suponen, asímismo, una continuación de las I Jornadas y de las II Jornadas.

A la hora de diseñar su contenido, hemos pretendido describir el recorrido natural de los procesos de I+D+i, desde su germen en seminarios de investigación y tesis doctorales hasta los resultados de innovación. Como en ediciones anteriores, a la hora de elegir a los ponentes hemos combinado tanto a  investigadores de reconocido prestigio como a recientes doctores que puedan trasladar a los asistentes a estas jornadas (y especialmente a los alumnos de doctorado) la experiencia académica, personal y profesional que supone la realización de una tesis doctoral.

A quién va dirigido

Las Jornadas van dirigidas a estudiantes de doctorado, profesores, e investigadores, así como a alumnos de los últimos cursos de estudios superiores científico-tecnológicos, especialmente Ingenierías, Matemáticas, Estadística y Física.

Localización

Las Jornadas tendrán lugar en Salón de grados de la E.T.S. Ingeniería Informática, sito en la Avda. Reina Mercedes s/n. 41012-SEVILLA

Inscripción

La inscripción a las Jornadas es gratuita, exceptuando la cena del Miércoles 1 de Diciembre. Si desea asistir a dicha cena, contacte con alguno de los organizadores.

Para inscribirse a las jornadas, por favor, rellene el siguiente formulario con sus datos, indicando si necesita certificado de asistencia y/o asiste a la cena.

Para más información, contacten con jborrego@us.es

Programa:

Martes 30:

  • Joaquín Borrego Díaz (coordinador del Máster): Presentación de las Jornadas
  • 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 1:

  • 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 2:

  • 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

 

Conferenciantes Invitados.

EBE10, el valor de la evolución. Apuntes de un asistente

Publicado el por
Cartel del EBE10

Bueno, se acabó el EBE10. Se acabaron tres días repletos de conferencias, desvirtualizaciones y contactos con conocidos. De hecho, esas tres actividades marcan la actividad de uno de los eventos sobre la Web Social más importantes a nivel europeo. Me siento un poco anonadado ante la dimensión que ha tomado el evento, la importancia de su celebración y el impacto mediático (e incluso económico) que consigue. No voy a resumir el evento; esa tarea la han realizado de manera excepcional muchos blogueros bajo el paraguas del eventoblog. Solo voy a apuntar lo que más me llamó la atención:

  • Twitter se ha convertido en una herramienta imprescindible en este tipo de eventos. EBE ha resuelto el problema de la infoxicación (la avalancha de twitts con el hashtag #EBE10 era impresionante) filtrándolos para que en la sala fuera posible leer los más interesantes usando chameleontools.
  • El control del tiempo en las conferencias ha sido modélico. Ese control permitía en cierta medida cambiar cómodamente de sala.
  • Las conferencias siguen más o menos la tradición EBE: hay de todo tipo. Esa tradición es, contrariamente a lo que podría parecer, un activo muy importante del evento. Es de las pocas reuniones donde puedes cambiar de charlas técnicas a otras puramente frikis o geeks sin ningún problema.
  • Si me pongo las gafas de profesor/investigador, me llama la atención que el discurso en la web social (en España) siga girando alrededor de las mismas cuestiones. No digo que no sean importantes, pero temas como la neutralidad de la red, el negocio de los blogs, el software libre, etc. ya han sido muy tratados. Sin embargo, temas que nos van a afectar o que van a suponer un nicho excepcional para nuevos proyectos (emprendimiento) apenas han sido tratados: linkeddata, opendata, redes sociales móviles y las mashups de transformación de conocimiento. Una excepción: la presentación de GLASS por parte de uno de sus promotores, Joaquin Ayuso. Con la misma filosofía básica de Layers, su promotor esbozó su ámbito, que parece abarcar también una suerte de Layar.
  • En mi opinión, hubo dos o tres conferencias que no han cumplido las expectativas creadas. A estas alturas de la Web Social no tienen interés las conferencias fabricadas recopilando productos de la WWW (vídeos, imágenes, portadas, etc.) porque todos tenemos esas experiencias. Lo que interesa son las conclusiones, la digestión de la información y su exposición crítica. Sobre todo, nuevos apuntes, no ideas ya conocidas.
  • Posiblemente faltaban actividades de carácter introductorio. Creo que sería necesario mantener en todos los EBE talleres de introducción sobre blogs y CMS, fundamentalemente. Por ejemplo, los amigos de Mecus podían haber trasladado algunos de sus interesantes seminarios a una sesión paralela.
  • Me ha gustado mucho la vertiente emprendedora de este EBE. Es una necesidad, en estos momentos, animar a que se emprenda y particularmente en la Web. Esta vertiente ha sido potenciada con De-Muestra.
  • Finalmente, me hago eco de una opinión unánime entre los profes que hemos asistido: La educación debe tener mayor protagonismo en EBE. Es en la confluencia entre la Web 2.0 y la educación donde nos jugamos parte del futuro. Ahí se están planteando retos (pedagógicos, sociales, políticos) que deben ser públicamente conocidos, para que la sociedad (y especialmente la comunidad que conforma la Web social) sea consciente de su importancia. Y también -algo incluso más importante- del papel que todos jugamos (directa o indirectamente) en la evolución de la la educación.

En el plano personal, he contactado con muchos conocidos y he conocido a muchos más. Tantos que si me pongo a enumerar no acabo. Eso es una prueba de que el networking funciona increíblemente bien en EBE. Estoy seguro que van a surgir nuevos proyectos muy interesantes.

Por último, felicito efusivamente a Luis Rull, José Luis Antúnez y Benito Castro por la modélica organización. Y por extensión a todos los que le ayudaron. Es impresionante cómo han manejado un evento que, en la práctica, ha doblado su tamaño.  Nos vemos en EBE11.