Nuevas fechas:

• Recepción de trabajos: 3 de mayo de 2016 16 de mayo de 2016 
• Notificación de aceptación: 15 de junio de 2016 24 de junio de 2016! 
• Versión definitiva: 4 de julio de 2016 10 de julio de 2016 

• Ponente invitado: Arnaud Gotlieb (https://www.simula.no/people/arnaud)
• Lista de trabajos aceptados

Las Jornadas de PROgramación y LEnguajes (PROLE) constituyen 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. Con la organización de este evento nacido en 2001, de carácter anual, se pretende fomentar el intercambio de experiencias y resultados, así como la comunicación y cooperación entre dichos grupos. La XVI edición de estas Jornadas (PROLE 2016) se celebrará en el marco del V Congreso Español de informática (CEDI) y tendrá lugar en Salamanca del 14 al 16 de septiembre de 2016. 

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 incluiye: 

• 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 programacion. 
• 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. 

FECHAS IMPORTANTES  

---

Recepción de trabajos: 3 de mayo de 2016 16 de mayo de 2016 

Notificación de aceptación: 15 de junio de 2016 24 de junio de 2016! 

Versión definitiva: 4 de julio de 2016 10 de julio de 2016 

PROLE 2016: 14-16 de septiembre de 2016 

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 15 páginas. Se debera aportar URL donde la herramienta este disponible.
4. Trabajos de alto nivel (revistas, congresos internacionales de prestigio, etc.) ya publicados en 2015, 2016 o pendientes de publicación (en el formato y longitud de la publicación). En este caso, en las actas informales aparecerá el resumen (abstract) del trabajo. 
5. Trabajos en progreso. Máximo 15 páginas.

El envío de los trabajos se realizará a través de EasyChair. Todos los trabajos serán revisados por al menos tres revisores y aquéllos que resulten finalmente aceptados, aparecerán publicados en las actas de las jornadas. Para poder incluir en la biblioteca digital de SISTEDES el trabajo publicado en actas, será necesario adjuntar un documento de consentimiento. Más detalles en http://www.sistedes.es/informes-recursos/derechos-autor-publicaciones-sistedes/ 

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 ingles) para su publicación posterior en la revista EPTCS (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.

Arnaud Gotlieb, Simula Research Laboratory, Norway (https://www.simula.no/people/arnaud)

Constraint-Based Testing: An Emerging Trend in Software Testing

Arnaud Gotlieb is a French research scientist in Computer Science, currently leader of the Certus Centre, Simula's Centre for Research-based Innovation (SFI) on Software Verification & Validation. Dr. Gotlieb's expertise is on the application of constraint solving to software testing. At the beginning of his career, he spent 7 years in Industry working for Dassault Electronics, Thomson-CSF and Thales. He joint INRIA, the French National Institute on Computer Science and Automatisms in 2002 where he made advances on constraint-based testing in a group specialized in static analysis and verification. He has contributed to several projects that aimed at improving static analysis, testing and verification tools of critical embedded software in civil and military avionics. He was the coordinator of the ANR CAVERN project (2008-2011) that explored the capabilities of constraint programming for program verification and participated to several large European Project proposals. Since October 2011, he has joint the Simula Research Laboratory in Norway as a senior research scientist. He is the main author of more than forty publications and co-author of more than seventy, and he is the main architect of several constraint-based testing tools for the testing of C and Java programs. He has served in the program committee the IEEE International Conference on Software Testing, Validation and Verification (ICST) since 2008 and many other conferences such as ISSRE, TAP, CP, SEIP; he co-chaired the technical program of QSIC in 2013 and the SEIP track of ICSE in 2014 and the Testing and Verification track of CP in 2016. He initiated the Constraints in Software Testing, Verification and Analysis (CSTVA) workshop series and was its main organizer during the first editions. He successfully co-supervised ten PhD students and was the head of the Software Engineering department at Simula from 2012 until 2015. He completed his PhD on automatic test data generation using constraint logic programming techniques in 2000 at the University of Nice-Sophia Antipolis and got habilitated (HDR) in Dec. 2011 from University of Rennes, France.

Se ha convocado la segunda edición del premio a la mejor tesis doctoral en el ámbito de SISTEDES. Son candidatas las tesis leídas durante el año 2014. Para ello, el autor debe seguir las indicaciones de la convocatoria:
Convocatoria 2016