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

Spanish Congress on Programming and Computer Languages

Permanent Link of PROLE

-->