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 a 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 (tanto en castellano como 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 10 páginas).
- Trabajos de alto nivel. Publicados en 2014 en revistas, congresos internacionales de prestigio, etc., 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.
-
Trabajos en progreso (máximo 15 páginas).
-
Trabajos asociados al Taller de Programación Funcional (desde resúmenes de una página hasta trabajos con un máximo de 8 páginas). Los trabajos de esta categoría estarán sometidos a una revisión más informal.
- Recepción de contribuciones: 1 de junio 20 de junio (extendido).
- Notificación de aceptación: 6 de julio 15 de julio (extendido).
- Recepción versión definitiva: 20 de julio 22 de julio (extendido).
-
Los trabajos deberán presentarse según las instrucciones y formatos de EPTCS (http://style.eptcs.org) y el envío se realizará a través de EasyChair (https://www.easychair.org/conferences/?conf=prole2014).
-
Todos los trabajos serán revisados por al menos tres revisores y aquellos que resulten finalmente aceptados, aparecerán publicados en las actas de las jornadas.
-
Siguiendo la tradición de ediciones previas, después de las jornadas se realizará una selección de los mejores trabajos escritos en inglés de las categorías 1, 2 y 3 para su publicación posterior en la revista "Electronic Proceedings in Theoretical Computer Science” (http://www.eptcs.org).
-
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 Santiago Escobar sescobar@dsic.upv.es
