[PDF] MPLS - - École normale supérieure de Lyon PDF presentation-DI-IF-2014.pdf

23 sept 2014 · L'informatique à l'ENS de Lyon ▫ Qui fait quoi ? à l'ENS, spécificités ▫ L3 et MASTER d'informatique fondamentale Agrégation de maths option informatique ❑ Filière L3 + MASTER + Stage pré-doc (4 ans)

Le validation du pré-master qui est nécessaire pour poursuivre dans le Master d' Informatique Fondamentale de l'ENS de Lyon, nécessite de valider aussi l'UE

[PDF] Licence STS Mention « Informatique - École normale supérieure de

pré-master qui est nécessaire pour poursuivre dans le Master d'Informatique Fondamentale de l'ENS de Lyon, nécessite de valider aussi l'UE Initiation à la

[PDF] Master Sciences, Mention Informatique, Parcours Informatique

de Master dans le parcours « Informatique Fondamentale », porté par l'ENS de Lyon, de la Mention enseignant du Département d'Informatique de l'ENS de Lyon Deux à trois semaines Pour le jury M2, s'ajoutent aux membres pré-cités :

[PDF] Master Sciences, Mention Informatique, Parcours - GRAAL

de Master dans le parcours « Informatique Fondamentale », porté par l'ENS de Lyon, de la Mention Informatique du Master délivré par l'UCB Lyon Art 1 : Tutorat Pour le jury M2, s'ajoutent aux membres pré-cités : ○ Laurent Lefèvre, CR

[PDF] MPLS - - École normale supérieure de Lyon

22 sept 2011 · Cœur de la science informatique ▫ Communiquer L3 et MASTER d' informatique fondamentale UE dont stage est évalué et à valider pour obtenir le pré- Master du ENS de Lyon > Études > Offre de formation > Licence

[PDF] lécolE NormalE SupérIEurE dE lyoN - Centre Max Weber

Informatique fondamentale • Bourses Erasmus Mundus pour intégrer le master AtoSiM • Financements de l'ENS de Lyon pour les doctorants en cotutelle

[PDF] lécolE NormAlE SupérIEurE dE lyoN - concours BEL

Série Informatique (I) aux ENS de Lyon, Paris et Cachan Concours M/P-I, I et année de master à l'ENS de Lyon 7UNE RECHERCHE DE POINTE, FONDAMENTALE Année 1 : année de pré-master et de formation par la recherche

Département Informatique

ENS de Lyon

D. Stehlé & E. Thierry

http://www.ens-lyon.fr/DI/ 2 DI Plan "Qui fait quoi ? "Le L3 d'informatique 3 DI

STIC ?

"les Sciences et Technologies de

Communication(STIC)

imprègnent notre vie quotidienne. "Elles sont devenues incontournables dans tous les 4 DI

I·LQIRUPMPLTXH

"Du théorique au pratique: "Modèles de calcul, décidabilité, complexité "Théorie des langages, logique "Architecture, systèmes, réseaux "Développement logiciel "Interfaces avec d'autres disciplines: "Info math, maths info "Modélisation, simulation "Systèmes complexes 5 DI

I·LQIRUPMPLTXH j O·(16 VSpŃLILŃLPpV

"fondamentale

un tutorat personnalisé,

des projets logiciels,

"Interdisciplinarité Possibilité de suivre et valider des modules de maths ici

Agrégation de maths option informatique

Filière Systèmes/Réseaux Complexes du Master 6 DI

I·LQIRUPMPLTXH j O·(16 VSpŃLILŃLPpV

"Une formation par et pourla recherche

tous vos enseignants font de la recherche

un contact très étroit avec les chercheurs duLIP

avec les centres de recherche : CNRS, INRIA

un séminaire scientifique hebdomadaire,

des visites de laboratoires,

des stages de recherche dans des laboratoires

I·LQIRUPMPLTXH j O·(16 ŃXUVXV

"Cursus orienté sur le long terme

L3 + MASTER + Stage pré-doc(4 ans)

L3 + MASTER + Agrégation (4 ans)

(3 ans)

"Débouchés

Recherche (CNRS, INRIA)

Enseignement ou enseignement et recherche

R&D en entreprise

DI 8 DI

I·LQIRUPMPLTXH j O·(16 GH HP IH3

Enseignement: Département (DI)

Recherche: Laboratoire (LIP)

YEnviron 100 membres

Y8 équipes de recherche

YDirection: Guillaume Hanrotet Isabelle Guérin Lassous

YUMR CNRS-ENSL-Lyon 1 associée à INRIA

9 DI

Qui fait quoi au département (DI) ?

"Equipe de direction:

Damien Stehlé(DI)

Stéphan Thomassé(MASTER)

Daniel Hirschkoff(M1)

EricThierry (L3)

10 DI

Qui contacter?

"Côté enseignement(orientation, soutien): "Enseignants et chargés de TD/TP "Tuteur "Responsable du L3 "Côté administration(inscription, conventions) : "Nicole Meftah(bureau au RdC, côté Nord) "Axelle Ojeda(pour les sous) "Direction des études: VololonaRajoelina 11 DI

International

Responsable Internationaldu DI :

Paulo Gonçalves

Accords Erasmus :

Autres accords : Calgary, Waterloo, NTU, IISc

http://www.ens-lyon.eu/international/ 12 DI

Le diplôme de l'école

"S'êtreinscritau moins2 années "Obtenirun Master, avec M1 ouM2 à l'ENSL

ET 2 PARMI LES 3 SUIVANTS

"Formation complémentaire

2 coursalters (Lundi16h30 -18h30)

ouautreUE hors cursus "International : stage ouéchange "Responsabilités: diffusion, administration, association

Règlement: http://etudes.ens-lyon.fr/

13 DI

4XHOTXHV UqJOHV"

"Un tuteur pour chaque étudiant

À rencontrer une fois par mois environ

"Fiche de choix de modules

AEcontrat entre:

AEtout changement == avenant au contrat

A rendre avant le 3 octobre 2014

14 DI

GURLPV HP GHYRLUV"

"Du fonctionnaire stagiaire Loi nr83-634 du 13 juillet 1983 modifiée portant droits et obligations des fonctionnaires Loi nr84-16 du 11 janvier 1984 modifiée portant dispositions statutaires relatives à la fonction publique de l'Etat Décret relatif à l'École Normale Supérieure de Lyon

Si absence, alors justification !

"De l'étudiant de l'ENS de Lyon Règlement intérieur & guide des procédures ***Devoir d'assiduité***: Cours et TD obligatoires. 15 DI

Droits et devoirs de l'étudiant du DI

"Règlement du L3 A lire à tête reposée (résumé ci-dessous) "Respect des consignes administratives

Lire les emails administratifs

Répondre dans les temps

"Respect des engagements plan d'étudeà rendre avant le ***03/10/2014*** ***Devoir d'assiduité***: Cours et TD obligatoires. 16 DI

IM YLH j O·(16 GH I\RQ

quelques conseils "Se trouver une activité autre que les études "Faire la fête avec modération, en particulier dans les 17 DI

Planning des réjouissances à venir

"RdVavec la direction du DI

Ordre alphabétique, un par un

Cf. affichages, au secrétariat du DI et au 376N "Début des cours

Mercredi 11 septembre (demain !) à 15h45

"Pot du DI Lundi 15 septembre à 16:00 (salle passerelle) 18 DI

Divers

"Possibilité d'emprunter au DI des ordinateurs portables : => contacter Alexandre Isoard "Possibilité de monter des groupes de lecture => voir avec les enseignants "Un alias pour vous : etudiants.l3.informatique@ens-lyon.fr "N'oubliez pas d'aller vous inscrire à l'université

Lyon 1. C'est indispensable !

=> Infos pratiques dans les prochains jours 19 DI

L3 : les UEs en IF et ailleurs

"Cours de base = 32h cours + 32h TD/TP (6 ECTS) "Projet = 32h cours + travail solo ou en groupe (6 ECTS)

1er SEMESTRE2ème SEMESTRE

Cours de base

ALGO1 AlgorithmiqueASR1 Architecture & SystèmeFDI Fondements de l'informatiquePROG Théorie de la programmation

Projet

PROJ1 Projet Programmation

Obligatoire

Anglais 1 (3 ECTS)

Cours de base

ALGO2 Algorithmique avancéeASR2 Système & RéseauxLOG LogiquePROBA Probabilités

Projets

PROJ2 Projet SAT-SolverACM Concours ACM

Obligatoire

Anglais 2 (3 ECTS)

20 DI

L3 : les UEs en IF et ailleurs

Une UE particulière = UE Initiation à la recherche, avec : "Les séminaires des étudiants SIESTE (réguliers)

Présence obligatoire.

"La semaine sport/étude (voir un peu plus loin)

Présence obligatoire.

"Le stage de recherche en laboratoire, d'au moins 6 semaines en été. Obligatoire. Cette UE est évaluée et ***à valider***pour obtenir le pré-

Master du département d'informatique.

Pré-Master: diplôme nécessaire pour poursuivre en

Master IF à l'ENS de Lyon.

21
DI

L3 : les UEs en IF et ailleurs

"Oùtrouverl'infosurles UEs extérieures? ENS de Lyon > Études> Offrede formation > Licence "5 L3 de sciences, conçuescommedes pré-masters

ENS de Lyon > Études> Départements

"web des 11 autresdépartementsde l'école Universitéde Lyon 1: www.univ-lyon1.fr 22

L3 de maths à Lyon 1

"Organisation : "Des polys de cours à travailler soi-même "Un super-TD le jeudi après-midi, à Lyon 1 "Les examens du L3 de maths de Lyon 1 "Module non mathématique : "Qui ne compte pas pour un autre diplôme "Indépendant de la possibilité de suivre des DI 23
DI

ALGO1 -Algorithmique

"Responsabledu cours: Yves Robert "Chargés de TD : AurélieLagoutte& Antoine Plet "Comment concevoirdes algorithmesefficaces? "Grandsprincipesde conception : diviser-pour-régner, programmationdynamique, algosgloutons "Grandsprincipesd'analyse: théorèmesde correction et de complexité "Illustrations variées: structures de données, algosde rechercheet de tri, algossurles mots, surles nombres, en algèbre, engéométrie... "Prérequis: avoirunepetite idée de cequ'estun algorithme 24
DI

ASR1 ²Architecture et Système

"Responsabledu cours: Eddy Caron "Chargés de TD/TP : Julien Bensmail, MatthieuRosenfeld et Arnaud Lefray "Comprendrele fonctionnementphysique d'unemachine, comprendrele fonctionnementdes systèmesd'exploitations "Comment coder, transformer, mémoriser, transmettre, traiter l'information? "Algèbrebooléenne, circuits "Structure d'un OS : gestiondes ressourcessystème, des processus, threads, gestionmémoire "Prérequis: pas de prérequisspéciaux 25
DI

FDI ²Fondements/Calculabilité

"Responsabledu cours: Pascal Koiran "Chargés de TD : Fabio Zanasi& Irena Penev "Qu'est-cequ'uncalcul? Est-cequetout estcalculable ? "Premiers modèlesde calcul: automates finis, machines de Turing, fonctionsrécursives, lambda-calcul, machines RAM ... "Thèsede Church-Turing (équivalencede tousles modèlespuissantsconnus) ""Calculable» versus "Non-calculable» : des exemplesde problèmesnon calculables(indécidables) "Prérequis: les rappels surles automates finis serontrapides 26
DI

PROG²Théorie de la programmation

"Responsabledu cours: Daniel Hirschkoff "Chargés de TD/TP :

Jean-Marie Madiot& Alexandre Isoard& Antoine Plet

"Comment décrireet analyserrigoureusementdes programmes? "Sémantiquedes langagesde programmation, typage, logique, un peude compilation. "Initiation à l'outilCoq (démonstrationassistéepar ordinateur) "Prérequis: unevague idée de cequ'estla programmation (p.ex. enCamlpour aider à appréhenderCoq, maiscen'est pas indispensable). 27
DI

PROJ1 ²Projet Programmation

"Intervenants: Omar Fawzi, AurélieLagoutte& AurélienCavelan "Apprentissage/ perfectionnementenprogrammation "Acquisition des bases de deuxlangagesparmitrois:

C, Camlet Java

"Acquisition de bonneshabitudes de génielogiciel, à la rédactiond'un rapport et de transparentsde présentation "Séances de cours/ TP et réalisationde mini-projets "Prérequis: ne pas êtreinhibépar la programmation, et suivre le coursd'ALGO1 estrecommandé. 28
DI

ALGO2 ²Algorithmique avancée

"Responsabledu cours: Anne Benoit "Suite du coursd'ALGO1 "Complémentssurles grandsprincipeset les structures de données. "Algorithmiquedes graphes, des mots "Algorithmiqued'optimisation "Prérequis: ALGO1. 29
DI

ASR2 ²Système & Réseaux

"Responsabledu cours: Anne Benoit "Comprendreles fonctionnementsdes systèmesd'exploitation et des réseauxde communications. "Conception des systèmesd'exploitation: structure globale d'un OS (rappel du coursASR1), problèmesde synchronisationdes processuset interblocages, ordonnancement, gestionde la mémoireet mémoirevirtuelle. "Structure des réseauxde communication : architecture des réseaux, protocolesde communications (MAC, TCP/IP), algorithmesde routage, controle "Prérequis: programmation; ASR1. 30
DI

LOG ²Logique

"Responsabledu cours: NatachaPortier "Toutela logiquemathématiquede l'antiquitéau tournantdes années1930 ! "Introduction à la théorienaïve des ensembles "Théoriesdu 1er ordre(langagesdu 1er ordre, systèmesde déduction, arithmétiquede Peano, théoriedes ensembles de

Zermelo-Frankel)

"Prérequis: les quelquesnotions de logiquequi ontpuvous 31
DI

PROBA -Probabilités

"Responsabledu cours: Pascal Koiran "Un coursde probabilitésavec illustrations eninformatiqueet encombinatoire. "Probabilitésélémentaires: variables aléatoires, espérance, loi classiques, inégalités... "Chaînesde Markov discrètes: comportementstransitoireet asymptotique, marches aléatoires, méthodede Monte-Carlo "Algorithmesrandomisés "Prérequis: outilsclassiquesd'analyseet d'algèbrelinéaire, utile d'avoirsuiviALGO1 pour certainesillustrations. 32
DI

PROJ2 ²Projet SAT-Solver

"Responsabledu cours: Daniel Hirschkoff "Conception d'un solveurSAT (on verracequec'est), avec différentesaméliorationsau coursdu semestre. Enrichissementde l'algorithme, test des performances, extensions à SAT... "Ce coursestaxé" pratique», avec un travail enbinômes, et unesuccession de rendusau coursdu semestre. "Prérequis: avoirsuivile coursProj1 estrecommandé. Il faut savoir programmer dansun langage"courant" (Java, C/C++,

Caml).

33
DI

ACM ²Projet Concours ACM

"Responsablesdu cours: Eric Thierry "Algorithmiqueeffective / Préparationau concoursACM "Entrainementà la résolutionefficacede problèmes algorithmiques, avec la recherchede compromisentre temps d'exécutionde l'algoet temps de développementde l'algo. "Perspective (pas obligatoire) : participation au concours international ACM (automne2014 : round de qualifications, printemps2015 : finale pour les qualifiés). "Prérequis: outilsalgorithmiquesparfoissophistiqués, liaison forte avec les coursALGO1 et ALGO2. 34
DI

Règlement L3

"60ECTS

Au moins 3 Cours de base par semestre

Au moins 1 Projet sur l'année

Les deux cours d'Anglais 1 & 2

Autres UEs (à choisir en IF ou ailleurs)

"Cursus types (a minima pour valider le L3)

7 UE Informatique + 2 Projets + Anglais

6 UE Informatique + 2 UE Maths + 1 Projet + Anglais

Plein d'autres combinaisons ...

"UE Initiation à la recherche (dont stage d'été) obligatoire pour le pré-Master uniquement 35
DI

Planning à venir (soleil)

"Prochaines vacances le 25 octobre (ouf !) "Visite du LIRMM, à Montpellier mi-novembre https://www.lirmm.fr/ 36
DI

Planning à venir (montagne)

"Examens mi-janvier 2015 "Sport étude

Semaine du 19/01/2015

"Election des délégués

L3 + SKI (23 sept 2014)

quotesdbs_dbs17.pdfusesText_23

[PDF] [PDF] MPLS - - École normale supérieure de Lyon

Département Informatique

ENS de Lyon

D. Stehlé & E. Thierry

STIC ?

Communication(STIC)

I·LQIRUPMPLTXH

I·LQIRUPMPLTXH j O·(16 VSpŃLILŃLPpV

un tutorat personnalisé,

des projets logiciels,

Agrégation de maths option informatique

I·LQIRUPMPLTXH j O·(16 VSpŃLILŃLPpV

tous vos enseignants font de la recherche

avec les centres de recherche : CNRS, INRIA

un séminaire scientifique hebdomadaire,

des visites de laboratoires,

des stages de recherche dans des laboratoires

I·LQIRUPMPLTXH j O·(16 ŃXUVXV

L3 + MASTER + Stage pré-doc(4 ans)

L3 + MASTER + Agrégation (4 ans)

(3 ans)

Recherche (CNRS, INRIA)

Enseignement ou enseignement et recherche

R&D en entreprise

I·LQIRUPMPLTXH j O·(16 GH HP IH3

Enseignement: Département (DI)

Recherche: Laboratoire (LIP)

YEnviron 100 membres

Y8 équipes de recherche

YUMR CNRS-ENSL-Lyon 1 associée à INRIA

Qui fait quoi au département (DI) ?

Damien Stehlé(DI)

Stéphan Thomassé(MASTER)

Daniel Hirschkoff(M1)

EricThierry (L3)

Qui contacter?

International

Responsable Internationaldu DI :

Paulo Gonçalves

Accords Erasmus :

Autres accords : Calgary, Waterloo, NTU, IISc

Le diplôme de l'école

ET 2 PARMI LES 3 SUIVANTS

2 coursalters (Lundi16h30 -18h30)

Règlement: http://etudes.ens-lyon.fr/

4XHOTXHV UqJOHV"

À rencontrer une fois par mois environ

AEcontrat entre:

AEtout changement == avenant au contrat

A rendre avant le ***3 octobre 2014***

GURLPV HP GHYRLUV"

Si absence, alors justification !

Droits et devoirs de l'étudiant du DI

Lire les emails administratifs

Répondre dans les temps

IM YLH j O·(16 GH I\RQ

Planning des réjouissances à venir

Ordre alphabétique, un par un

Mercredi 11 septembre (demain !) à 15h45

Divers

Lyon 1. C'est indispensable !

L3 : les UEs en IF et ailleurs

1er SEMESTRE2ème SEMESTRE

Cours de base

Projet

PROJ1 Projet Programmation

Obligatoire

Anglais 1 (3 ECTS)

Cours de base

Projets

PROJ2 Projet SAT-SolverACM Concours ACM

Obligatoire

Anglais 2 (3 ECTS)

L3 : les UEs en IF et ailleurs

Présence obligatoire.

Présence obligatoire.

Master du département d'informatique.

Master IF à l'ENS de Lyon.

L3 : les UEs en IF et ailleurs

ENS de Lyon > Études> Départements

un tutorat personnalisé,

des projets logiciels,

Agrégation de maths option informatique

tous vos enseignants font de la recherche

avec les centres de recherche : CNRS, INRIA

un séminaire scientifique hebdomadaire,

des visites de laboratoires,

des stages de recherche dans des laboratoires

L3 + MASTER + Stage pré-doc(4 ans)

L3 + MASTER + Agrégation (4 ans)

(3 ans)

Recherche (CNRS, INRIA)

Enseignement ou enseignement et recherche

R&D en entreprise

Damien Stehlé(DI)

Stéphan Thomassé(MASTER)

Daniel Hirschkoff(M1)

EricThierry (L3)

À rencontrer une fois par mois environ

AEcontrat entre:

AEtout changement == avenant au contrat

A rendre avant le 3 octobre 2014

Si absence, alors justification !

Lire les emails administratifs

Répondre dans les temps

Ordre alphabétique, un par un

ENS de Lyon > Études> Départements

Au moins 3 Cours de base par semestre

Au moins 1 Projet sur l'année

Les deux cours d'Anglais 1 & 2

Autres UEs (à choisir en IF ou ailleurs)

7 UE Informatique + 2 Projets + Anglais

Plein d'autres combinaisons ...