Voir la version anglaise de cette page pour une information davantage à jour.

Le département informatique de l’ENS de Lyon organise dans le cadre du Master d’Informatique Fondamentale (IF), des écoles de recherche. Elles consistent généralement en 2 cours intensifs d’une semaine chacun (24h), dispensés par des spécialistes, sur des thématiques de recherche actuelles. Ces cours s’inscrivent dans le cursus du Master IF mais sont aussi ouverts à des participant·e·s extérieure·e·s (chercheur·se·s, étudiant·e·s).

Pour 2018-2019, les écoles sont :

À Lyon :

  • [ER01] 12-16 novembre 2018 : Algorithmic aspects of data analysis and machine learning, enseignants Vincent Cohen-Addad, Varun Kanade, Émilie Kaufman and Silvio Lattanzi.

    We will present general algorithmic approaches for solving several problems arising in machine learning and data analysis contexts.
    When dealing with large or evolving inputs standard algorithmic techniques fail. For example, if the input is large, it is not possible to assume that it will fit entirely into memory. One common solution is to use algorithms to very efficiently compress it while retaining its most important features. Another classic example is when the input changes over time. Then the algorithm is forced to make some decision at a given t, without knowing the rest of the input to come. Yet, is it possible to be close to what an algorithm knowing the entire input would have done? How can we prove some performance guarantees in these very adversarial contexts?
    We will present ideas coming from learning theory, online and streaming algorithms. We will illustrate how to apply these ideas on very fundamental data analysis and machine learning problems: bandit-type problems, clustering and low-rank approximation problems.
  • [ER02] 26-30 novembre 2018 : Virologie informatique, enseignant·e·s : Guillaume Bonfante et Jean-Yves Marion du LORIA – Université de Lorraine, Valérie Viet Triem Tong et Jean-François Lalande de Supélec et INRIA Rennes.

    Malware (or viruses) became a dangerous threat of our computer systems/infrastructures. The low ratio of detection of modern anti-virus softwares shows that the problem is hard. In this course, we propose to study malware with a retro-engineering point of view: that is how malware work, what makes their executable code so special. We will come back to the main ingredients of malware characteristics: they speak about themselves, that is they are built for self-protection against analysis and self-propagation.
    The course splits in two parts: for the first one, we cover malware features: syntactic obfuscation techniques, data encryptions, self-modification (and the wave semantics), anti-debuging/anti-virtualisation. For the second one, we discuss the defenses. First, we come back to theoretical aspects of malware and the main questions: behavioral analysis vs syntactic analysis, disassembling, function identification and so on. Then, we present the main heuristics to solve these (undecidable) issues.
    The course covers both X86/PC malware and Android-like malware. We describe the main techniques that were built up in the last decade: dynamic analysis, static analysis, dynamic symbolic execution, etc.
    Guillaume Bonfante and Jean-Yves Marion will work more specifically on X86 and Valérie Viet-Triem Tong and Jean-François Lalandes on Android.
    The course mixes « theory » and experiments. We bring a Virtual Machine for the exercices sessions.

Il y aura également des écoles proposées à Sophia-Antipolis.
À Sophia-Antipolis :

  • [ER03] 26-29 November 2018: Coq Winter School (SSReflect & MathComp)

    If you plan to attend this Winter School (instead of ER02), please
    – follow the instructions on the web page for the school regarding organisation;
    – write an email to nathalie.revol@… and to daniel.hirschkoff@… or yves.robert@… (according to whether you are in M1 or M2) to tell about your intention to do this.

Important : pour les écoles de recherche à Sophia-Antipolis, assurez-vous de vous inscrire à l’école (en suivant les liens sur la page de l’école en question). Vous pouvez demander de l’aide pour trouver un hébergement sur place.

La liste des écoles de recherche des années précédentes est disponible ici.

Pour les M1/M2 :

Les M1 et les M2 doivent suivre les 2 écoles.

Pour les extérieurs :

Pour des raisons d’organisation, il est impératif de s’inscrire par simple mail auprès de Nathalie Revol en précisant vos nom, prénom, votre formation (M1 ou M2, université) et toute autre information utile pour l’organisation de l’école.

Hébergement

Chaque participant prend en charge son hébergement et ses repas (l’accès au restaurant de l’ENS sera possible pour tous). Des informations sur les possibilités  d’hébergement à proximité de l’ENS Lyon sont disponibles sur la page du LIP.

Infos pratiques