- Inicio
- Organización
- Eventos científicos
- XXXII Congreso de la Sociedad Española del Procesamiento del Lenguaje Natural (SEPLN 2016)
- Jornadas SARTECO 2016 (Sociedad de Arquitectura y Tecnología de Computadores)
- XXVI Congreso Español de Informática Gráfica (CEIG 2016)
- XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016)
- XVIII Simposio Internacional de Informática Educativa (SIIE 2016)
- XVII Congresos Federados de la Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA 2016)
- XVII Conferencia Internacional sobre la Interacción Persona-Ordenador (INTERACCIÓN 2016)
- XVI Jornadas sobre Programación y Lenguajes (PROLE 2016)
- XII Jornadas de Ciencia e Ingeniería de Servicios (JCIS 2016)
- XI Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB 2016)
- VIII Simposio de teoría y aplicaciones de minería de datos (TAMIDA 2016)
- VI Simposio sobre Lógica Difusa y Soft Computing (LODISCO 2016)
- V Simposio de Sistemas de Tiempo Real (STR 2016)
- III Jornadas de Fusión de la Información y ensembles (FINO 2016)
- Workshop Educación en informática sub 18 (EI<18)
- Workshop Consejo de Colegios de Ingeniería Informática (CCII 2016)
- Programa
- Registro
- Salamanca
- Sede
- Prensa
- Ediciones previas
- Blog / Noticias
- Contacto
- Premios Nacionales de Informática
V Congreso español de Informática
Home← Eventos científicos← XVI Jornadas sobre Programación y Lenguajes (PROLE 2016)
XVI Jornadas sobre Programación y Lenguajes (PROLE 2016)
- http://prole2016.webs.upv.es/
-
villanue@dsic.upv.es
Alicia Villanueva
Universidad Politécnica de Valencia COMITÉ
Alicia Villanueva Universitat Politècnica de València
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.
© Copyright 2015 - Grupo de investigación BISITE