LOGPROG: Logics and Programming
 Sections
  Homepage
  People
  Research
  Publications
  Awards
  Projects
  Contact
 Contact

People

To contact our research group, please get in touch with the leader of LOGPROG, Robert Nieuwenhuis.

Address

Most of the members in the LOGPROG research group are are located at the following address:

Departament de Llenguatges i Sistemes Informātics
Universitat Politčcnica de Catalunya
Campus Nord - Edifici Ω
08034 Barcelona
Catalonia (Spain)

Ω (Omega) is the name of the newest building of the Campus Nord.

How to get there:

  • By underground: Take Line 3 and get off at Palau Reial station. From there, walk up the street that leaves the Gardens of the Palau Reial on your right (walking towards the mountain). At the crossing you are facing Campus Nord. Keep walking and go past a glass building called Nexus II on your left. The Omega building is the one right behind.

  • By bus: Lines 33, 54, 75, 78 and 60 stop at various places within a few meters from campus (you should be able to see it). Lines 7, 33, 67, 68 and 74 stop at the Av. Diagonal, right after the Gardens of the Palau Reial. From there, walk up the street that leaves the Gardens of the Palau Reial on your right (walking towards the mountain). At the crossing you are facing Campus Nord. Keep walking and go past a glass building called Nexus II on your left. The Omega building is the one right behind.

  • Browse the Barcelona Interactive map starting at the Campus Nord area
    (warning: the new Ω building is not yet displayed there).

  • Browse the Google Earth Interactive map starting at the Campus Nord area.

Fax

+34 93 413 7833 (secretaries)

Web page

http://logprog.cs.upc.edu