sistedes
UDC
Jornadas 2011: A Coruña, 5-7 de septiembre
JISBD 2011PROLE 2011JCIS 2011

CFP

 

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,  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 XI edición de estas Jornadas (PROLE'11) tendrá lugar en A Coruña del 5 al 7 de septiembre de 2011, siendo el día 5 de septiembre  el Taller sobre Programación  Funcional (TPF'11), y en paralelo con las  XVI Jornadas de Ingeniería del Software  y Bases de Datos (JISBD'11), 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 aquellos trabajos relativos a desarrollo de aplicaciones con herramientas y sistemas software existentes, así como demostraciones de herramientas y sistemas en este contexto. Una lista no exhaustiva de los temas abordados en PROLE incluiría:
 
  • 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ántica 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.

 Por su parte, el Taller de Programación Funcional (TPF) aspira a ser el punto de encuentro anual de la comunidad de programación funcional española. Nacido del interés por conectar a los miembros de dicha comunidad, el taller celebra este año su tercera edición. La primera (TPF'09) se celebró en San Sebastián y la segunda (TPF'10) en Valencia. 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 como por ejemplo:

  • 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.

En esta tercera edición del TPF se impartirán los siguientes seminarios:

  1. "Scrap Your Tactics: Automating Coq Proofs with Generalized Type Classes." Aleksandar Nanevski, Fundación IMDEA Software, Madrid.
  2. "Experiencias con Programación Funcional en F# en la Industria". José Iborra, London, UK.
  3. "Terminación en el paradigma funcional: estado del arte y automatización" (título provisional). Raúl Gutiérrez, University of Illinois at Urbana-Champaign, USA.

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

  1. Trabajos originales.  No publicados  ni en proceso de revisión 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 2011 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). Los trabajos de esta categoría serán sometidos a una revisión más informal.
 
Los trabajos deberán presentarse según las instrucciones y formatos de ENTCS y el envío se realizará a través de la dirección https://www.easychair.org/conferences/?conf=prole2011.
 
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.
 
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.