PROLE'08
VIII Jornadas sobre Programación y Lenguajes
VIII Jornadas sobre Programación y Lenguajes
Gijón, Asturias 7-10 de Octubre de 2008
Fechas Importantes
Charlas Invitadas
Envío de Artículos
Artículos Aceptados
Programa del PROLE'08
PROLE en otros años
Organización
Inscripción
Como llegar
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), PROLE'06 (Sitges) y PROLE'07(Zaragoza), la VIII edición de estas Jornadas (PROLE'08) tendrá lugar, del 7 al 10 de Octubre de 2008, en Gijón, junto a las XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD'08), auspiciadas por la Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES): http://www.sistedes.es.
Recepción de
resúmenes: 2 de Abril
de 2008
Recepción de trabajos: 13 de Abril de 2008
Notificación de aceptación: 1 de Junio de 2008
Versión definitiva: 15 de Junio de 2008
PROLE: 7 al 10 de Octubre de 2008
Recepción de trabajos: 13 de Abril de 2008
Notificación de aceptación: 1 de Junio de 2008
Versión definitiva: 15 de Junio de 2008
PROLE: 7 al 10 de Octubre de 2008
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,..). 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.
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, ...).
* 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.
Elvira Albert
(U. Complutense de Madrid)
Jesús Almendros (Presidente Comité)
(U. de Almería)
María Alpuente
(U. Politécnica de Valencia)
Miquel Bertran
(U. Ramon Llull)
Antonio Fernández
(U. de Málaga)
Victor Gulías
(U. de A Coruña)
Jose E. Labra Gayo
(U. de Oviedo)
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)
Marisa Navarro
(U. del País Vasco)
Narciso Martí Oliet
(U. Complutense de Madrid)
Manuel Núñez
(U. Complutense de Madrid)
Fernando Orejas
(U. Politécnica de Catalunya)
Yolanda Ortega Mallén
(U. Complutense de Madrid)
Ernesto Pimentel
(U. de Málaga)
Germán Puebla
(U. Politécnica de Madrid)
Albert Rubio
(U. Politécnica de Catalunya)
Germán Vidal
(U. Politécnica de Valencia)
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 5 páginas)
4. Trabajos de alto nivel (revistas, congresos internacionales de prestigio, etc.) ya publicados (en 2008) 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 10 páginas)
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 5 páginas)
4. Trabajos de alto nivel (revistas, congresos internacionales de prestigio, etc.) ya publicados (en 2008) 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 10 páginas)
Los trabajos deberán
presentarse según las instrucciones y formatos de ENTCS, véase:
http://www.entcs.org/prelim.html
El envío se realizará a través de sitio web:
http://www.easychair.org/conferences/?conf=prole2008
Todos los trabajos serán revisados por al menos dos revisores, siendo la norma general de tres revisores.
Publicación:
Todos los trabajos presentados
aparecerán en las actas de PROLE'08 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 estudiará 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.
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 estudiará 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.