Excellence Group PROMETEO2011/052

About ELP

The research group on Extensions of Logic Programming (ELP) works on automated software engineering, advanced software technology, lighthweight 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.

International School

6th International School on Rewriting, ISR 2012

Conferences and Workshops organized by ELP