Vall de Núria, Catalunya
9, 10, 11 de Junio de 2010
Las Jornadas de Concurrencia y Sistemas Distribuidos constituyen un marco de encuentro anual y muy consolidado de los grupos españoles cuyos temas de investigación se centran en distintos aspectos de la concurrencia y los sistemas distribuidos. Entre las líneas de trabajo de estos grupos se incluyen:
- Modelos básicos de computación concurrente y distribuida (álgebras de procesos, redes de Petri, lógicas modales, máquinas de estados)
- Modelos extendidos (sistemas híbridos de tiempo real, estocásticos)
- Técnicas y herramientas de análisis (model checking, abstracción, testing)
- Lenguajes de programación (distribuidos, basados en restricciones, orientados a objetos)
- Ingeniería de protocolos (especificación, prototipado rápido, simulación, validación)
- Sistemas operativos distribuidos; Middleware (grid, cloud, overlays, p2p); Bases de datos distribuidas; Sistemas tolerantes a fallos; Sistemas escalables; Sistemas de tiempo real
- Algoritmos y protocolos concurrentes y distribuidos. Protocolos de comunicación
- Aplicaciones (programación paralela, programación distribuida, servicios distribuidos)
El objetivo fundamental de estas jornadas es dar a conocer el trabajo que los distintos departamentos universitarios, centros de investigación, departamentos de I+D y empresas del sector informático desarrollan en la actualidad en temas relacionados con la concurrencia y los sistemas distribuidos (programación concurrente, sistemas en tiempo real, modelado, análisis y control de sistemas concurrentes, lenguajes y arquitecturas, etc.)
Las Jornadas constituyen una oportunidad extraordinaria para que se establezcan vínculos de cooperación entre los grupos de investigación de las distintas universidades españolas, así como un excelente foro para que la industria y los centros de investigación coincidan e intercambien intereses y opiniones. Por otra parte, unas jornadas de este tipo dan la oportunidad a investigadores noveles para que puedan dar a conocer a la comunidad nacional sus primeros trabajos de investigación en un evento consolidado a nivel nacional.
