El grup de recerca en Lògica i Programació (LOGPROG) està format per membres del departament de Ciències de la Computació.
El grup focalitza la seva recerca en el camp de lògica i la informàtica teòrica bàsica. Les principals línies de recerca són:
- Lògica a la informàtica
- Complexitat computacional
- Resolució de problemes amb restriccions
- Tècniques de programació avançada
- Deducció automàtica