PROLE2009 IX Jornadas sobre Programación y Lenguajes
I Taller de Programación Funcional TPF
San Sebastián, 8-11 de septiembre de 2009
SISTEDES
Contacto  
PROLE

 

¿Qué son ?

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. Con el ánimo de continuar enriqueciendo los logros de las ediciones previas: PROLE'01 (Almagro), PROLE'02 (El Escorial), PROLE'03 (Alicante), PROLE'04 (Málaga), PROLE'05 (Granada), PROLE'06 (Sitges), PROLE'07 (Zaragoza) y PROLE'08 (Gijón), la IX edición de estas   Jornadas (PROLE'09) 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).

 

Temas de Interés

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. Con más precisión, una lista no exhaustiva de los temas abordados en PROLE incluiría:

Por su parte, el Taller de Programación Funcional TPF'09 que precede a PROLE'09, debe entenderse como una actividad independiente, opcional y complementaria a PROLE'09, que tiene envío de trabajos y Comité de Programa propios. Se admitirán suscripciones sólo para esta actividad. Son especialmente bienvenidos aquellos trabajos co-realizados por estudiantes como resultado de becas, proyectos de Fin de Carrera o de Fin de Master. Se solicitan trabajos relacionados con lenguajes de programación con una fuerte componente funcional (p.e. Haskell, SML, Erlang, Lisp, Toy, Curry, Maude, etc) y orientados a:

Arriba