LOGPROG: Logics and Programming
  Prizes & Distinctions
  In the media
  Former members

A SAT instance:

 Quote of the day

Logic is the calculus of computer Science.

The Logical Basis for Computer Programming
Manna, Waldinger


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:

and their application for solving problems in industry and Science.

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)