LOGPROG

El grup LOGPROG Ã©s un grup amb experiència àmpliament reconeguda internacionalment en els següents àmbits:

• Lògica en la informàtica: deducció automàtica, SAT, Max-SAT, SAT Modulo Teories, Reescriptura, implementació de lògiques.
• Lògica i Complexitat Computacional
• Problemes de solució de restriccions i les seves aplicacions a processos industrials de planificació, horaris, verificació, entre d'altres, així com a ciències com a la biologia o la lingüística.
• Tècniques de programació avançada.

Actualment el grup té contactes de col·laboració nacional i internacional amb empreses com ara Intel (Hilsboro, OR), Microsoft (Redmond, WA) o KNVB (Holanda) i té interès en seguir ampliant aquest tipus de relacions amb iniciatives com Barcelogic.