Dates : 18-22 janvier 2016
Intervenants: Cyril Cohen, Laurence Rideau, et Laurent Théry
Contact local: Enrico Tassi
https://team.inria.fr/marelle/en/advanced-coq-winter-school-2016/
Dates : 18-22 janvier 2016
Intervenants: Cyril Cohen, Laurence Rideau, et Laurent Théry
Contact local: Enrico Tassi
https://team.inria.fr/marelle/en/advanced-coq-winter-school-2016/
For your information, here are the modalities of evaluation for all M2 courses.
CR01: The students are given research articles twice. Each time, they give an oral presentation based on these articles. The first one counts as continuous evaluation (CE), the second one as final evaluation (FE). The final note is given by (CE+2FE)/3.
CR02: There is homework for continuous evaluation (CE). The students are given research articles, they produce a written report and give an oral presentation based on these articles (FE). The final note is given by (CE+2FE)/3.
CR03: There is homework for continuous evaluation (CE). The students are given research articles, they produce a written report and give an oral presentation based on these articles (FE). The final note is given by (CE+2FE)/3.
CR04: There is homework for continuous evaluation (CE). The students choose research articles, they produce a written report and give an oral presentation based on these articles (FE). The final note is given by (CE+FE)/2.
CR05: 3 homeworks for continuous evaluation (CE); written report and give an oral presentation based on a research article for final evaluation (FE). The final note is given by (CE+2FE)/3.
CR06: Two mini-projects counting each for 1/4 of the final grade. One final exam counting for the last half.
CR07: Two homeworks for continuous evaluation (CE1,CE2). The students are given research articles, they produce a written report and give an oral presentation based on these articles (FE). The final note is given by ((CE1+CE2)/2+2FE)/3.
CR08: Grades will be based on a final exam and on the presentation of a research article, each contributing to one half of the grade.
CR09: The students are given research articles, they produce a written report (WR/20) (between 8 and 20 pages). We will do a cross review. One report of another given student report (1 or 2 pages maximum) will be done (RR/20). And student gives an oral presentation based on these articles (OP/5). Questions should be done by students (Q/5). The final note is given by (3WR+3OP+2*(RR+Q))/7
CR10: The students are asked to write a static analyser for a mini language (AS). The students are given research articles, they give an oral presentation based on these articles (FE). The final note is given by (AS+FE)/2.
CR11: There will be a programming project (6pts, due after the mid-term break), a modeling project (7pts, due after the end-of-term break) and a written exam (7pts).
CR12: The final grade for the CR12 course is computed as follows: small exercices to be handed each week, during the first half of the course, count for 1/4 of the grade; a mid term exam counts for 1/4 of the grade; a final exam counts for 1/2 of the grade.
CR13: There is homework for continuous evaluation (CE). The students have also a final evaluation (FE) based on a written exam at the end of the course. The final note is given by max(FE,(CE+2FE)/3).
CR14: There is homework (based on the content of lectures as well as the study of research papers) for continuous evaluation (CE). There is a written exam (2h) for final examination (FE). The final note is given by (CE+2FE)/3.
CR15: The evaluation of the CR15 Complex Networks course will depend on whether the student is involved in the M2 Complex System program or not. If yes then the student’s participation will be mandatory to the TD, which is evaluated through projects during the semester and the final mark will count as 1/3 to the final overall mark. In addition every student has to pass a written exam by the end of the semester for the lecture, which will count with 2/3 weight in the final evaluation. If the student is not involved in the Complex System program only the written exam is mandatory, which result will determine 100% the final mark. On the other hand even these students have the option to participate to the TDs, complete the projects and get a TD mark. In this case the student will have the advantage to gain the better mark gained with or without the TD results.
CR16: The students will be proposed research articles about which they need to produce a report (with some numerical applications of the content of the article) and an oral presentation. The report and presentation are used for the note.
CR17: Two homeworks (counting each for DM/2) and one final exam (DS). The final grade is (DM+2DS)/3.
CR18: The students are given 3 homework assignments for continuous evaluation (CE). At the end of the semester, students are asked to study and orally present research articles (FE). The final note is given by (CE+2FE)/3.
CR19: There is homework for continuous evaluation (CE). The students are given research articles, they produce a written report and have an exam based on these articles (FE). The final note is given by (CE+2FE)/3.
Date : 7-11 décembre 2015
Intervenants: Joel Ouaknine, Ben Worrell et Stefan Kiefel (Oxford).
Contact local: Pascal Koiran
(Un résumé du contenu se trouve sur la version anglaise de cette page.)
Date: 11-15 janvier 2016
Intervenants: Ciro Cattuto, Laetitia Gauvin et André Panisson (ISI Torino)
Contact local: Marton Karsai
Une description du contenu de l’école ici.
(Voir la version anglaise pour une description du contenu.)
Date: 18 au 22 janvier 2016
Organisateurs: Nicolas Thiéry et Thierry Monteil.
Voici le règlement du Master Sciences, Mention Informatique, Parcours Informatique Fondamentale (en français uniquement): ReglementMaster
Et voici l’annexe pour le parcours systèmes complexes en M2: Rules-M2SC-2015-2016
The pre-course meeting for the M2 is planned Friday September 11 at 9am in Amphi B.
Courses start September 14. Here is the typical timetable for all weeks: EdT-M2-type
Note that the schedule will slightly change from one week to another. Timetables will be posted (and sent by email to students registered to the M2) whenever they are available.
Here is the form to fill for your choices of courses: modules-M2IF
Holidays
Research school, no courses
Exams will be held on January 4-8, 2016 (EDT-M2-EXAMS), followed by two weeks of research schools.
Image processing, digital and computational geometry
Course offered in the second semester of M1.
The objective of this course is to introduce fundamental notions of image processing, digital geometry and computational geometry. The first lectures will be dedicated to image processing (filtering, smoothing, morphological mathematics, ..) and shape representation. Then, we will focus on theoretical and algorithmic issues involved in the analysis of digital shapes. During this analysis of digital geometry processing tools, we will have to present and integrate some tools from various fields: discrete mathematics, combinatorics, arithmetics, computational geometry, ..
Computational Complexity
Course offered in the second semester of M1.
Computational complexity aims to classify computational problems depending on the resources they need. One
studies various modes of computation such as deterministic, randomized, nondeterministic or quantum and compares
resources such as time or space needed to solve algorithmic problems. The objective of this course is to give a
broad understanding of the notions used to classify computational problems. About half of the course is dedicated
to studying basic complexity classes defined using Turing machines. We introduce (or study deeper) notions that are
central in complexity theory: nondeterministic computation (e.g., the class NP), reductions between computational
problems (e.g., NP-completeness) and the technique of diagonalization (e.g., hierarchy theorems). We also study
randomized computation and computation using boolean circuits as well as their relation to basic complexity classes.
We conclude the course by studying the complexity of communication, i.e., trying to evaluate communication
bottlenecks to perform a given computational task between different parties.
Teaching in 2014: Omar Fawzi (lectures) and S ́ebastien Maulat (exercise classes)
One can summarize the most important objectives of the course as follows.
Depuis 2004, le programme de bourses d’excellence Ampère de l’ENS de Lyon, en partenariat avec le Ministère de l’Enseignement Supérieur et de la Recherche, propose des bourses aux étudiants internationaux de master en sciences.
Ces bourses de 1000€ par mois, pour une ou deux années universitaires, permettent d’étudier à l’ENS de Lyon, dans un master de sciences.
Pour pouvoir candidater, les étudiants doivent :
être de nationalité étrangère
avoir débuté leur cursus universitaire hors de France
être actuellement en dernière année de licence ou équivalent (les étudiants qui ont déjà commencé leur master sont également éligibles)
déposer leur dossier avant la date limite
Tous les pays sont éligibles.
Des informations plus détaillées peuvent être trouvées sur www.ens-lyon.fr > rubrique Internationale.
Il existe également des bourses de Master proposées par le Labex MILYON.
Date : 12-16 janvier 2015.
Enseignants: Michael Bender (Stony Brook University), Martín Farach-Colton (Rutgers and Tokutek), Samuel McCauley (Stony Brook University)
Monday-Thursday:
morning lecture: 9:30am-11:30am
afternoon lecture: 1:30pm-3:30pm.
recitation/homework practice: 4pm-5pm.
Friday:
morning lecture: 9:30am-11:30am
Contact local : Frédéric Vivien.
L’Inscription est gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le … (sera précisé plus tard) en cliquant ici, remplissant le formulaire et envoyant le mail. Une confirmation vous sera envoyée dans les meilleurs délais.
Alternativement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à nicole.meftah@ens-lyon.fr, avec le sujet « Registration form — research school 1 »
First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address:
wishes to attend the research school « ER01: Advanced Data Structures », taking place at ENS Lyon, from Jan. 12 to Jan. 16, 2015.
Date : 19-23 janvier 2015.
Enseignants: Nicolas Schabanel (Université Paris-Diderot), Alain Barrat et Bruno Gonçalves (Université Aix-Marseille)
Contact local : Marton Karsai
L’Inscription est gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le … (sera précisé plus tard) en cliquant ici, remplissant le formulaire et envoyant le mail. Une confirmation vous sera envoyée dans les meilleurs délais.
Alternativement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à nicole.meftah@ens-lyon.fr, avec le sujet « Registration form — research school 2 »
First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address:
wishes to attend the research school « ER02: « , taking place at ENS Lyon, from Jan. 19 to Jan. 23, 2015.
Date : 26-30 janvier 2015.
Enseignant: Fernando Magno Pereira (Univ Mineas Gerais, Brazil)
Contact local : Laure Gonnord
L’Inscription est gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le … (sera précisé plus tard) en cliquant ici, remplissant le formulaire et envoyant le mail. Une confirmation vous sera envoyée dans les meilleurs délais.
Alternativement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à nicole.meftah@ens-lyon.fr, avec le sujet « Registration form — research school 3 »
First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address:
wishes to attend the research school « ER03: Static Analysis and Compilation », taking place at ENS Lyon, from Jan. 26 to Jan. 30, 2015.
Date: 19-23 janvier 2015
Enseignant: Yves Bertot (INRIA Sophia-Antipolis)
Merci de contacter Yves Bertot (Yves.Bertot@sophia.inria.fr) pour connaître les modalités d’inscription.
Date: 26-30 janvier 2015
Page web dédiée (mise à jour à venir)
Enseigants: Jean-Daniel Boissonat, Clément Maria, Mariette Yvinec (INRIA Sophia-Antipolis)
Merci de contacter Jean-Daniel Boissonat (Jean-Daniel.Boissonnat@inria.fr) pour connaître les modalités d’inscription.
Activité Complémentaire d’Enseignement
La campagne de candidature à une activité complémentaire d’enseignement (ACE) pour les doctorants est ouverte. Les étudiants commençant un doctorat ou demandant une bourse de thèse pour la rentrée universitaire 2014-2015 peuvent candidater. L’obtention de l’ACE sera alors conditionnée à l’obtention d’un contrat doctoral.
Calendrier. Les dossiers doivent être soumis avant le 22 août à midi dernier délai. Les dossiers soumis avant le 24 juin seront examinés dès début juillet.
La procédure se déroule entièrement en ligne sur le portail des études de l’ENS de Lyon. (Pour ceux qui n’ont pas encore de login ENS, les informations sont aussi disponibles dans la rubrique Actualités de la page Doctorat du site institutionnel)
Pour toute information sur les besoins en enseignement dans un département, contactez directement le directeur de département, pour tout problème avec la procédure de candidature, contactez nathalie.alazard@ens-lyon.fr
Poste de maître de conférences 27ème section
Le DI et le LIP recrutent une, ou un, maître de conférences en informatique pour la rentrée universitaire 2014.
Le profil du poste est disponible ici.
Classement des candidats par le comité de sélection :
(ce classement ne sera définitif qu’après l’avis du conseil d’administration de l’ENS de Lyon)
1- Dagand Pierre-Evariste
2- Fawzi Omar
3- Huguenin Kevin
4- Tzameret Iddo
5- Cohen Cyril
Composition du comité de sélection : Anne Benoit, Pascal Bouvry (président), Hubert Comon, Arnaud Durand, Guillaume Hanrot, Sylvain Joubaud, Florence Maraninchi, Antoine Miné, Lucas Nussbaum, Natacha Portier, Damien Stehlé, Laurent Théry.
Contact enseignement : damien.stehle@ens-lyon.fr et stephan.thomasse@ens-lyon.fr
Contact recherche : guillaume.hanrot@ens-lyon.fr et gilles.villard@ens-lyon.fr
Préambule: contactez D. Hirschkoff (ou votre tuteur) si vous avez des problèmes durant le stage, ou pour toute question.
Re-préambule : vous ne pouvez pas supposer qu’un(e) spécialiste du domaine où vous avez travaillé en stage relira votre rapport ou assistera à votre soutenance. Il faut donc que vous adaptiez votre rendu en conséquence. Cela ne signifie pas jeter toute la technique à la poubelle, mais il faut être capable de choisir les points techniques que vous souhaitez traiter, et de les amener. En règle générale, les étudiants de M1 ont plutôt tendance à vouloir mettre trop de technique, comme s’ils s’adressaient à leur encadrant de stage.
Vous devez envoyer votre rapport à Daniel Hirschkoff au plus tard le 28 août 2018 à midi (heure de Lyon), par mail. 20 pages maximum, vous pouvez au besoin pointer vers une « annexe » en ligne (l’annexe peut être un fichier contenant des preuves, un fichier contenant tous vos résultats numériques, un article écrit avec vos encadrants, du code que vous avez produit..). Vous pouvez écrire en anglais, mais ne le faites que si votre niveau d’anglais rend cela possible. Il est souhaitable que votre encadrant valide votre rapport en le relisant (ce qui signifie l’écrire suffisamment en avance pour qu’il y ait le temps d’une relecture et de corrections).
Au sujet du contenu:
sachez expliquer et motiver la question que vous avez étudiée: d’où vient-elle, pourquoi on se pose cette question, quel était l’état de la science au début de votre stage, quels sont les travaux existants pertinents.
si vous avez 10 résultats, ne les présentez pas tous de façon détaillée, faites un « travail éditorial » de sélection; si vous en n’avez aucun, racontez ce qui aurait pu marcher, quelles pistes ont été tentées.
vous êtes encouragés à raconter dans votre rapport comment se sont passées les choses: les pistes qui n’ont pas marché, des interactions/collaborations avec votre encadrant et d’autres chercheurs dans le cadre du stage, des initiatives que vous avez prises.
Informations préliminaires: les soutenances auront lieu les 5 et 6 septembre 2018, à l’ENS Lyon, dans les salles B1 et B2. 20 minutes de soutenance, suivies de 5 minutes de questions. Le planning est disponible ici.
Faites au moins deux répétitions! On vous coupera la parole brutalement au bout du temps imparti, et c’est une catastrophe si à ce moment-là vous n’avez pas encore abordé la partie 3 de votre expose qui en comporte 5. C’est aussi catastrophique si vous terminez au bout de 8 minutes. Mettez-vous la pression, faire une présentation propre/claire n’est pas un exercice qui s’improvise, et c’est très différent d’une discussion scientifique à bâtons rompus. Pour ce qui est du contenu de la présentation, mêmes remarques que pour le rapport. Cela ne sert a rien de noyer l’auditoire sous des tonnes de détails techniques. Tâchez de faire comprendre la question que vous avez traitée, et votre contribution, de façon compréhensible pour un auditoire non spécialiste, tout en évitant de trop glisser sous le tapis les choses plus techniques.
Points organisationnels : ayez vos transparents au format pdf sur une clef usb, pour le cas où il y aurait les sempiternels problèmes techniques pour la projection. Ayez de quoi projeter vos transparents (nous fournissons le vidéoprojecteur, pas la machine). Une bonne solution consiste à vous mettre d’accord entre étudiants qui présentent à la même session, afin de partager un ordinateur, que l’on connecte pendant la pause qui précède la session).
Vous pouvez sauf cas particulier assister à la présentation de vos camarades, à partir du moment où ceux-ci sont d’accord.
Vous pouvez présenter en français ou en anglais, mais ne soyez pas prétentieux, n’optez pour l’anglais que si votre niveau le permet.