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 XVIII edición de estas Jornadas (PROLE 2018) se celebrará en el marco de las Jornadas SISTEDES 2018 y tendrá lugar en Sevilla en septiembre de 2018.

 

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: 27 de abril de 2018
• Notificación a los autores: 27 de mayo de 2018
• Envío de versiones definitivas: 15 de junio de 2018
• Celebración de las Jornadas: 17, 18 y 19 de septiembre de 2018

 

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 2017, 2018 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 y su envío se realizará a través del sistema EasyChair.

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. Entre estos trabajos, se otorgará un premio al mejor trabajo, teniendo en cuenta la valoración de los revisores y la presentación realizada en las Jornadas.

Las actas de PROLE 2018 se publicarán en formato digital y estarán alojadas en la Biblioteca Digital de SISTEDES.

Está abierta la posibilidad de que después de las Jornadas se realice una selección de los mejores trabajos escritos en inglés de las categorías 1, 2 y 3 para su publicación posterior en la revista Electronic Proceedings in Theoretical Computer Science, o similar.

De forma excepcional, el comité de programa considerará la posibilidad de cambiar la categoría de los trabajos sometidos a las categorías 1 y 5, según el proceso de revisión previo y/o las presentaciones durante las jornadas, aspecto que será comunicado a los autores con la suficiente antelación para su conocimiento y posible reconsideración de su propuesta.

 

Comité de programa

• Presidente: Yolanda Ortega-Mallén (Universidad Complutense de Madrid, yolanda@ucm.es)

• Jesús Almendros (Universidad de Almería)
• María Alpuente (Universitat Politècnica de València)
• Manuel Carro (Universidad Politécnica de Madrid e Instituto IMDEA Software)
• Laura Castro (Universidad da Coruña)
• Francisco Durán (Universidad de Málaga)
• Lars-Ake Fredlund (Universidad Politécnica de Madrid)
• David de Frutos-Escrig (Universidad Complutense de Madrid)
• 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)
• Paqui Lucio (Euskal Herriko Unibertsitatea)
• Gines Moreno (Universidad de Castilla-La Mancha)
• Marisa Navarro (Euskal Herriko Unibertsitatea)
• Albert Oliveras (Universitat Politècnica de Catalunya)
• Fernando Orejas (Universitat Politècnica de Catalunya)
• Ricardo Peña (Universidad Complutense de Madrid)
• Fernando Rubio (Universidad Complutense de Madrid)
• Cesar Sánchez (Instituto IMDEA Software)
• Jaime Sánchez-Hernández (Universidad Complutense de Madrid)
• Josep Silva (Universitat Politècnica de València)
• Alicia Villanueva (Universitat Politècnica de València)
• Mateu Villaret (Universitat de Girona)

 

Trabajos aceptados

• QL: Object-oriented Queries on Relational Data (Trabajo ya publicado)
  Pavel Avgustinov, Oege de Moor, Michael Peyton Jones and Max Schäfer
  


• A Correct Compiler from Mini-ML to a Big-Step Machine Verified Using Natural Semantics in Coq (Trabajo en progreso)
  Ángel Zúñiga and Gemma Bel-Enguix
  


• Constraint Answer Set Programming without Grounding (Trabajo ya publicado)
  Joaquín Arias, Manuel Carro, Kyle Marple, Elmer Salazar and Gopal Gupta
  


• An Online Tool for Unfolding Symbolic Fuzzy Logic Programs (Demostración)
  Ginés Moreno and José Antonio Riaza Valverde
  


• Rule formats for nominal process calculi (Trabajo ya publicado)
  Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir and Yolanda Ortega- Mallén
  


• Semantic Analysis of SQL Statements in DES (Trabajo en progreso)
  Fernando Sáenz-Pérez
  


• Analysis of Rewriting-Based Systems as First-Order Theories (Trabajo ya publicado)
  Salvador Lucas
  


• An Exercise in Proving Red-Black Trees Correct (Trabajo en progreso)
  Ricardo Peña
  


• Directions of Operational Termination (Trabajo original)
  Salvador Lucas
  


• An Event-driven Interval Temporal Logic for Hybrid Systems (Trabajo en progreso)
  Maria-Del-Mar Gallardo and Laura Panizo
  


• A Datalog Framework for Modeling Relationship-based Access Control Policies (Trabajo ya publicado)
  Edelmira Pasarella and Jorge Lobo
  


• The 2D Dependency Pair Framework for conditional rewrite systems (Trabajo ya publicado)
  Salvador Lucas, José Meseguer and Raúl Gutiérrez
  


• An Efficient Proximity-based Unification Algorithm (Trabajo ya publicado)
  Pascual Julián Iranzo and Fernando Sáenz-Pérez
  


• Institutions for navigational logics for graphical structures (Trabajo ya publicado)
  Fernando Orejas, Elvira Pino, Marisa Navarro and Leen Lambers
  


• Behaviour Preservation across Code Versions in Erlang (Trabajo ya publicado)
  David Insa, Sergio Pérez Rubio, Josep Silva and Salvador Tamarit
  


• Modeling Systems and Proving their Correctness with Event-B and Rodin (Tutorial)
  Manuel Carro
  


• An Efficient Characterization of Petri Net Solvable Binary Words (Trabajo ya publicado)
  David de Frutos Escrig, Maciej Koutny and Lukasz Mikulski
  


• Una librería para inteligencia de enjambre basada en la programación funcional (Trabajo ya publicado)
  Fernando Rubio, Alberto De La Encina, Pablo Rabanal and Ismael Rodríguez
  


• Context-based Model Checking using SMT-solvers (Trabajo en progreso)
  Alex Abuin, Unai Díaz de Cerio, Montserrat Hermo and Paqui Lucio
  


• Constrained Dynamic Partial Order Reduction (Trabajo ya publicado)
  Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel and Albert Rubio
  


• Fuzzy Queries of Social Networks involving Sentiment Analysis and Topic Detection (Trabajo en progreso)
  Jesús M. Almendros-Jiménez, Antonio Becerra-Terón and Ginés Moreno
  


• An extension of TRIANGLE testbed with model-based testing (Trabajo ya publicado)
  Laura Panizo, Almudena Díaz and Bruno García
  


• Tool Demonstration: Testing JSON Web Services Using Jsongen (Demostración)
  Ignacio Ballesteros, Luis Eduardo Bueso de Barrio, Lars-Ake Fredlund and Julio Mariño
  


• Webpage Menu Detection Based on DOM (Trabajo ya publicado)
  Julián Alarte Aleixandre, David Insa and Josep Silva