Las Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2025) se celebrarán este año los días 16 y 17 de junio en en Roquetas de Mar (Almería).
Nuestro compañero, el profesor Javier Fabra forma parte del comité organizador.
Temas de interés
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)
Aplicaciones (programación paralela, programación distribuida, servicios distribuidos)
Sistemas operativos distribuidos; middleware (grid, cloud, overlays, P2P); bases de datos distribuidas
Sistemas tolerantes a fallos; sistemas escalables; sistemas de tiempo real
Blockchain y registros distribuidos
Algoritmos y protocolos concurrentes y distribuidos; protocolos de comunicación
Computación móvil y ubicua; redes de sensores
Enlaces: https://www.jcsd.es/
