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. 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, ...)
• 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
• Lógicas para el desarrollo de software (dinámica, modal, lineal, temporal, multivalorada,  BDI, ...)
• Transformación y optimización de programas
• Depuración y prueba de programas
• Arquitectura e interconexión de programas (componentes, modularidad,  genericidad, lenguajes de marcas, Web ...)