The computer science department of ENS Lyon organizes research schools, often in January. They consist of an intensive one-week course (24 hours), delivered by experts of a current research topic. The research schools are an integral part of our Master curriculum, but are also open to outside participants (students, researchers).
For 2017-2018, we offer the following schools (please note that there will be two research schools in the week 4-8 december, 2017):
In Lyon :
- [ER00] (In French) October 30 to November 3, 2017, campus de la Doua: Institut d’Automne en Intelligence Artificielle;
- [ER01] December 04-08, 2017 : Knowledge Compilation, taught by Florent Capelli, Jean-Marie Lagniez and Pierre Marquis;
- [ER02] January 15-19, 2018: Numerical Computing and Rigorous Numerical Computing, taught by Nick Trefethen and Warwick Tucker
- [ER03] January 22-26, 2018: Graph Limits, taught by Bernard Lidický and Dan Kraal
In Sophia-Antipolis :
- [ER04] December 04-08, 2017: Coq Winter School: Advanced Software Verification and Computer Proof
- [ER05] January 22-26, 2018: Software Verification and computer proof
Important notice for the Research Schools organised in Sophia-Antipolis: please make sure to register to the school (follow the links to the dedicated webpage). You may ask for help in order to find an accomodation there.
The list of research schools from previous years is available here.
For M1 and M2 students:
M1 students must follow 2 of the schools.
M2 must follow the 3 research schools.
For outside participants:
Registration is free but compulsory. To register, send an e-mail to Nathalie Revol with your first name, name, level (M1, M2) and university. Please also mention any information useful for organizational purposes.
Information on housing options close to ENS Lyon can be found on the LIP web page. Participants will be able to use the ENS restaurant for a fee.