----------------------------------------------------------------------- PROLE'07 - VII Jornadas sobre Programación y Lenguajes Zaragoza 12 - 14 de Septiembre de 2007 ----------------------------------------------------------------------- Presentación. 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) y PROLE'06 (Sitges), la VII edición de estas Jornadas (PROLE'07) tendrá lugar, del 11 al 14 de Septiembre de 2007, en Zaragoza, como parte del II Congreso Español de Informática (CEDI 2007): http://www.congresocedi.org/2007 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. 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, ...) * 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, ...) * Técnicas y herramientas de implementación de lenguajes de programación * Semántica de lenguajes de programación * Análisis de programas * Verificación y certificación de programas * Lógicas para el desarrollo de software (dinámica, modal, lineal, temporal, multivalorada, BDI, ...) * Transformación y optimización de programas * Depuración y prueba de programas * Arquitectura e interconexión de programas (componentes, modularidad, genericidad, lenguajes de marcas, Web ...) Envío de trabajos. 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 sistemas software (máximo 10 páginas) 4. Resúmenes de trabajos de alto nivel (revistas, congresos internacionales de prestigio, etc.) ya publicados (en 2007) o pendientes de publicación (máximo 10 páginas) 5. Trabajos en progreso (máximo 10 páginas) Los trabajos deberán presentarse según las instrucciones y formatos de ENTCS, véase http://www.entcs.org/prelim.html. Todos los trabajos serán revisados por al menos dos revisores, siendo la norma general de tres revisores. En el caso de los trabajos del tipo 4, la revisión estará especialmente enfocada a delimitar si están en ámbito o a limitar su número (si hubiera demasiados). Publicación. Todos los trabajos presentados aparecerán en las actas de PROLE'06 que estarán disponibles para la celebración de las Jornadas. Se editará un número de ENTCS (Electronic Notes in Theoretical Computer Science), Elsevier Science, con los trabajos de las categorías 1, 2 y 3, que estén escritos en inglés. De forma excepcional, el Comité de Programa podrá seleccionar algunos trabajos de la categoría 5 para ser incluidos en esta edición. Dicha selección se realizará con posterioridad a la celebración de las jornadas. Además, se estudirá la posibilidad de someter una selección de estos trabajos a un nuevo proceso de revisión conducente a la edición de un número especial de alguna revista especializada. Comité de Programa (provisional) Elvira Albert (U. Complutense de Madrid) Jesús Almendros (U. Almería) María Alpuente (U. Politécnica de Valencia) Fernando Cuartero (U. Castilla-La Mancha) Francisco Durán (U. de Málaga) María del Mar Gallardo (U. de Málaga) Victor Gulías (U. de A Coruña) Francisco J. López Fraguas (U. Complutense de Madrid) Salvador Lucas (U. Politécnica de Valencia) Paqui Lucio (U. del País Vasco) José Merseguer (U. de Zaragoza) Ginés Moreno (U. de Castilla-La Mancha) Susana Muñoz (U. Politécnica de Madrid) Fernando Orejas (U. Politécnica de Catalunya) Marisa Navarro (U. del País Vasco) Ernesto Pimentel -presidente CP- (U. de Málaga) Isabel Pita (U. Complutense de Madrid) Germán Puebla (U. Politécnica de Madrid) Albert Rubio (U. Politécnica de Catalunya) Clara Segura (U. Complutense de Madrid) Germán Vidal (U. Politécnica de Valencia) Fechas importantes. Recepción de resúmenes: 2 de Abril de 2007 Recepción de trabajos: 13 de Abril de 2007 Notificación de aceptación: 1 de Junio de 2007 Versión definitiva: 15 de Junio de 2007 PROLE'07: 12 - 14 de Septiembre de 2007 _______________________________________________ PROLE mailing list PROLE@babel.ls.fi.upm.es https://babel.ls.fi.upm.es/cgi-bin/mailman/listinfo/prole