Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

New Foundations

Related courses (10)

MGT-301: Foundations in financial economics

The aim of this course is to expose EPFL bachelor students to some of the main areas in financial economics. The course will be organized around six themes. Students will obtain both practical insights through real-world examples and understand how one can ...

MICRO-457: Materials processing with intelligent systems

Repeatability in laser material processing is challenging due to high-speed dynamics. To address this issue, the course provides an overview of laser theory, laser-material interaction, various types of sensors (acoustic & optic), data acquisition, online ...

MICRO-512: Image processing II

Study of advanced image processing; mathematical imaging. Development of image-processing software and prototyping in Jupyter Notebooks; application to real-world examples in industrial vision and biomedical imaging. ...

EE-515: Fundamentals of biosensors and electronic biochips

The labels "biosensor" and "eBiochip" have been employed to refer to the most diverse systems and in several fields of application. The course is meant not only to provide means to dig into this sea

MATH-483: Gödel and recursivity

Gödel incompleteness theorems and mathematical foundations of computer science ...

CS-452: Foundations of software

The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a program part or a language. Students will learn how to apply ...

PHYS-331: Functional analysis (for PH)

Ce cours ambitionne de présenter les mathématiques de la mécanique quantique, et plus généralement de la physique quantique. Il s'adresse essentiellement aux physiciens, ou a des mathématiciens intéressés dans le domaine. ...

CS-628: Interactive Theorem Proving CS

A 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! ...

EE-806: Multi Agent Reinforcement Learning

The goal of the summer school are providing a rigorous introduction to the foundations of MARL and highlight the challenges that arise in the modern research directions in this area. ...

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous examples of model categories and their applications in ...