Logic Programming & Software Engineering Group


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)
María Alpuente
Object-Oriented Methods for Software Development (OO-Method) publications
Oscar Pastor
Databases and Automated Reasoning
Matilde Celma
Natural Language Processing
Lidia Moreno

Photo with all the members
Full Video (384 MBytes)

Click here to obtain institutional information about the GPLIS group and its activities (group profile).


Last update Jul 2005 # María Alpuente