Expertos de todo el mundo participarán en el foro para presentar resultados, debatir ideas y exponer proyectos relacionados con el área
La conferencia inaugural estará impartida por el profesor Hoare, conocido por la invención Quicksort, el algoritmo de computación más utilizado en el mundo
La Universidad de Granada organiza el próximo mes de septiembre el I Congreso español de Informática, dentro del que se integra el Simposio sobre Lógica Fuzzy y Soft Computing que tendrá lugar en el Palacio de Exposiciones y Congresos de Granada. El simposio está dirigido a todas las personas interesadas en la lógica difusa y sus aplicaciones, y aspira a constituir un foro de discusión en el que presentar resultados, debatir ideas y exponer proyectos relacionados con el área. Entre los temas que tienen cabida, se encuentran los relacionados con los fundamentos teóricos de la lógica fuzzy, el modelado de la incertidumbre, la adquisición y representación del conocimiento, el razonamiento aproximado, modelos y técnicas de agregación de información y toma de decisiones.
El genio difuso
La conferencia inaugural correrá a cargo del profesor Sir Charles Antony Richard Hoare, científico británico dedicado a la computación y conocido sobre todo por la invención, en 1960, de Quicksort, el algoritmo de ordenamiento más utilizado en el mundo. También se le conoce por el desarrollo de la Lógica de Hoare y por el lenguaje formal CSP, utilizado para especificar interacciones entre procesos concurrentes, que sirve de base para la definición del lenguaje de programación OCCAM. Hoare fue profesor de Ciencia de la Computación en Belfast en 1968 y en la Universidad de Oxford desde 1977. Actualmente es investigador en el laboratorio de Microsoft Research en Cambridge, Inglaterra. En 1980, recibió el Premio Turing por sus contribuciones fundamentales para la definición y diseño de los lenguajes de programación. Su último reto ante la comunidad científica es la creación de un compilador verificante que demuestre la corrección de los programas antes de ejecutarlos.
La Universidad de Granada organiza el próximo mes de septiembre el I Congreso español de Informática, dentro del que se integra el Simposio sobre Lógica Fuzzy y Soft Computing que tendrá lugar en el Palacio de Exposiciones y Congresos de Granada. El simposio está dirigido a todas las personas interesadas en la lógica difusa y sus aplicaciones, y aspira a constituir un foro de discusión en el que presentar resultados, debatir ideas y exponer proyectos relacionados con el área. Entre los temas que tienen cabida, se encuentran los relacionados con los fundamentos teóricos de la lógica fuzzy, el modelado de la incertidumbre, la adquisición y representación del conocimiento, el razonamiento aproximado, modelos y técnicas de agregación de información y toma de decisiones.
El genio difuso
La conferencia inaugural correrá a cargo del profesor Sir Charles Antony Richard Hoare, científico británico dedicado a la computación y conocido sobre todo por la invención, en 1960, de Quicksort, el algoritmo de ordenamiento más utilizado en el mundo. También se le conoce por el desarrollo de la Lógica de Hoare y por el lenguaje formal CSP, utilizado para especificar interacciones entre procesos concurrentes, que sirve de base para la definición del lenguaje de programación OCCAM. Hoare fue profesor de Ciencia de la Computación en Belfast en 1968 y en la Universidad de Oxford desde 1977. Actualmente es investigador en el laboratorio de Microsoft Research en Cambridge, Inglaterra. En 1980, recibió el Premio Turing por sus contribuciones fundamentales para la definición y diseño de los lenguajes de programación. Su último reto ante la comunidad científica es la creación de un compilador verificante que demuestre la corrección de los programas antes de ejecutarlos.
No hay comentarios:
Publicar un comentario