CFP_prole

XII Jornadas sobre Programación y Lenguajes (PROLE’12)
18 al 19 de Septiembre del 2012, Almería

IV Taller de Programación Funcional (TPF’12)
17 de Septiembre del 2012, Almería

http://sistedes2012.ual.es/prole

Objetivos de Prole'12
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 organización de este evento nacido en 2001 y 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 18 al 19 de septiembre de 2012, siendo precedida el día 17 por el IV Taller sobre Programación Funcional (TPF'12), y en paralelo con las XVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD'12), y por las VIII Jornadas de Ciencia e Ingeniería de los Servicios. La realización de todos los eventos está auspiciada por la Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES).

En el ámbito de PROLE son bienvenidos tanto 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 todos los procesos de desarrollo del software. Son asimismo bien recibidos aquellos trabajos relativos al desarrollo de aplicaciones con herramientas y sistemas software existentes, así como demostraciones de dichas herramientas y sistemas.

Temas de interés (Prole'12):

• Paradigmas de programación. Integración de paradigmas de programación.
• Especificación y lenguajes de especificación. Sistemas de tipos. Lenguajes y técnicas para nuevos modelos de programación.
• Arquitecturas e interconexión de programas.
• Técnicas y herramientas de implementación de lenguajes de programación. Semánticas de lenguajes de programación.
• Desarrollo de aplicaciones con lenguajes y herramientas existentes. Demostraciones de herramientas y sistemas software.
• Análisis de programas. Verificación y certificación de programas. Transformación y optimización de programas. Depuración y prueba de programas. Terminación de programas.
• Lógicas para el desarrollo de software.
• Métodos formales en los procesos de desarrollo de software.

Objetivos TPF'12

Por su parte, el Taller de Programación Funcional (TPF) aspira a ser el punto de encuentro anual de la comunidad española de programación funcional. Nacido del interés por conectar a los miembros de dicha comunidad, el taller celebra este año su cuarta edición. La primera (TPF'09) se celebró en San Sebastián, la segunda (TPF'10) en Valencia y la tercera (TPF’11) en A Coruña. Aunque asociado a PROLE, el TPF es un evento independiente y complementario, con su propio formato, comité de programa y requisitos para el envío de trabajos. Siguiendo el espíritu de un taller (workshop), el TPF es un foro informal de discusión, aprendizaje y divulgación que incluye todo el ecosistema de la programación funcional (ideas, problemas, trabajos, experiencias, aplicaciones, etc.). El taller se organiza en torno a seminarios sobre temas de interés para sus miembros junto con la presentación de trabajos o propuestas.

Temas de interés TPF'12

Los temas de interés que abarca TPF son:

• Trabajos de investigación (ideas iniciales, en curso, publicados,etc.)
• Tutoriales, exposiciones de proyectos en desarrollo, 'perlas' de programación o de conceptos avanzados.
• Demostraciones o exposiciones de herramientas, librerías, aplicaciones, etc., implementadas parte o en su totalidad usando programación funcional.
• Experiencias de programación funcional en la industria.
• Experiencias docentes, tanto en la docencia de la programación funcional propiamente como en la conexión con otras materias.
• Resúmenes de trabajos realizados por estudiantes en proyectos fin de carrera, máster, etc.
• Exposiciones de problemas no resueltos, participación en propuestas de proyectos, exposición de ofertas de trabajo, etc.

Tipos de contribuciones

Se solicitan contribuciones (tanto en castellano como en inglés) en alguna de las siguientes categorías:

1. 1. Trabajos originales. No publicados ni en proceso de revisión en revistas, conferencias con actas formales, etc. (máximo 15 páginas).
2. Tutoriales (máximo 18 páginas).
3. Demostraciones de herramientas y sistemas software (máximo 10 páginas).
4. Trabajos de alto nivel (revistas, congresos internacionales de prestigio, etc.) ya publicados en 2012 o pendientes de publicación (en el formato y longitud de la publicación). En este caso en las actas aparecerá el abstract del trabajo.
5. Trabajos en progreso (máximo 15 páginas).
6. Trabajos asociados al Taller de Programación Funcional (desde resúmenes de una página hasta trabajos con un máximo de 8 páginas).
Todos los trabajos serán revisados por al menos dos revisores (siendo la norma general de tres revisores) y aquellos que resulten finalmente aceptados, aparecerán publicados en las actas de las jornadas. Siguiendo la tradición de ediciones previas, después de las jornadas se realizará una selección de los mejores trabajos escritos en inglés de las categorías 1, 2 y 3 para su publicación posterior. En esta edición, la publicación de los mejores trabajos se realizará en ECEASST (Electronic Communications of the European Association of Software Science and Technology).
De forma excepcional, el comité de programa considerará la posibilidad de cambiar la categoría de los trabajos sometidos a las categorías 1 y 5, según el proceso de revisión previo y/o las presentaciones durante las jornadas, aspecto que será comunicado a los autores con la suficiente antelación para su conocimiento y posible reconsideración de su propuesta.

Para cualquier información adicional sobre las contribuciones, se ruega contactar con María del Mar Gallardo gallardo@lcc.uma.es (PROLE) o Mateu Villaret villaret@ima.udg.edu (TPF)