Welcome to the web site of the Logics and Programming (LOGPROG) Research Group, distinguished as a "Grup de Recerca Consolidat" by the Catalan Government.

The majority of the members of the group belong to the Departament de Llenguatges i Sistemes Informàtics (LSI) at the Universitat Politècnica de Catalunya (UPC).

All lines of research within LOGPROG are concerned with the theory, tools and techniques related to Logic in Computer Science:

• The design of Logic-based tools for, e.g., SAT (see also this), or SAT Modulo Theories (see also this).
• Constraint programming
• Proof complexity
• Automated Theorem Proving
• Rewriting
• The implementation of logics
• Symbolic constraint solving
• Logic-based complexity and decidability analysis

The group is often involved in the organization of seminars, workshops and conferences. The agenda keeps track of these activities. The members of LOGPROG often participate in research projects, mostly supported by the European Union or the Spanish or Catalan governments. The group is also involved in some projects with industry in the area of Information Technologies. For instance, as in the previous years, the competion schedule we made for the two Dutch Professional Soccer Leagues is again the one being played this season! Also our new startup company Barcelogic.com is now up and running.

LOGPROG participates in the Master and Ph.D. programs on Computing of LSI. Together with the rest of the department, members of LOGPROG also lecture in several undergraduate courses at different Faculties and Technical Schools of the UPC:

• Facultat d'Infomàtica de Barcelona (FIB)
• Facultat de Matemàtiques i Estadística (FME)