XVI Jornadas sobre Programación y Lenguajes (PROLE 2016)

Descripción

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 13 al 15 de septiembre de 2016.

Fechas

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


Temas

Una lista no exhaustiva de los temas abordados en PROLE incluye:

  • 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.
Solicitamos su permiso para obtener datos estadísticos de su navegación en esta web, en cumplimiento del Real Decreto-ley 13/2012. Si continúa navegando consideramos que acepta el uso de cookies. Aceptar | Más información