Accions del document
LOGPROG
Lògica i Programació Informàtica
El grup LOGPROG és un grup amb experiència àmpliament reconeguda internacionalment en els següents àmbits:
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.
- 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.
