PROLE 2022
XXI Jornadas sobre Programación y Lenguajes
Santiago de Compostela (Spain), 5-7 de septiembre de 2022
Parte de las Jornadas SISTEDES 2022
https://sistedes2022.spilab.es/prole/
http://prole.webs.upv.es/

GENERAL DESCRIPTION
===================
The Conference on PROGRAMMING and LANGUAGES (PROLE - acronym from the spanish "PROgramación y LEnguajes") serves as a meeting place for debate and dissemination of ideas for Spanish groups that investigate issues related to programming and its languages. The organization of this event aims to promote the exchange of experiences and results, as well as communication and cooperation between these groups. The XXI edition of these Conferences (PROLE 2022) will be held in Santiago de Compostela from September 5 to 7, 2022, hosted by SISTEDES 2022 Conference, organized by the COGRADE-CITIUS Group of the University of Santiago de Compostela (USC).


TOPICS
======
PROLE welcomes both theoretical works and those that develop practical aspects related to the specification, design, implementation, analysis and verification of programs and programming languages, including the use of formal methods in software development processes. Of special relevance are those works related to the development of applications with existing software tools and systems, as well as tool and system demonstrations in this context. A non-exhaustive list of topics covered in PROLE includes:

* Programming paradigms (concurrent, functional, imperative, logic, {agent-, aspect-, object-} oriented, visual, ...). Integration of programming paradigms.

* Specification and specification languages. Type systems. Languages and techniques for new computation and programming models (DNA and quantum computing, genetic programming, ...),

* Architectures, tools and techniques for supporting the development and connectivity of programs (modularity, generic programming, markup languages, WWW, ...).

* Techniques and tools for programming language implementation. Evaluation of implementation techniques.

* Semantics of programming languages.

* Program analysis. Verification and certification of programs. Program transformation and optimization. Program debugging and testing. Program termination.

* Logics for software design and development.

* Formal methods in software development processes. Application of formal methods in industry. Case studies.

* Development of applications with existing languages ​​and tools.


INVITED SPEAKER
===============
Manuel V. Hermenegildo.
U. Politecnica de Madrid (UPM) and IMDEA Software Institute

Manuel Hermenegildo received the Spanish National Computing Prize (in the Aritmel category) in 2005 and in 2006 the Julio Rey Pastor National Prize in Mathematics and Information and Communication Technologies, among other distinctions. He is one of the leading researchers in areas such as declarative programming and formal methods.

TITLE: Prolog is 50, long live Prolog!

ABSTRACT: It is Prolog's 50th anniversary and 2022 has been declared the "Year of Prolog" to celebrate it and the fact that, after all these years, Prolog and Logic Programming continue to be relevant for higher-level programming and symbolic, explainable AI, with numerous implementations that continue evolving and new ones appearing continuously.
In this talk I will review the evolution of Prolog over these years and the current status of the language and its implementations, and provide some reflections on challenges and opportunities for the future. I will also explain briefly how we address some of these challenges in our Ciao Prolog system. Finally I will also try to provide some ideas on how to teach Prolog and Logic Programming in general.


IMPORTANT DATES
===============
- Submission deadline: May 8, 2022 [Strict deadline Extension: May 15, 2022]
- Author notification: June 10, 2022
- Camera-ready copy: June 20, 2022
- Early registration: June 26, 2022
- Conference: September 5-7, 2022


SUBMISSIONS
===========
Contributions are requested (both in Spanish and English) in any of the following categories:

1. Original works. Not published or in review process in journals, conferences with formal proceedings, etc.
2. Tutorials.
3. Tools demonstrations and software systems. You must provide a URL where the tool is available.
4. Work in progress.
5. Papers already published in journals or presented at international conferences during 2021 or 2022, or accepted but pending publication/presentation (in the format and length of the original publication, it is sufficient to have the initial electronic version).


INFORMATION FOR AUTHORS
=======================
Papers in categories 1-4 must follow Elsevier's instructions and format, available at:

https://www.ctan.org/tex-archive/macros/latex/contrib/elsarticle

and its submission will be made through the EasyChair system at

https://easychair.org/conferences/?conf=prole2022

The extension of the papers can be from 4 to 15 pages, so that an abstract can be sent instead of a complete work.

In the case of "papers already published" (category 5), only a pdf copy will be submitted and the abstract of the submission form will be used to indicate the name of the conference or journal of publication, along with the year of publication.


SELECTION AND PUBLICATION OF CONTRIBUTIONS
==========================================
The works of categories 1-4 will be reviewed by at least three reviewers and those that are finally accepted will be published in the proceedings of the Conference. Category 5 papers will be reviewed to ensure they in the scope of the Conference and only a brief summary of them will be published in the proceedings (in this summary it will be indicated that it is a paper already published and the reference of the publication).

The proceedings of PROLE 2022 will be published in digital format and will be hosted in the SISTEDES Digital Library at

https://biblioteca.sistedes.es

Among the works presented, a selection will be made for a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP):

https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming


LANGUAGE OF THE CONFERENCE
==========================
Although PROLE is a national conference and Spanish is its official language, PROLE is English friendly and both papers and presentations can be in English.


PROGRAM COMMITTEE
==================
PC CHAIR: Pascual Julián Iranzo (Universidad de Castilla-La Mancha)

Jesús Almendros (Universidad de Almería)
María Alpuente (Universitat Politècnica de València)
Clara Benac (Universidad Politécnica de Madrid)
María Luisa Bonet (Universitat Politècnica de Catalunya)
Pedro Cabalar (Universidade da Coruña)
Manuel Carro (Universidad Politécnica de Madrid e IMDEA Software)
Laura M. Castro (Universidade da Coruña)
Francisco Durán (Universidad de Málaga)
Santiago Escobar (Universitat Politècnica de València)
Lars-Ake Fredlund (Universidad Politécnica de Madrid)
María del Mar Gallardo (Universidad de Málaga)
Alberto Lluch Lafuente (Technical University of Denmark)
Salvador Lucas (Universitat Politècnica de València)
Paqui Lucio (Euskal Herriko Unibertsitatea)
Narciso Martí-Oliet (Universidad Complutense de Madrid)
Ginés Moreno (Universidad de Castilla-La Mancha)
Fernando Orejas (Universitat Politècnica de Catalunya)
Laura Panizo (Universidad de Málaga)
Ricardo Peña (Universidad Complutense de Madrid)
Fernando Sáenz (Universidad Complutense de Madrid)
Cesar Sánchez (IMDEA Software)
Josep Silva (Universitat Politècnica de València)
Germán Vidal (Universitat Politècnica de València)
Alicia Villanueva (Universitat Politècnica de València)


ORGANIZING COMMITTEE
====================
José Antonio Riaza Valverde (Universidad de Castilla-La Mancha), CO-CHAIR
José A. Taboada González (Grupo COGRADE - CITIUS - USC), CO-CHAIR