CS-206: Parallelism and concurrencyCourse no longer offered for new students; this edition is only a make-up course for those who repeated the year. Please log in with EPFL credentials and consult the mediaspace link below for course v
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!
FIN-604: Financial Econometrics IWe provide a comprehensive overview of the econometric tools that are essential to estimate financial models, both for asset pricing and
for corporate finance.
AR-301(ak): Studio BA5 (Chavepayreo)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Éve
AR-302(ak): Studio BA6 (Chavepayre)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Éve
AR-401(ak): Studio MA1 (Chavepayre)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Év
AR-402(ak): Studio MA2 (Chavepayre)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Éve
HUM-485: Data in context: Critical Data Studies ILe cours "Critical Data Studies" s'inscrit dans la nouvelle offre d'enseignements TILT qui propose de croiser des savoirs provenant des SHS et des sciences de l'ingénieur afin d'aborder des thématique
CS-210: Functional programmingUnderstanding of the principles and applications of functional programming, the fundamental models of program
execution, application of fundamental methods of program composition, meta-programming thr