Logic Programming & Software Engineering Group

GPLIS

SPARCIM Contact: María Alpuente

The Logic Programming and Software Engineering Research Group - GPLIS - is made up of five different subgroups
which share a common interest in Software Engineering, Formal Methods and Logic Programming technology.

GPLIS research activities focus on the general areas of research of the five teams:

Software Engineering and Information Systems (ISSI)	publications	Isidro Ramos coordinator
Extensions of Logic Programming and Programming Languages (ELP)	publications	María Alpuente
Object-Oriented Methods for Software Development (OO-Method)	publications	Oscar Pastor
Databases and Automated Reasoning	publications	Matilde Celma
Natural Language Processing	publications	Lidia Moreno