Excellence Group PROMETEO/2011/052 and PROMETEO-II/2015/013

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.

Conferences and Workshops organized by ELP

International School

6th International School on Rewriting, ISR 2012