++++++++++++++++++ Petición de envío de trabajos +++++++++++++++++ P R O L E ' 0 5 http://www.fdi.ucm.es/profesor/fraguas/prole05/prole05.html ****************************************************************** ****************************************************************** V Jornadas sobre Programación y Lenguajes, PROLE'05 Granada, 14 a 16 de Septiembre de 2005 Integradas en el I Congreso Español de Informática (CEDI) http://cedi2005.ugr.es/ ****************************************************************** ****************************************************************** Los lenguajes de programación proporcionan un marco conceptual necesario para el desarrollo, análisis, optimización y comprensión de los programas y, en general, de las tareas de programación. Las Jornadas sobre PROgramación y LEnguajes (PROLE) surgen como un lugar de reunión de los grupos españoles que trabajan en temas ligados a la programación y a los lenguajes de programación. Con la organización de esta serie de eventos, se pretende que los grupos españoles que trabajan en este ámbito puedan conocerse mejor, intercambiar experiencias y resultados de investigación y, posiblemente, iniciar líneas de cooperación. En esta ocasión PROLE está integrado en el I Congreso Español de Informática (CEDI, http://cedi2005.ugr.es), que se celebrará en Granada del 14 al 16 de Septiembre de 2005. CEDI'05 es un congreso de grandes dimensiones, que consta de más de 20 simposios anejos, y espera constituirse como el foro anual más importante para los informáticos españoles. __________________________________________________________________ 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, ...) * Compilación: técnicas y herramientas de implementación de los lenguajes de programación * Semántica de lenguajes de programación * Análisis de programas * Verificación de programas * Transformación y optimización de programas * Depuración y prueba de programas * Estructuras de soporte al desarrollo e interconexión de programas (modularidad, programación genérica, lenguajes de marcas, WWW ...) __________________________________________________________________ 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, etc. (máximo 10 páginas) (2) Tutoriales (máximo 14 páginas) (3) Demostraciones de sistemas software (máximo 6 páginas) (4) Resúmenes de trabajos de alto nivel (revistas, congresos internacionales de prestigio, etc.) ya publicados (en 2005) o pendientes de publicación (máximo 4 páginas) (5) Trabajos en progreso (máximo 6 páginas) Para preparar los trabajos, los autores deberán atenerse a los límites señalados para la categoría seleccionada (incluyendo figuras y bibliografía), así como usar las plantillas (Latex y Word) y seguir las instrucciones generales para los autores de CEDI'05, que se encuentran en http://cedi2005.ugr.es/autores.shtml. Antes del día 2 0 d e A b r i l d e 2 0 0 5 deberá enviarse un mensaje a la dirección fraguas@sip.ucm.es conteniendo la categoría -- (1) a (5) -- en la que se inscribe el trabajo, el título, los nombres, afiliación y correo electrónico de los autores, un resumen de hasta 300 palabras, y una lista de palabras clave. Para el envío de la versión completa (en formato PDF), antes del día 2 5 d e A b r i l d e 2 0 0 5 se utilizará una página WWW accesible a través de la página WWW de CEDI'05 __________________________________________________________________ Publicación __________________________________________________________________ Los trabajos aparecerán en las actas de PROLE'05 que, como el resto de actas de CEDI'05, serán publicadas por Thomson-Paraninfo. Además, dependiendo de la calidad, los trabajos de las categorías (1), (2) y (3) podrán ser seleccionados para su publicación en alguna revista de amplia difusión, aún por determinar. En la anterior edición, fue en un número especial de Electronic Notes in Theoretical Computer Science, Elsevier Science. Para poder optar a este proceso de selección, los autores deberán enviar su contribución en inglés. __________________________________________________________________ Comité de programa __________________________________________________________________ Jesús Almendros (U. Almería) María Alpuente (U. Politécnica Valencia) Rafael Corchuelo (U. Sevilla) Veronica Dahl (Simon Fraser Univ., Canada) Antonio J. Fernández (U. Málaga) Víctor Gulías (U. A Coruña) Manuel Hermenegildo (U. Politécnica Madrid) Francisco Herrera (U. Granada) Jordi Levy (IIIA-CSIC) Francisco J. López Fraguas (U. Complutense Madrid) -- Presidente Salvador Lucas (U. Politécnica Valencia) Paqui Lucio (U. País Vasco) José Merseguer (U. Zaragoza) Ginés Moreno (U. Castilla la Mancha Susana Muñoz Hernández (U. Politécnica Madrid) Fernando Orejas (U. Politécnica Cataluña) Ricardo Peña (U. Complutense Madrid) Ernesto Pimentel (U. Málaga) Isabel Pita (U. Complutense Madrid) Germán Puebla (U. Politécnica Madrid) Germán Vidal (U. Politécnica Valencia) __________________________________________________________________ Fechas importantes __________________________________________________________________ Recepción de resúmenes: 20 de Abril de 2005 Recepción de trabajos: 25 de Abril de 2005 Notificación de aceptación: 24 de Mayo de 2005 Versión definitiva: 3 de Junio de 2005 PROLE'05: 14-16 de Septiembre de 2005, Granada __________________________________________________________________ Contacto __________________________________________________________________ Francisco Javier Lopez Fraguas email: fraguas@sip.ucm.es Prof. Titular Dep. Sistemas Informaticos y Programacion Facultad Informática Universidad Complutense de Madrid Prof. García Santesmases s/n 28040 Madrid SPAIN Phone: +34 91 3947630 Fax: +34 91 3947529