Ámbito y objetivos:

 

Las Jornadas sobre 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 X edición de estas Jornadas (PROLE2010) tendrá lugar en Valencia del 8 al 10 de septiembre de 2010, en el marco del III Congreso Español de Informática (CEDI 2010), y precedida el día 7 de septiembre por el II Taller sobre Programación Funcional (TPF2010). En la tradición de los últimos años, PROLE2010 se celebra junto a las XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD2010), auspiciadas por la Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES).

 

Temas de interés (topics):

 

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:

 

  • Paradigmas de programación (concurrente, funcional, imperativo, lógico, visual, orientado a agentes, aspectos, objetos, programación con restricciones..). 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 (computación ADN, cuántica, genética, molecular, ...).
  • Arquitecturas e interconexión de programas (componentes, modularidad, genericidad, bases de datos, lenguajes de marcas, Web ...).
  • 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.
  • Lógicas para el desarrollo de software (dinámica, modal, lineal, temporal, multivalorada, BDI,...).
  • Métodos formales en los procesos de desarrollo de software.

 

Por su parte, el Taller de Programación Funcional TPF'10 es un foro de discusión sobre experiencias, trabajos y aplicaciones de la programación funcional en el que se pueden presentar propuestas con tono tanto formal como informal. Se solicitan trabajos relacionados con lenguajes de programación con una fuerte componente funcional (p.e. Haskell, F#, Ocaml, SML, Erlang, Lisp, Toy, Curry, Maude, etc.) o que puedan ser de interés para desarrolladores de lenguajes funcionales. Ejemplos de propuestas de interés para la comunidad TPF
son:

  • Trabajos realizados por estudiantes como resultado de proyectos de Fin de Carrera o de Fin de Master, becas o similares.
  • Trabajos de investigación relacionados con la programación funcional (algoritmos, estructuras de datos, análisis, técnicas de programación, optimización, tipos, etc.).
  • Herramientas o librerías implementadas en parte o en su totalidad usando programación funcional. Se incluyen aquí librerías que conecten lenguajes funcionales con otras herramientas (p.e. web, gráficos, otros lenguajes, etc.).
  • Experiencias en el uso de lenguajes funcionales en la empresa.
  • Demostraciones de proyectos en desarrollo, herramientas, 'perlas' de programación o conceptos avanzados.
  • Demostraciones sobre la utilización de conceptos avanzados de la programación funcional para realizar algoritmos o estructuras de datos complejos.
  • Experiencias docentes (tanto en la docencia de la programación funcional propiamente como en la conexión con otras materias como estructuras de datos, compiladores, teoría de la programación, etc.).

 

Comité permanente:

 

Comité de Programa de PROLE2010

  • Jesús Almendros (U. de Almería)
  • María Alpuente (U. Politécnica de Valencia)
  • Puri Arenas (U. Complutense de Madrid)
  • Miquel Bertran (U. Ramon Llull)
  • Santiago Escobar (U. Politécnica de Valencia)
  • Antonio Fernández (U. de Málaga)
  • Lars-Ake Fredlund (U. Politécnica de Madrid)
  • María del Mar Gallardo (U. de Málaga)
  • Victor Gulías -Presidente CP- (U. de A Coruña)
  • Paqui Lucio (U. del País Vasco)
  • Narciso Martí (U. Complutense de Madrid)
  • Ginés Moreno (U. de Castilla-La Mancha)
  • Marisa Navarro (U. del País Vasco)
  • Manuel Núñez (U. Complutense de Madrid)
  • Fernando Orejas (U. Politécnica de Catalunya)
  • Yolanda Ortega (U. Complutense de Madrid)
  • Francisco Ortín (U. de Oviedo)
  • Germán Puebla (U. Politécnica de Madrid)
  • Enric Rodríguez (U. Politécnica de Catalunya)
  • Julio Rubio (U. de La Rioja)
  • Jaime Sánchez (U. Complutense de Madrid)
  • Germán Vidal(U. Politécnica de Valencia)

 

Comité de Programa de TPF2010

  • Rafael Caballero (U. Complutense de Madrid)
  • Laura Castro (U. de A Coruña)
  • Francisco Gutierrez (U. de Málaga)
  • José Iborra (U. Politécnica de Valencia)
  • Salvador Lucas (U. Politécnica de Valencia)
  • Pablo Nogueira (U. Politécnica de Madrid)
  • Ricardo Peña (U. Complutense de Madrid)
  • Josep Silva -Presidente CP- (U. Politécnica de Valencia)
  • Mateu Villaret (U. de Girona)

 

Comité local:

  • Antonio Bella

  • Marco Antonio Feliú

  • Raúl Gutiérrez

  • David Insa

  • Daniel Romero

  • Sonia Santiago

  • Josep Silva

  • Salvador Tamarit

  • Alicia Villanueva (coordinadora)

 

Contribuciones:

 

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 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 2010 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 (máximo 8 páginas).

 

Los trabajos deberán presentarse según las instrucciones y formatos de ENTCS y el envío se realizará a través de http://www.easychair.org/conferences/?conf=prole2010.

 

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.

 

Fechas importantes:

  • Recepción de resúmenes: 12 de Abril de 2010
  • Recepción de trabajos: 18 de Abril de 2010
  • Notificación de aceptación: 17 de Mayo de 2010
  • Versión definitiva: 27 de Mayo de 2010

 

TPF2010: 7 de Septiembre de 2010
PROLE2010: 8 al 10 de Septiembre de 2010