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. Son especialmente relevantes aquellos trabajos relativos al desarrollo de aplicaciones con herramientas y sistemas software existentes, así como demostraciones de herramientas y sistemas en este contexto. Una lista no exhaustiva de los temas abordados en PROLE incluiría:
- Paradigmas de programación. 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.
- Arquitecturas e interconexión de programas.
- 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. Transformación y optimización de programas. Depuración y prueba de programas. Terminación de programas.
- Lógicas para el desarrollo de software.
- Métodos formales en los procesos de desarrollo de software.
- Aplicación de métodos formales en la industria. Casos de estudio.
- Desarrollo de aplicaciones con lenguajes y herramientas existentes. Demostraciones de herramientas y sistemas software.
Se solicitan contribuciones (en castellano o en inglés) en alguna de las siguientes categorías:
- Trabajos originales
No publicados ni en proceso de revisión en revistas, conferencias con actas formales, etc. (máximo 15 páginas).
- Tutoriales
Máximo 18 páginas.
- Demostraciones de herramientas y sistemas software
Máximo 15 páginas. Se pide dar una URL donde la herramienta esté disponible.
- Trabajos de alto nivel
Ya publicados (en revistas, congresos internacionales de prestigio, etc) en 2015 o pendientes de publicación (en el formato y longitud de dicha publicación).
- Trabajos en progreso
Máximo 15 páginas.
- Recepción de trabajos:
15 de mayo de 2015 24 de mayo de 2015.
- Notificación de aceptación:
18 de junio de 2015 24 de junio de 2015.
- Recepción versión definitiva: 2 de julio de 2015.
Los trabajos deberán seguir las instrucciones y formatos de EPTCS y su envío se realizará a través de: https://easychair.org/conferences/?conf=prole2015
-
A los trabajos de alto nivel (categoría 4) se les pide el aval de su publicación y, en este caso, en las actas informales aparecerá el resumen (abstract) del trabajo.
-
Los trabajos de las categorías 1, 2, 3 y 5 serán revisados por al menos tres revisores y aquellos que resulten finalmente aceptados aparecerán publicados en las actas informales de las Jornadas.
Entre estos trabajos, se otorgará un premio al mejor trabajo, teniendo en cuenta la valoración de los revisores y la presentación realizada en las Jornadas.
-
Siguiendo la tradición de ediciones previas, después de las Jornadas se realizará una selección de los mejores trabajos de las categorías 1, 2 y 3 (escritos en inglés) para su publicación posterior en la revista Electronic Proceedings in Theoretical Computer Science.
-
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.
Para cualquier información adicional sobre las contribuciones, se ruega contactar con
Marisa Navarro
