Logic in Computer Science - Facultat d'Informatica de Barcelona