PROLE
–
Fotos de las jornadas
A continuación se adjuntan varios enlaces con algunas de las fotografías de las jornadas (cortesía de Fernando Sáenz)
- PROLE 2019: https://photos.app.goo.gl/6y29XjeNiNZi1fYKA
- Museo de Historia de la Computación – Cáceres: https://photos.app.goo.gl/R6nTckEr2Ac2qgdE9
Premio a la mejor presentación
Noticia sobre el premio a la mejor presentación aquí.
Solicitud de contribuciones
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
14 de abril de 2019 (estricto) - 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
–
Tipos de contribuciones
Se solicitan contribuciones (tanto en castellano como en inglés) en alguna de las siguientes categorías:
- 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.
–
Selección y publicación de contribuciones
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).
–
Comité de programa de PROLE
- Presidente: María Alpuente (Universitat Politècnica de València)
- Elvira Albert (Universidad Complutense de Madrid)
- 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 de PROLE
- Julia Sapiña (Universitat Politècnica de València, jsapina(at)dsic.upv.es), co-presidente
- Roberto Rodriguez (Universidad de Extremadura, rre(at)unex.es), co-presidente
–
Trabajos aceptados
- Integrating WordNet into Bousi~Prolog (Trabajo en progreso)
Pascual Julian-Iranzo and Fernando Saenz-Perez - Experiencing Intuitionistic Logic Programming in SQL Puzzles (Trabajo en progreso)
Fernando Saenz-Perez - Associative Unification and Symbolic Reasoning Modulo Associativity in Maude (Tutorial)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Marti-Oliet, Jose Meseguer and Carolyn Talcott - Tuning Neural Networks in a Fuzzy Logic Programming Environment (Trabajo en progreso)
Gines Moreno, Jesús Pérez and José Antonio Riaza Valverde - Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach (Trabajo ya publicado)
Alexander Bolotov, Montserrat Hermo and Paqui Lucio - Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP (Trabajo ya publicado)
Joaquin Arias and Manuel Carro - Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA (Trabajo ya publicado)
Antonio Gonzalez-Burgueño, Damian Aparicio, Santiago Escobar, Catherine Meadows and Jose Meseguer - Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment (Trabajo ya publicado)
Jesus M. Almendros-Jimenez, Antonio Becerra-Teron, Gines Moreno and Jose Antonio Riaza Valverde - Ontology and Constraint Reasoning Based Analysis of SPARQL Queries (Trabajo en progreso)
Jesus M. Almendros-Jimenez and Antonio Becerra-Teron - Model-checking strategy-controlled rewriting systems (Trabajo ya publicado)
Rubén Rubio, Narciso Marti-Oliet, Isabel Pita and Alberto Verdejo - Incremental Concurrent Synchronization with Conflict Resolution (Trabajo en progreso)
Elvira Pino, Marisa Navarro and Fernando Orejas - SMT-based Test-Case Generation with Complex Preconditions (Trabajo en progreso)
Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido and Javier Sagredo - Using Well-Founded Relations for Proving Operational Termination (Trabajo ya publicado)
Salvador Lucas - Proving Program Properties as First-Order Satisfiability (Trabajo ya publicado)
Salvador Lucas - Modelling and Specifying Software Systems with Alloy (Tutorial)
María-Del-Mar Gallardo and Laura Panizo - Causal-Consistent Replay Debugging for Message Passing Programs (Trabajo ya publicado)
Ivan Lanese, Adrian Palacios and German Vidal - The Dynamic Pipeline Paradigm (Trabajo en progreso)
Cristina Zoltan, Edelmira Pasarella, Julian Araoz and Maria-Esther Vidal - Static Performance Guarantees for Programs with Run-time Checks (Trabajo ya publicado)
Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, Manuel V. Hermenegildo and José Morales - Pitfalls of Jason Concurrency (Trabajo ya publicado)
Álvaro Fernández Díaz, Clara Benac Earle and Lars-Ake Fredlund - Satisfiability Solvers based on Resolution and Cutting Planes Proof Systems (Tutorial)
Maria Luisa Bonet - Formalización de una arquitectura de computación móvil basada en Linda (Trabajo en progreso)
Alejandro Pérez-Vereda, Carlos Canal and Ernesto Pimentel - infChecker: A Tool for Checking Infeasibility (Trabajo en progreso)
Raúl Gutiérrez and Salvador Lucas - Towards a bottom-up fixpoint semantics that models the behavior of PROMELA programs (Trabajo en progreso)
Marco Comini, Francesco Saverio Comisso and Alicia Villanueva - Automatic Testing of Program Slicers (Trabajo ya publicado)
Sergio Pérez, Josep Sílva and Salvador Tamarit - Modeling and Reasoning in Event Calculus Using Constraint Answer Set Programming (Trabajo en progreso)
Joaquin Arias and Manuel Carro