LOGPROG: Logics and Programming

 Quote of the day

Logic is the calculus of computer Science.

In Zohar Manna, Richard Waldinger, The Logical Basis for Computer Programming. Volume 1: Deductive Systems, Addison-Wesley, 1990


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 Ciencies de la Computacio(CS) from the Universitat Politčcnica de Catalunya (UPC).

Research within LOGPROG is concerned with the theory, tools and techniques related to Logic in Computer Science.

The members of LOGPROG participate in research projects, mostly supported by the the Spanish or Catalan governments. The group is also involved in some projects with industry in the areas of Timetabling, Scheduling and Optimization.

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 CS. 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)