CS-487: Industrial automationThis course consists of two parts:
- architecture of automation systems, hands-on lab
- dependable systems and handling of faults and failures in real-time systems, including fault-tolerant computin
ENG-619: Information literacy for chemistsConcepts and tools to understand and use the modem chemical information environment Learn how to explore the scientific literature, how to use the information found in agreement with intellectual prop
ME-373: Finite element modelling and simulationL'objectif de ce cours est d'apprendre à réaliser de manière rigoureuse et critique des analyses par éléments finis de problèmes concrets en mécanique des solides à l'aide d'un logiciel CAE moderne.
MGT-455: Practical business lawThe course covers the fundamental concepts of business law from a practical standpoint, including contracts and company law, intellectual property, competition law and data protection, with a special
EE-805: Fundamentals of Image AnalysisThis summer school is an hands-on introduction on the fundamentals of image analysis for scientists. A series of lectures provide students with the key concepts in the field, and are followed by pract
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!
