Tenth International Conference on Theory and Applications of Satisfiability Testing in Lissabon

Blick vom Elevador de Santa Justa. Philipp mit Burg im Hintergrund.	Blick über Lissabon. Kathedrale und der Fluss Tejo
Kirche des Convento do Carmo. Beim Erdbeben 1755 zerstört.
	Blick über Lissabon mit der Brücke des 25. April im Hintergrund
	Die alte maurische Burg
Fussgängerzone im Zentrum von Lissabon	Der Elevador de Santa Justa
Wasserfontäne auf dem Gelände der Weltausstellung von 1998
	Geköpfter Philipp
Wissenschaftsmuseum auf dem Weltausstellungsgelände. Hier: Visualisierung von Sperners Lemma.	Holzmodell des binären Systems, mit dem man bis 127 zählen kann
	Die Brücke des 25. April
Im Inneren des Mosteiro dos Jeronimos in Belem
	Das Mosteiro dos Jeronimos von aussen
	Torre de Belem