-
Studies
-
Masters
- Do you want to study a Master Degree?
- Master in Informatics Engineering
- Master in Informatics Engineering - Industrial Modality
-
Master in Innovation and Research in Informatics
- Master in Artificial Intelligence
- Master in Cybersecurity
- Master in Data Science
- Erasmus Mundus Master in Big Data Management and Analytics
- Master in Urban Mobility
- EUMaster4HPC
- Other Masters
-
Masters
-
Mobility
- Research
- Companies
-
The FIB
- Studies
- Bachelor's degrees
- Do you want to study a bachelor's degree?
- Bachelor Degree in Informatics Engineering
- Bachelor Degree in Data Science and Engineering
- Bachelor Degree in Artificial Intelligence
- Bachelor Degree in Bioinformatics
- Integrated Bachelor Master Degree
- Masters
- Do you want to study a Master Degree?
- Master in Informatics Engineering
- Master in Informatics Engineering - Industrial Modality
- Master in Innovation and Research in Informatics
- Master in Artificial Intelligence
- Master in Cybersecurity
- Master in Data Science
- Erasmus Mundus Master in Big Data Management and Analytics
- Master in Urban Mobility
- EUMaster4HPC
- Other Masters
- Academic Management
- Grants and Financial Aid
- Bachelor's degrees
- Mobility
- Research
- Departments
- Research Centers
- BSC-CNS - Barcelona Supercomputing Center
- CCABA – Advanced Broadband Communications Center
- CEBIM - Molecular Biotechnology Centre
- CREB - Research Centre for Biomedical Engineering
- CRnE - Center for Research in NanoEngineering
- IDEAI - Intelligent Data Science and Artificial Intelligence Research Center
- TALP - Center for Language and Speech Technologies and Applications
- Research Groups
- ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods
- ARCO - Architectures and Compilers
- CAP - High Performace Computing Group
- CBA - Broadband Communications Systems
- CNDS - Computer Networks and Distributed Systems
- DAMA-UPC - Data Management Group
- DCCG - Research group on discrete, combinatorial and computational geometry
- DMAG - Distributed Multimedia Applications Group
- GESSI - Group of Software and Service Engineering
- GIE - Engineering Informatics Group
- GNOM - Group of Numerical Optimization and Modelling
- GPLN - Natural Language Processing Group
- GRBIO - Biostatistics and Bioinformatics Research Group
- GREC - Knowledge Engineering Research Group
- GRINS - Intelligent Robots and Systems
- KEMLG - Knowledge Engineering and Machine Learning Group
- LARCA - Relational Algorithmics, Complexity and Learning Laboratory
- LOGPROG - Logic and Programming
- MD - Discrete Mathematics
- MPI - Information Modelling & Processing
- SIMCON - Computer Simulation in Condensed Matter Research Group
- SOCO - Soft Computing
- SUSHITOS - Services for Ubiquitous Social and Humanistic Information Technologies and Open Source Research Group
- VIS - Vision and Intelligent Systems
- ViRVIG - Visualisation, Virtual Reality and Graphic Interaction Research Group
- inLab FIB
- Companies
- The FIB
LOGPROG - Logic and Programming
You are here
- ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods
- ARCO - Architectures and Compilers
- CAP - High Performace Computing Group
- CBA - Broadband Communications Systems
- CNDS - Computer Networks and Distributed Systems
- DAMA-UPC - Data Management Group
- DCCG - Research group on discrete, combinatorial and computational geometry
- DMAG - Distributed Multimedia Applications Group
- GESSI - Group of Software and Service Engineering
- GIE - Engineering Informatics Group
- GNOM - Group of Numerical Optimization and Modelling
- GPLN - Natural Language Processing Group
- GRBIO - Biostatistics and Bioinformatics Research Group
- GREC - Knowledge Engineering Research Group
- GRINS - Intelligent Robots and Systems
- KEMLG - Knowledge Engineering and Machine Learning Group
- LARCA - Relational Algorithmics, Complexity and Learning Laboratory
- LOGPROG - Logic and Programming
- MD - Discrete Mathematics
- MPI - Information Modelling & Processing
- SIMCON - Computer Simulation in Condensed Matter Research Group
- SOCO - Soft Computing
- SUSHITOS - Services for Ubiquitous Social and Humanistic Information Technologies and Open Source Research Group
- VIS - Vision and Intelligent Systems
- ViRVIG - Visualisation, Virtual Reality and Graphic Interaction Research Group
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.eduFUTUR UPC
Descobreix tota la producció Científica dels investigadors de la FIB al portal FUTUR de la UPC
Treballs de fi de grau i màster dels estudiants
Descobreix al portal de coneixement obert de la UPC els projectes duts a terme per estudiants de la FIB
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
Where we are
B6 Building Campus Nord
C/Jordi Girona Salgado,1-3
08034 BARCELONA Spain
Tel: (+34) 93 401 70 00
C/Jordi Girona Salgado,1-3
08034 BARCELONA Spain
Tel: (+34) 93 401 70 00
Contact with us
© Facultat d'Informàtica de Barcelona - Universitat Politècnica de Catalunya - Website Disclaimer - Privacy Settings