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 Kaufmann 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.

    Enseignant·e·s:

    • Vincent Cohen-Addad — CNRS & Sorbonne Université
    • Varun Kanade — Oxford University and Alan Turing Institute
    • Emilie Kaufmann — CNRS & Université de Lille
    • Silvio Lattanzi — Google Zurich

    Emploi du temps :

    • Lundi 12 Novembre : 13h30-16h avec Emilie Kaufmann
    • Mardi 13 Novembre : 9h-12h avec Emilie Kaufmann, 13h30-17h30 avec Vincent Cohen-Addad
    • Mercredi 14 Novembre : 9h-12h avec Silvio Lattanzi, 13h30-16h avec Varun Kanade
    • Jeudi 15 Novembre : 9h-12h avec Silvio Lattanzi
    • Vendredi 16 Novembre : 9h-12h30 avec Varun Kanade, 13h30-15h avec Vincent Cohen-Addad, 15h-16h: examen

    Lieu : amphi B.

  • [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 Lalande on Android.
    The course mixes « theory » and experiments. We bring a Virtual Machine for the exercices sessions.

    Emploi du temps (confirmé) :

    • Lundi 26 Novembre : 9h-12h et 13h30-15h30 avec Jean-Yves Marion
    • Mardi 27 Novembre : 9h-12h et 13h30-16h30 avec Guillaume Bonfante
    • Mercredi 28 Novembre : 8h30-11h30 et 13h-16h avec Jean-François Lalande et Valérie Viet Triem Tong, prenez votre ordinateur portable avec vous
    • Jeudi 29 Novembre : 9h-12h avec Guillaume Bonfante
    • Vendredi 30 Novembre : 9h-12h avec Guillaume Bonfante, 12h-13h: examen

    Lieu : amphi B et salle S435 le mercredi.

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