Deprecated: Optional parameter $key declared before required parameter $property is implicitly treated as a required parameter in /home/juamur7/sistedes2019.spilab.es/wp-content/plugins/wp-file-download-light/app/functions.php on line 20

Deprecated: version_compare(): Passing null to parameter #2 ($version2) of type string is deprecated in /home/juamur7/sistedes2019.spilab.es/wp-content/themes/hestia/vendor/codeinwp/themeisle-sdk/load.php on line 20
PROLE – SISTEDES 2019

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)

 

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:

  1. Trabajos originales. No publicados ni en proceso de revisión en revistas, conferencias con actas formales, etc. (máximo 15 páginas).
  2. Tutoriales (máximo 18 páginas).
  3. Demostraciones de herramientas y sistemas software (máximo 15 páginas). Se deberá aportar URL donde la herramienta esté disponible.
  4. 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.
  5. 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

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