IX Jornadas sobre Programación y Lenguajes I Taller de Programación Funcional TPF

IX Jornadas sobre Programación y Lenguajes I Taller de Programación Funcional TPF

Del 8 al 11 de septiembre de 2009

Las Jornadas sobre PROgramación y LEnguajes (PROLE) se vienen consolidando como 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. Esta área de investigación, continuamente en desarrollo, comprende todo el estudio de conceptos, métodos, técnicas, fundamentos y aplicaciones relativos a la tarea de programar y a los lenguajes que se utilizan en ella. Con la organización de este evento, de carácter anual, se pretende fomentar tanto el intercambio de experiencias y resultados, como la comunicación y cooperación entre los grupos de investigadores españoles que trabajan en el área de programación y lenguajes. Tendrá lugar en San Sebastián del 9 al 11 de septiembre de 2009 precedida el día 8 de septiembre por el Taller sobre Programación Funcional TPF'09, junto a las XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'09), 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 bienvenidos aquellos trabajos relativos a desarrollo de aplicaciones con herramientas y sistemas software existentes, así como demostraciones de herramientas y sistemas en este contexto.