Excellence Group PROMETEO/2011/052, PROMETEO-II/2015/013, PROMETEO/2019/098, and CIPROM/2022/6

VRAIN, Valencian Research Institute for Artificial Intelligence

About ELP

The research group on Extensions of Logic Programming (ELP) works on automated software engineering, advanced software technology, lightweight formal methods, semantics of programming languages -and its application to the analysis, specification, verification, debugging, testing, learning, certification, transformation and optimization of multi-paradigm programs-, term rewriting systems, logic programming, functional programming, computational logic, machine learning, and inductive logic programming.

The ELP in the media (Press notes)

Recent Conferences and Workshops organized by ELP

Previous Conferences and Workshops organized by ELP

Spanish Congress on Programming and Computer Languages

Permanent Link of PROLE