Formal methods of system design means using mathematics to develop error-free systems. The mathematics needed is not complicated; it's just basic logic. The word "formal" means the use of a formal language, so that the system's operating logic can be machine checked.

This course is an introduction to the vast world of formal methods. It provides frameworks within which students can specify, develop, verify, and prove systems in a systematic, rather than ad hoc manner.

The course begins with review of propositional logic and predicate logic. Then we look at formal specifications, to cover set theoretic specification methods via B method, temporal specification via temporal logic and automata theory. The training includes both theoretical and practical parts. Each student will carry out an investigation of an existing formal verification system, applying it to a suitable problem of the student’s choice. Among possible projects will be the formal verification of problem solutions such as designing control systems, designing algorithms, or sophisticated data structures.

The course focuses on various advanced topics in the field. Students will delve into areas such as few-shot learning and domain adaptation, exploring techniques that enable models to learn from limited labeled data and adapt to new domains. The course also covers advanced methods for image and video generation and editing, allowing students to gain insights into cutting-edge approaches for creating and manipulating visual content. Classical vision tasks, including object detection and human pose estimation, are extensively studied, providing students with a strong foundation in fundamental computer vision techniques. Additionally, the course delves into video understanding, equipping students with the necessary tools to extract meaningful information from video data. Lastly, students will explore the integration of vision with other sensors, delving into the fusion of visual information with data from other sensing modalities, opening up new possibilities for perception and analysis. The course will be composed of five lectures and two practical sessions.

BUT2 Business international: achat et vente

BUT3 Business international: achat et vente