L3 2018-2019

Toutes les informations concernant le L3 IF pour l’année 2018-2019 sont/seront disponibles sur le pad du L3, accessible ici (le mot de passe est l3info18):

https://pad.inria.fr/p/r.d202fb7f4eefd48267b01716b7a89d06

La réunion de rentrée du DI aura lieu le lundi 10 septembre à 14h en Amphi B.

Liens vers des documents utiles:

ER02: Calcul numérique et calcul numérique rigoureux (15-19 Janvier 2018)

Intervenants, présentation de l’école et ressources utiles : voir la version anglaise.

Planning de l’école de recherche ER02

8h15-10h 10h15-12h 14h15-16h 16h15-18h
Monday Chebyshev (amphi B) Chebyshev (salles de TP E001 et 125) Validated numerics (amphi B)
Tuesday Validated numerics (amphi B) Validated numerics (amphi B) Chebyshev (amphi B) Chebyshev (salles de TP E001 et 125)
Wednesday Chebyshev (amphi B) Validated numerics (amphi B) Validated numerics (amphi B)
Thursday Validated numerics (amphi B) Validated numerics (amphi B)
Friday Chebyshev (salles de TP E001 et 125) Chebyshev (amphi B) Exam (amphi B)

Information M2 – 2017/2018

List of courses (for full description follow the link CRxx):

  • CR01: Optimal Decision Making and Online Optimization, Panayotis Mertikopoulos and Bruno Gaujal.
  • CR02: Computational Geometry, Monique Teillaud and Olivier Devillers.
  • CR03: Hard lattice problems, Damien Stehlé.
  • CR04: Automata, coinduction, and relation algebra, Damien Pous.
  • CR05: Monadic Second Order Logic, Automata, Expressivity and DecidabilityMatteo Mio and Denis Kuperberg.
  • CR06: Implicit Computational Complexity, Patrick Baillot and Olivier Laurent.
  • CR07: Models of concurrency, categories, and games, Pierre Clairambault and Glynn Winskel.
  • CR08: Scheduling at scale, Yves Robert.
  • CR09: Advanced Topics in Scalable Data ManagementEddy Caron and Marcos Dias de Assuncao
  • CR10: Software Engineering & Compilation, Sebastien Mosser and Laure Gonnord 
  • CR11: Mathematical Methods for Image SynthesisNicolas Bonneel and Julie Digne.
  • CR12: Modeling and performance evaluation of computer and communications system, Philippe Nain.
  • CR13: Computational TopologyFrancis Lazarus and Arnaud de Mesmay.
  • CR14: Network Information TheoryJean-Marie Gorce and Samir M. Perlaza. Sorry, this course will not open this year but later in 2018-2019.
  • CR15: Complex NetworksEric Fleury and Marton Karsai.
  • CR16: Lower bound methods, Pascal Koiran, Omar Fawzi, and Stéphan Thomassé.
  • CR17: Graph Decompositions: From Tree-Width to Perfect GraphsNicolas Trotignon and Stéphan Thomassé.

Winter schools:  Information will be provided later on. The three schools will take place on week 49 (starting Monday Dec. 4), on week 3 (starting Monday Jan. 15)  and on week 4 (starting Monday Jan. 22).

Pre-course meeting: A (mandatory) pre-course meeting will take place on Monday, September 11 at 9.30am, Amphi B. The general organization of the year and a description of the courses will be provided.

Schedule: Courses start September 11 at 1:30pm. Autumn holidays are October 28-November 5. Winter holidays are December 23-January 7. Exams will be held on week 2 (starting Monday Jan. 8), for a subset of courses. The detailed schedule is available here:

https://pad.inria.fr/p/r.542fa856c4fe21df30b444eb43913405

This page is read-only and password protected (password is ‘m2info17’). The page is updated on a regular basis, check it often.

On Thursday October 12 at 12:15pm, right after the CR15 course, there is a meeting about the training period (or internship). Come ofr information and prepare your questions!

Validation: To obtain their degree, CS Master students must complete 60 credits including the internship (30 credits), three winter schools (2 credits each) and four courses (4 credits each) in the above list. A typical choice is 6 courses, 3 schools and the internship; the extra courses can be chosen either in the CS courses or in the other departments. To meet the quality requirements of our program, the course choices must be approved by the academic tutor and the head of the Master 2 program. Administrative registration is mandatory. Please refer to the rules of the Master here

Contact: Yves Robert

ER03: École Jeunes Chercheurs du GDR IM (23/01/2017 → 27/01/2017)

Date : 23/01/2017 — 27/01/2017
Lieu : Lyon
Organisateur : Natacha Portier, Colin Riba

The GdR IM organizes each year the EJCIM research school. The 2017 edition will be organized in Lyon, on the ENS de Lyon campus, by the AriC, MC2 and PLUME teams of the LIP laboratory.

The school is primarily aimed at master and PhD students. It intend to cover, over its different editions, the thematics of the GDR-IM. They include algorithmic, combinatorics, symbolic computation, arithmetic, information security, geometry, logic, semantic, proof-theory, complexity.

The courses will be on mornings or early afternoons. They will be given in English, and a book with courses in French will be provided. The following courses are proposed this year:

  • Tilings and Cellular Automata (Nathalie Aubrun and Guillaume Theyssier)
  • Combinatorial game theory and illustration on graphs (Eric Duchêne and Aline Parreau)
  • Logic, automata and games (Jacques Duparc)
  • Floating point arithmetic and rounding errors  (Claude-Pierre Jeannerod and Nathalie Revol)
  • Classical realizability (Alexandre Miquel)

Part of the afternoons will be devoted to talks given by the participants. Attendance to these talks is optional for master students of ENS Lyon. Registration are open from November 15th to December 15th.

M2 Timetables

Please note that rooms and times may be subject to changes.

Last modifications: December 6 (more modifications in s49, s50, s01 and s02). 

The typical timetable for the M2 in 2016-2017 is the following: Edt-Type.

Timetables for each week are posted here for convenience (subject to changes).

  • S37 (courses start Sept.13/14, mandatory meeting Sept.12 at 9.15): S37
  • S38: S38
  • S39: s39 (No CR03, no CR14, but there is CR08 in the end! And new room for CR16. ** NO CR07**)
  • S40: s40 (New room for CR16, ** extra CR07 **)
  • S41: s41 (Added CR02, change for CR16, no CR09, ** Mandatory PhD information meeting Tuesday at 13h15 **)
  • S42: s42 (No CR16, no courses on Oct.18)
  • S43 (holidays from Oct.27): s43 (no CR1, extra CR16)
  • S44 (starts Nov.3): s44
  • S45 (no courses on Nov.11): s45 (extra CR12)
  • S46: s46 (no CR02, extra CR06, **no CR16**)
  • S47: s47 (extra CR16, extra CR14, ** Presentation PSL-ITI **)
  • S48: no courses (ER01)
  • S49: s49 (extra CR06, **extra CR10**, ***change of time for CR10 and extra CR17, no CR15, no CR08, change in CR08, change in CR04***)
  • S50: s50 (extra **CR02, CR03 and CR04, no CR10, no CR16**, ***extra CR05***)
  • S51: no courses (holidays)
  • S52: no courses (holidays)
  • S01 (starts Jan.3): s01 (**No CR03, no CR01, no CR12**, ***extra CR14, extra CR15, extra CR11, no CR10, no CR05***)
  • S02: EXAMS (tentative): s02
  • S03: no courses (ER02)
  • S04: no courses (ER03)

M2 2015-2016

Year 2015-2016

The goal of this Master program is to provide a wide choice of high quality courses in computer science ranging from the most theoretical aspects to applications. It is open to students having achieved a 4th year degree in Science (Master 1) who wish to deepen their understanding of Computer Science. The typical year starts with courses during the fall term, followed by several (24h, week long) winter schools, and achieved by a 20 weeks research internship. Courses and materials are provided in English to encourage foreign students to join our program. Academic tutoring is provided to every student for finding internships, choosing courses, and providing guidance all along the year.

  • List of courses (for full description follow the link CRxx):

CR01 Advanced Cryptographic Primitives, Damien Stehlé and Benoit Libert.

CR02 Resilient and Energy-Aware Scheduling Algorithms, Anne Benoit.

CR03 Network Algorithms for Molecular Biology, Marie-France Sagot.

CR04 Quantum Information and Computation, Pascal Degiovanni, Omar Fawzi and Natacha Portier.

CR05 Tilings: between Dynamical Systems and Computability, Nathalie Aubrun and
Mathieu Sablik.

CR06 Algorithmic Number Theory, Guillaume Hanrot.

CR07 Computer Science and Privacy, Benoit Libert and Frédéric Prost.

CR08 Arithmetic Circuit Complexity, Pascal Koiran and Natacha Portier.

CR09 Distributed Computing: Models and Challenges, Eddy Caron, Gilles Fedak, Christian Perez and Laurent Lefevre.

CR10 Program Analysis, Safety Program Verification, Laure Gonnord and David Monniaux.

CR11 Rule-based Modeling of Biochemical Systems, Russ Harmer.

CR12 Coinductive Methods in Computer Science, Filippo Bonchi, Daniel Hirschkoff and Damien Pous.

CR13 Implicit Computational Complexity, Patrick Baillot, Olivier Laurent.

CR14 Finite Automata in Number Theory, Boris Adamczewski.

CR15 Complex Networks, Christophe Crespelle and Marton Karsai.

CR16 Signal Processing and Networks, Pierre Borgnat, Jean-Christophe Pesquet and Nelly Pustelnik.

CR17 Probabilistic Methods, with Applications to Graphs, Louis Esperet and Stéphan Thomassé.

CR18 Advanced Compilers: Loop Transformations and High-Level Synthesis, Tomofumi Yuki and Christophe Alias.

CR19 Fundamental Algorithms in Real Algebraic Geometry, Mohab Safey El Din and Jean-Charles Faugère.

  1. Winter schools: ici
  • Pre-course meeting: A (mandatory) pre-course meeting is planned on September 11 at 9am, Amphi B. The general organisation of the year and a description of the courses will be provided.
  • Schedule: Courses start September 14. Autumn holidays are October 26-30, Winter holidays are December 21-31. Exams will be held on January 4-8 2016. The schedule will be released soon.
  • Validation: To obtain their degree, CS Master students must complete 60 credits including the internship (30 credits), three winter schools (2 credits each) and four courses (4 credits each) in the above list. A typical choice is 6 courses, 3 schools and the internship; the extra courses can be chosen either in the CS courses or in the other departments. To meet the quality requirements of our program, the course choices must be approved by the academic tutor and the head of the Master 2 program. Administrative registration is mandatory.
  • Complex System program.

    The “Complex Networks” M2 master program organised by IXXI/ENS Lyon provides an innovative training for students who are interested in the interdisciplinary research of complex networks and modeling of complex systems. This program maintains a balance between different disciplines by combining courses from the fields of biology, computer science, mathematics, physics and sociology. Students from all of these disciplines are welcome to participate; the student will follow both the ”Complex Networks” program and part of their own M2: Computer Science, Physics, Bioscience or Mathematics. Follow this link for further details.

Poste d’ATER pour 2017-2018

Poste ATER LIP/ENS Lyon, section 27
Un poste d’ATER pour l’année 2017-2018 sera ouvert au concours prochainement, avec enseignement au département d’informatique de l’ENS de Lyon et recherche au LIP.

Details :
Toutes les informations sur la procédure de recrutement sont disponible sur le site de l’ENS de Lyon

Profil enseignement :
L’enseignant recruté assurera principalement des TD et TP dans les formations dispensées en L3 et en M1 aux étudiants d’informatique de l’ENS de Lyon. On s’attachera à ce que les enseignements soient connexes au projet et à la thématique de recherche des candidats.

Profil recherche :
Intégration dans une des équipes de recherche du laboratoire de l’informatique du parallélisme (LIP). Le projet de recherche sera défini en lien avec la ou le responsable de l’équipe choisie.

Contacts :

Recherche : Guillaume Hanrot, directeur du LIP, Guillaume.Hanrot@ens-lyon.fr
http://www.ens-lyon.fr/LIP/

Enseignement : Nicolas Trotignon, directeur du DI, nicolas.trotignon@ens-lyon.fr
http://www.ens-lyon.fr/DI/

OLD – M1, convention de stage

Voici enfin les documents attendus pour préparer votre convention de stage! Lisez attentivement les informations qui suivent, on rajoute quelques points de suivi pour éviter les problèmes qui sont assez courants…

La procédure générale à suivre: Procédure.

Attention: avant de rentrer votre demande de convention sous Elipse, on vous demande de remplir le formulaire ci-joint, qui reprend les informations demandées dans Elipse: FormulaireConventionUCBL. Ce formulaire devra être retourné au responsable des stages et au secrétariat de département pour vérification avant de commencer toute saisie sous Elipse (étape 1.4)

  • Pour un stage en France, ce document devra être daté, signé et cacheté par l’organisme d’accueil (OA). Il est en effet nécessaire que le secrétariat de l’OA valide les informations: s’il y a une erreur sur l’adresse de l’OA, la convention ne sera pas signée par l’UCBL en bout de chaîne et tout sera à recommencer. Assurez-vous d’avoir les bonnes informations, que votre encadrant de stage n’a pas forcément: il faut que votre encadrant de stage s’en assure auprès de son secrétariat.
  • Pour un stage à l’étranger, envoyez (sauf cas particulier/avis contraire du responsable des stages de M1) un exemplaire de convention vierge à l’organisme d’accueil (2015-CONVENTION_STAGE_FR_EN-v1.2 et la notice explicative 2015-Notice_Convention_Stage_FR_EN-v1.1), afin de vous assurer qu’ils acceptent ce modèle. Il y a souvent des refus de signature pour raisons juridiques. Si problème, alerter immédiatement le responsable des stages, en donnant les raisons précises du refus de la convention.Dans le cas contraire, faites suivre un mail de l’encadrant (ou de quelqu’un de l’administration à l’organisme d’accueil) au secrétariat du DI et au responsable des stages indiquant explicitement l’accord pour signer la convention de stage Elipse, et précisant les coordonnées à mentionner pour l’organisme d’accueil.
    Lorsque des modifications sont demandées sur le modèle de convention, il faut d’abord les faire valider via le responsable des stages et le responsable d’année. Si tel est le cas, un avenant à la convention sera préparé, tenant compte des modifications demandées. Il faut alors saisir le stage sous Elipse, afin d’avoir les données du stage dans le système d’information (le circuit de validation reste le même sous Elipse).

Voici en complément la copie d’écran pour l’étape « Sésame »: Sesame Lyon 1, et le guide Elipse: Guide Lyon 1.

Une précision : le module à sélectionner sous Elipse est « ENS – Stage de recherche de 12 semaines » (même si le stage peut faire 11 semaines).

Une fois la demande approuvée, fin du premier acte.

Deuxième acte : signatures de la convention. Le circuit est le suivant  (vous devez vous charger de la première étape; on décrit les étapes suivantes pour que vous puissiez expliquer si nécessaire) :

  • il faut apporter un timbre au secrétariat du DI pour un courrier, entre 50 et 100 grammes, pour le pays concerné, pour ce que l’on appelle ci-dessous l’enveloppe magique;
  • le secrétariat du DI édite 4 exemplaires de la convention, et se charge de récupérer deux signatures : la vôtre et celle de votre tuteur pédagogique à l’ENS Lyon;
  • le secrétariat du DI envoie les 4 exemplaires à l’organisme d’accueil, ainsi que l’enveloppe magique, qui est affranchie avec le timbre susmentionné;
  • sur place (à l’organisme d’accueil), les 4 exemplaires sont signés par le tuteur du stage et par la personne qui représente l’organisme d’accueil, et les 4 exemplaires, ainsi que l’enveloppe magique, sont envoyés à l’UCBL.
  • La dernière signature est enfin ajoutée côté UCBL. 2 exemplaires sont ensuite envoyés à l’organisme d’accueil dans l’enveloppe magique (l’un d’entre eux est pour vous; c’est le troisième voyage de l’enveloppe magique, et cette fois c’est elle le medium — elle est décidément vraiment magique, cette enveloppe), 1 autre est envoyé au secrétariat du DI.

Tous les mails doivent être adressés au responsable des stages (Frédéric Vivien pour le M1) et au secrétariat (Amel Zagrarni) avec comme objet: « [StageM1] vos NOM et Prénom ». N’hésitez pas à discuter avec votre tuteur pédagogique si vous avez besoin d’aide, ou à contacter le responsable des stages.

N’attendez pas pour lancer la procédure, ça peut être long! Dès que le responsable des stages a validé votre stage, envoyez le formulaire à votre organisme d’accueil pour récupérer toutes les informations. Bon courage!

Master 2 – 2016/2017

List of courses (for full description follow the link CRxx):

Conventions de stage (M2)

Voici enfin les documents attendus pour préparer votre convention de stage! Lisez attentivement les informations qui suivent, on rajoute quelques points de suivi pour éviter les problèmes qui sont assez courants…

La procédure générale à suivre: Procedure.

Attention: avant de rentrer votre demande de convention sous Elipse, on vous demande de remplir le formulaire ci-joint, qui reprend les informations demandées dans Elipse: FormulaireConventionUCBL. Ce formulaire devra être retourné au responsable des stages et au secrétariat de département pour vérification avant de commencer toute saisie sous Elipse (étape 1.4)

  • Pour un stage en France, ce document devra être daté, signé et cacheté par l’organisme d’accueil (OA). Il est en effet nécessaire que le secrétariat de l’OA valide les informations: s’il y a une erreur sur l’adresse de l’OA, la convention ne sera pas signée par l’UCBL en bout de chaine et tout sera à recommencer. Assurez-vous d’avoir les bonnes informations, que votre encadrant de stage n’a pas forcément: il faut que votre encadrant de stage s’en assure auprès de son secrétariat.
  • Pour un stage à l’étranger, envoyez un exemplaire de convention vierge à l’organisme d’accueil (2015-CONVENTION_STAGE_FR_EN-v1.2 et la notice explicative 2015-Notice_Convention_Stage_FR_EN-v1.1), afin de vous assurer qu’ils acceptent ce modèle. Il y a souvent des refus de signature pour raisons juridiques. Si problème, alerter immédiatement le responsable des stages, en donnant les raisons précises du refus de la convention.

Voici en complément la copie d’écran pour l’étape « Sésame »: Sesame Lyon 1, et le guide Elipse: Guide Lyon 1.

Une fois la demande approuvée, vous devez récupérer 4 conventions au secrétariat pour amorcer le processus de signatures. C’est votre responsabilité de vous assurer que toutes les signatures sont faites avant le début de votre stage. Pour les étudiants en Erasmus, les conventions vous seront transmises par courrier.

Pour le suivi des signatures, on vous demande de nous envoyer un mail (1) lorsque les conventions ont été transmises à l’organisme d’accueil (par vos soins), accompagnées d’un courrier explicatif (modèle: Courrier accompt conv, ou en anglais: Courrier-accompt-conv-en), et (2) lorsque votre encadrant de stage vous a confirmé avoir obtenu les signatures de son côté et avoir renvoyé les conventions à l’UCBL (par son soin).

Tous les mails doivent être adressés au responsable des stages (Laurent Lefèvre pour le M2) et au secrétariat (Amel Zagrarni) avec comme objet: « [StageM2] vos NOM et Prénom ». N’hésitez pas à discuter avec votre tuteur pédagogique si vous avez besoin d’aide, ou à contacter le responsable des stages.

N’attendez pas pour lancer la procédure, ça peut être long! Dès que le responsable des stages a validé votre stage, envoyez le formulaire à votre organisme d’accueil pour récupérer toutes les informations. Bon courage!