CS-628: Interactive Theorem Proving CSA hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
AR-365: Theory and architectural cultureLe cours offre un résumé de la théorie et la culture architecturales depuis 1789 dans le monde occidentale. Le but est de comprendre des textes dans lesquels l'architecture est définie comme une disci
AR-481: Architecture in the age of accelerationThis course proposes to investigate six strategies for architecture in the age of acceleration: Acceleration, Regionalism, Participation, Transformation, Commonality and Resilience. Anchoring these st
AR-672: Theory or Practice ? Research by designThe seminar focuses on the particular, still little understood, type of research, done "through" design. It debates on its relevance within doctoral studies thanks to the curriculum and experience of
AR-502: The origins of domestic spaceThe course is part of a three-year trajectory dedicated to a comprehensive history of domestic space and its relationship with urban form. This year the course will be devoted to the origins of domest
AR-705: Baukultur and the culture of transitionBaukultur can be approached through the emerging socio-ecological Transition, as two main cultures that still need to be aligned. The Habitat Research Center organizes a public seminar and several aca
