Inria Winter Schools – 2016-2017
28/11/2016 – 2/12/2016 – Advanced Software Verification and Computer Proof
This course introduces advanced formalization techniques for the Coq proof assistant. In particular students will learn the SSReflect proof language and the Mathematical Components library. Such piece of technology is at the base of large formalizations like the Four Color Thereom or the Odd Order Theorem, and encompasses a proof language designed to write concise and robust proof scripts (called SSReflect) and a huge, modular, library of Coq theories (the Mathematical Components library).
16-20/01/2017 – Complex Networks
Network science (aka the science of Complex Networks) has emerged in the last ten years as an inter-disciplinary and yet distinct research field, seeking to discover common principles, algorithms and tools that govern networks as different as the Internet, the web, human social networks, gene regulatory networks, the brain, ecosystems, social organizations, transport networks. This winter school is the opportunity to learn about the fundamentals of network science, but also to get exposed to ongoing research activities.
23-27/01/2017 – Computational Geometry and Topology
This course is an introduction to the emerging field of Geometric and Topological Data Analysis. Fundamental questions to be addressed are:
– How can we represent complex shapes in high-dimensional spaces ?
– How can we infer properties of shapes from samples even in the presence of noise ?
Inria Sophia Antipolis
2004 Route des Lucioles
06902 Sophia Antipolis
Some student rooms have been booked at CIV Valbonne for Master’s students from ENS Lyon from sunday evening till friday morning, on a first-come, first-served basis. If you want to book a room at CIV, please complete the field in the registration form.
Students will have the possibility to have lunch at the university canteen on presentation of their student card.