PROLE 2019: XIX Jornadas sobre Programación y Lenguajes Cáceres, Spain, September 2-4, 2019 |
Conference website | http://sistedes2019.spilab.es/prole/ |
Submission link | https://easychair.org/conferences/?conf=prole2019 |
Abstract registration deadline | April 1, 2019 |
Submission deadline | April 7, 2019 |
Notification Due | May 26, 2019 |
Final Version Due | June 16, 2019 |
Early Registration Due | June 26, 2019 |
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 se pretende fomentar el intercambio de experiencias y resultados, así como la comunicación y cooperación entre dichos grupos. La XIX edición de estas Jornadas (PROLE 2019) se celebrará en el marco de las Jornadas SISTEDES 2019 y tendrá lugar en Cáceres del 2 al 4 de septiembre de 2019.
Temas de interés
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 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 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.
Fechas importantes
- Envío de contribuciones: 7 de abril de 2019
- Notificación a los autores: 26 de mayo de 2019
- Envío de versiones definitivas: 16 de junio de 2019
- Jornadas: 2-4 de septiembre de 2019
Conferenciante invitado
- Fausto Spoto holds a PhD in Computer Science from the University of Pisa (Italy) and is Associate professor at the University of Verona (Italy). He started his research career by investigating on static analysis for declarative programming languages. Then, he developed similar techniques for the static analysis of object-oriented programs, by abstract interpretation. In 2003, he started developing the static analyzer Julia for Java bytecode and later founded JuliaSoft Srl, a company whose goal is the commercialization of Julia. He's been the main researcher and developer of the tool in JuliaSoft Srl, until 2018, when he left the company.
Tipos de contribuciones
- 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 15 páginas). Se deberá aportar URL donde la herramienta esté disponible.
- Trabajos ya publicados (es suficiente con disponer de la versión electrónica inicial) durante 2018, 2019 o pendientes de publicación en revistas o presentados en congresos internacionales, etc. (en el formato y longitud de la publicación). Estos trabajos no aparecerán impresos en las actas informales, salvo un resumen (abstract), pero sí serán presentados en las sesiones.
- Trabajos emergentes o en curso (máximo 15 páginas).
Envío de contribuciones
Los trabajos deberán seguir las instrucciones y formatos de EPTCS (http://style.eptcs.org/) y su envío se realizará a través del sistema EasyChair (https://easychair.org/conferences/?conf=prole2019).
En el caso de los trabajos ya publicados (categoría 4), una copia en pdf del mismo se enviará como contribución, y se aprovechará el resumen del formulario de envío para indicar el nombre de la conferencia o revista de publicación, y el año de la publicación.
Conferenciante invitado
Fausto Spoto (JuliaSoft, Verona, Italy)
Comités
Commité Científico
- Elvira Albert (Universidad Complutense de Madrid)
- María Alpuente (Universitat Politècnica de València), presidente
- Jesús Almendros (Universidad de Almería)
- Clara Benac (Universidad Politécnica de Madrid)
- María Luisa Bonet (Universitat Politècnica de Catalunya)
- Manuel Carro (Universidad Politécnica de Madrid e Instituto IMDEA Software)
- Laura Castro (Universidad da Coruña)
- Francisco Durán (Universidad de Málaga)
- Santiago Escobar (Universitat Politècnica de València)
- María del Mar Gallardo (Universidad de Málaga)
- Pascual Julián Iranzo (Universidad de Castilla-La Mancha)
- Salvador Lucas (Universitat Politècnica de València)
- Narciso Martí-Oliet (Universidad Complutense de Madrid)
- Paqui Lucio (Euskal Herriko Unibertsitatea)
- Alberto Lluch Lafuente (Technical University of Denmark)
- Ginés Moreno (Universidad de Castilla-La Mancha)
- Marisa Navarro (Euskal Herriko Unibertsitatea)
- Fernando Orejas (Universitat Politècnica de Catalunya)
- Yolanda Ortega (Universidad Complutense de Madrid)
- Francisco Ortín (Universidad de Oviedo)
- Ricardo Peña (Universidad Complutense de Madrid)
- María José Ramírez Quintana (Universitat Politècnica de València)
- Adrián Riesco (Universidad Complutense de Madrid)
- Fernando Sáenz-Pérez (Universidad Complutense de Madrid)
- Alicia Villanueva (Universitat Politècnica de València)
Comité Organizador
- Roberto Rodriguez Echeverría (Universidad de Extremadura, rre@unex.es)
- Julia Sapiña Sanchis (Universitat Politècnica de València, jsapina@dsic.upv.es)
Publicación
Los trabajos de las categorías 1, 2, 3 y 5 serán revisados por al menos tres revisores y aquellos que resulten finalmente aceptados aparecerán publicados en las actas de las Jornadas.
Las actas de PROLE 2019 se publicarán en formato digital y estarán alojadas en la Biblioteca Digital de SISTEDES (http://biblioteca.sistedes.es).
Sede del congreso
Hotel Don Manuel, Cáceres
Contact
alpuente@dsic.upv.es