Presentación_prole

XII Jornadas sobre Programación y Lenguajes

Las Jornadas de PROgramación y LEnguajes (PROLE) constituyen un marco propicio de reunión, debate y divulgación para los grupos españoles que investigan en temas relacionados con la programación y los lenguajes de programación. Con la organizacón de este evento nacido en 2001, de carácter anual, se pretende fomentar el intercambio de experiencias y resultados, así como la comunicación y cooperación entre dichos grupos. La XII edición de estas Jornadas (PROLE'12) tendrá lugar en Almería del 17al 20 de septiembre de 2012, y estará acompañada por el Taller sobre Programación Funcional (TPF'12), junto a las XVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD'12), auspiciadas por la Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES). En el ámbito de PROLE son bienvenidos tanto los trabajos teóricos, como los que desarrollan aspectos prácticos relativos a la especificación, diseño, implementación, análisis y verificación de programas y lenguajes de programación, incluyendo el uso de métodos formales en los procesos de desarrollo del software. En este ámbito, son especialmente relevantes los trabajos que describen el desarrollo de aplicaciones con herramientas y sistemas software existentes, así como demostraciones de herramientas y sistemas en este contexto.