Morse Reseach group

Las Jornadas de Concurrencia y Sistemas Distribuidos constituyen un marco de encuentro anual y muy consolidado en el que los distintos grupos españoles que tratan distintos aspectos de la concurrencia se reúnen, y exponen sus trabajos de investigación. Las líneas de trabajo son amplias, 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, abtracció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 distribuda, servicios telemáticos)

La XV edición de estas Jornadas  se celebran en Junio de 2007 en Torremolinos (Málaga), organizadas por  la Universidad de Málaga. La sede de las Jornadas será el hotel Amaragua ubicado en un entorno que permite combinar la actividad científica con el descanso junto a las mejores playas de la Costa del Sol.