LOGPROG - Logic and Programming

You are here

The Logic and Programming research group (LOGPROG) is formed by members of the Department of Computer Science.

The group focuses its research in the area of logics and theoretical computer science. Their main lines of research are:

  • Logics in computer science
  • Computational complexity
  • Constraint-problem solving
  • Advanced programming techniques
  • Inference

Scientific Production

Take a look at the Website for the scientific production of UPC researchers:futur.upc.edu

FUTUR UPC

Descobreix tota la producció Científica dels investigadors de la FIB al portal FUTUR de la UPC

Blog Arcitec UPC

Descobreix i/o publica els projectes de recerca duts a terme per estudiants de la FIB al blog arcitec de la UPC

 

Estudi bibliomètric elaborat per la Biblioteca Gabriel Ferraté
Estudi comparatiu de la publicació científica en l’àmbit de la informàtica a la UPC vs. altres universitats d’àmbit nacional i internacional