++++++++++++++++++++ Petición de envío de trabajos +++++++++++++++++ PROLE'06 - VI Jornadas sobre Programación y Lenguajes Sitges (Barcelona) 4 - 6 de Octubre de 2006 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) y PROLE'05 (Granada), la VI edición de estas Jornadas (PROLE'06) tendrá lugar, del 4 al 6 de Octubre de 2006, en el Hotel Antemare en Sitges (Barcelona). Sitges es una ciudad a 40 Km. al sur de Barcelona, centro de turismo residencial con numerosas playas urbanas, un clima cálido, bonitos paisajes naturales e importantes visitas culturales. 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: %G•%@Paradigmas de programación (concurrente, funcional, imperativo, lógico, visual, orientado a agentes, aspectos, objetos, ...) %G•%@Integración de paradigmas de programación %G•%@Especificación y lenguajes de especificación %G•%@Sistemas de tipos %G•%@Lenguajes y técnicas para nuevos modelos de programación (computación ADN, cuántica, genética, molecular, ...) %G•%@Técnicas y herramientas de implementación de lenguajes de programación %G•%@Semántica de lenguajes de programación %G•%@Análisis de programas %G•%@Verificación y certificación de programas %G•%@Lógicas para el desarrollo de software (dinámica, modal, lineal, temporal, multivalorada, BDI, ...) %G•%@Transformación y optimización de programas %G•%@Depuración y prueba de programas %G•%@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.Demostraciones de sistemas software (máximo 10 páginas) 3.Resúmenes de trabajos de alto nivel (revistas, congresos internacionales de prestigio, etc.) ya publicados (en 2006) o pendientes de publicación (máximo 10 páginas) 4.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. Las instrucciones para el envío electrónico de contribuciones estarán disponibles a partir del 20 de marzo de 2006. 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 numero (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, Además, una selección de estos trabajos será sometida a un nuevo proceso de revisión conducente a la edición de un número especial de alguna revista especializada. Comités. Comité de Programa Jesús Almendros U. de Almería Elvira Albert U. Complutense de Madrid María Alpuente U. Politécnica de Valencia Jordi Cortadella U. Politécnica de Catalunya Verónica Dahl U. Simor Fraser (Canada) Antonio J. Fernández U. de Málaga Victor Gulías U. de A Coruña Manuel Hermenegildo U. Politécnica de Madrid Francisco J. López Fraguas U. Complutense de Madrid Salvador Lucas U. Politécnica de Valencia Paqui Lucio (presidenta CP) U. del País Vasco José Merseguer U. de Zaragoza Juan José Moreno Navarro U. Politécnica de Madrid Ginés Moreno U. de Castilla-La Mancha Fernando Orejas U. Politécnica de Catalunya Marisa Navarro U. del País Vasco Ricardo Peña U. Complutense de Madrid Ernesto Pimentel U. de Málaga Isabel Pita U. Complutense de Madrid Germán Vidal U. Politécnica de Valencia Ambrosio Toval U. de Murcia Comité Organizador Nikos Mylonakis U. Politécnica de Catalunya Edelmira Pasarella U. Politécnica de Catalunya Elvira Pino U. Politécnica de Catalunya Fernando Orejas (presidente CO) U. Politécnica de Catalunya Fechas importantes. Recepción de resúmenes: 8 de Mayo de 2006 Recepción de trabajos: 29 de Mayo de 2006 Notificación de aceptación: 3 de Julio de 2006 Versión definitiva: 17 de Julio de 2006 PROLE'06: 4 - 6 de Octubre de 2006 Contacto. paqui.lucio@ehu.es Paqui Lucio Prof. Titular Dpto de Lenguajes y Sistemas Informáticos Facultad de Informática de la UPV/EHU Paseo Manuel de Lardizabal, 1 20080-San Sebastián SPAIN Tfn: (+34) (9)43 015049 Fax: (+34) (9)43 015590