ENS Courses in Computer Science – Catalog of courses

Expérience Transdisciplinaire-level courses

Understanding Digital Era through its techonologies and its challenges (Moodle, iCal, Site)

Term:
S1
ECTS:
0
Number of hours:
12
Teachers:
Matthieu BOYER, Antoine GROUDIEV
Course type:
Lectures

Tandis que les domaines de l'informatique mis en avant dans le débat social évoluent -- les "algorithmes" tant débattus il y a encore quelques années laissent désormais place à "l'intelligence artificielle" -- leur traitement n'a presque pas évolué. Qu'il soit présenté comme dans '2001, Odyssée de l'Espace' comme un objet amenant au futur et aux confins de l'univers ou qu'il soit, comme dans 'Moi, Daniel Blake' présenté comme un objet incontournable mais aliénant par sa complexité, l'ordinateur s'est fait une place prépondérante dans nos vies quotidiennes, dans nos vies et nos références culturelles et médiatiques. Néanmoins, il n'a pas nécessairement transformé aussi radicalement nos rapports à l'espace culturel et sociétal. À travers 6 séances survolant les concepts techniques fondamentaux au cœur du Numérique au sens large -- du fonctionnement de l'ordinateur, à la notion d'algorithme, en passant par le développement d'internet, et des intelligences artificielles comme nous les connaissons -- les membres de la DGNum vous proposent de démystifier les technologies aux bases de l'espace numérique, et les enjeux de ceux-ci dans l'espace médiatique, politique et académique. Contact: cours@dgnum.eu

Schedule…
  • Lectures:
    • Monday 2 November 2026, 17:30 – 19:30, Salle Conference (46 rue d'Ulm)
    • Monday 9 November 2026, 17:30 – 19:30, Salle Conference (46 rue d'Ulm)
    • Monday 16 November 2026, 17:30 – 19:30, Salle Conference (46 rue d'Ulm)
    • Monday 30 November 2026, 17:30 – 19:30, Salle Conference (46 rue d'Ulm)
    • Monday 7 December 2026, 17:30 – 19:30, Salle Conference (46 rue d'Ulm)
    • Monday 14 December 2026, 17:30 – 19:30, Salle Conference (46 rue d'Ulm)

PSL Week (Fall) (Moodle, iCal, Site)

Term:
S1
ECTS:
0
Number of hours:
40
Teachers:
David NACCACHE
Course type:
Lectures

TBA

Schedule…
  • Lectures:
    • Monday 23 November 2026, 09:00 – 13:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Monday 23 November 2026, 14:00 – 18:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Tuesday 24 November 2026, 09:00 – 13:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Tuesday 24 November 2026, 14:00 – 18:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Wednesday 25 November 2026, 09:00 – 13:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Wednesday 25 November 2026, 14:00 – 18:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Thursday 26 November 2026, 09:00 – 13:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Thursday 26 November 2026, 14:00 – 18:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Friday 27 November 2026, 09:00 – 13:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Friday 27 November 2026, 14:00 – 18:00, U 209 (29 rue d'Ulm)

PSL Week (Spring) (Moodle, iCal, Site)

Term:
S2
ECTS:
0
Number of hours:
40
Teachers:
David NACCACHE
Course type:
Lectures

TBA

Schedule…
  • Lectures:
    • Monday 1 March 2027, 09:00 – 13:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Monday 1 March 2027, 14:00 – 18:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Tuesday 2 March 2027, 09:00 – 13:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Tuesday 2 March 2027, 14:00 – 18:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Wednesday 3 March 2027, 09:00 – 13:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Wednesday 3 March 2027, 14:00 – 18:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Thursday 4 March 2027, 09:00 – 13:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Thursday 4 March 2027, 14:00 – 18:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Friday 5 March 2027, 09:00 – 13:00, U 209 (29 rue d'Ulm)
  • Lectures:
    • Friday 5 March 2027, 14:00 – 18:00, U 209 (29 rue d'Ulm)

Turing Seminar (iCal)

Term:
S1
ECTS:
6
Number of hours:
24
Teachers:
Camille BERGER, Charbel-Raphaël SÉGERIE
Course type:
Lectures
Evaluation:
Project

Le Séminaire Turing est une introduction à la sûreté de l’IA, une discipline qui vise à développer des techniques pour garantir que les systèmes d'IA agissent de manière fiable, robuste et conforme aux attentes, tout en minimisant les risques potentiels liés à leur déploiement. Nous introduirons l’état-de-l’art en machine learning, en matière de performance et architecture, ainsi que différents paradigmes de solutions proposés par les principaux laboratoires d’IA (OpenAI, DeepMind, Anthropic, etc.) afin d’améliorer la robustesse et l’explicabilité des réseaux. Thématiques et questions abordées : techniques de spécification par reinforcement learning (RLHF et ses variations), interprétabilité des transformers (comment fonctionnent en interne les modèles de type GPT, comment l'information y est représentée, comment opérer des modifications sur l’information contenue dans un réseau), comment entraîner et aligner à nos valeurs des modèles dépassant les capacités humaines, etc. Le cours exposera des travaux très variés, à la fois techniques et théoriques et nous terminerons par introduire le domaine de la gouvernance de l’IA (encadrement, régulation et audit des modèles les plus avancés). Le cours ne nécessite pas une connaissance approfondie en machine learning, mais une aisance avec les fondamentaux de la discipline rendra le suivi du séminaire plus aisé. Chaque séance introduit les concepts fondamentaux nécessaires à une bonne compréhension. Les notions abordées concernent des travaux de recherche très récents, fortement débattus, et laissera donc une place importante à la discussion.

Schedule…
  • Lectures:
    • Thursday 26 November 2026, 18:00 – 20:00, Bourbaki
  • Lectures:
    • Thursday 24 September 2026, 18:00 – 20:00, E. Noether
    • Thursday 1 October 2026, 18:00 – 20:00, E. Noether
    • Thursday 8 October 2026, 18:00 – 20:00, E. Noether
    • Thursday 15 October 2026, 18:00 – 20:00, E. Noether
    • Thursday 22 October 2026, 18:00 – 20:00, E. Noether
    • Thursday 5 November 2026, 18:00 – 20:00, E. Noether
    • Thursday 12 November 2026, 18:00 – 20:00, E. Noether
    • Thursday 19 November 2026, 18:00 – 20:00, E. Noether
    • Thursday 3 December 2026, 18:00 – 20:00, E. Noether
    • Thursday 10 December 2026, 18:00 – 20:00, E. Noether
    • Thursday 17 December 2026, 18:00 – 20:00, E. Noether
    • Thursday 7 January 2027, 18:00 – 20:00, E. Noether
    • Thursday 14 January 2027, 18:00 – 20:00, E. Noether
    • Thursday 21 January 2027, 18:00 – 20:00, E. Noether
    • Thursday 28 January 2027, 18:00 – 20:00, E. Noether

Initiation courses

Machine Learning for Scientific Discovery: From Foundations to Applications (Moodle, iCal)

Term:
S1
ECTS:
6
Number of hours:
34
Teachers:
Marc LELARGE
Course type:
Lectures, Lab sessions

This course introduces the foundations of machine learning, from statistical models to modern deep learning, with a focus on practical applications in scientific research. Students will learn core methods, computational tools, and workflows to apply machine learning techniques to data and problems in their own field of study. After completing the core curriculum, each department will supervise (over a six-week period) the projects it has proposed. The purpose of the core curriculum is to provide a solid foundation in the fundamentals of statistical learning, along with the essential computing skills (sklearn – PyTorch) required across all projects.

Schedule…
  • Lectures:
    • Tuesday 8 September 2026, 16:00 – 18:00, Amphi Galois
    • Tuesday 15 September 2026, 16:00 – 18:00, Amphi Galois
    • Tuesday 22 September 2026, 16:00 – 18:00, Amphi Galois
    • Tuesday 29 September 2026, 16:00 – 18:00, Amphi Galois
    • Tuesday 6 October 2026, 16:00 – 18:00, Amphi Galois
    • Tuesday 13 October 2026, 16:00 – 18:00, Amphi Galois
    • Tuesday 20 October 2026, 16:00 – 18:00, Amphi Galois
    • Tuesday 3 November 2026, 16:00 – 18:00, Amphi Galois
    • Tuesday 10 November 2026, 16:00 – 18:00, Amphi Galois
    • Tuesday 17 November 2026, 16:00 – 18:00, Amphi Galois

Programming introduction for non computer scientists (accelerated) (Moodle, iCal)

Term:
S2
ECTS:
3
Number of hours:
24
Teachers:
Tatiana STARIKOVSKAYA
Course type:
Lab sessions

Ce cours est ouvert aux élèves de toutes les disciplines, littéraires comme scientifiques. Aucune connaissance préalable en programmation n’est requise. Le cours n’est pas orienté à priori vers une application particulière. Il s’adaptera aux besoins des élèves. Il sera utile au noninformaticien qui aura un jour à programmer rapidement une simulation, mais aussi à toute personne souhaitant comprendre comment sont faits les programmes informatiques. Introduction à Python - Listes et fonctions - Dictionnaires et classes -Modules et fichiers - Calcul scientifique - Lecture des données du web - Etc. Il est en mode accéléré (4 heures par semaine sur un demi-semestre).

Schedule…
  • Lab sessions:
    • Tuesday 16 February 2027, 17:00 – 19:00, Info 4
    • Tuesday 23 February 2027, 17:00 – 19:00, Info 4
    • Tuesday 2 March 2027, 17:00 – 19:00, Info 4
    • Tuesday 9 March 2027, 17:00 – 19:00, Info 4
    • Tuesday 16 March 2027, 17:00 – 19:00, Info 4
    • Tuesday 23 March 2027, 17:00 – 19:00, Info 4
    • Tuesday 30 March 2027, 17:00 – 19:00, Info 4
    • Tuesday 6 April 2027, 17:00 – 19:00, Info 4
    • Tuesday 20 April 2027, 17:00 – 19:00, Info 4
    • Tuesday 27 April 2027, 17:00 – 19:00, Info 4
    • Tuesday 4 May 2027, 17:00 – 19:00, Info 4
    • Tuesday 11 May 2027, 17:00 – 19:00, Info 4
    • Tuesday 18 May 2027, 17:00 – 19:00, Info 4
    • Tuesday 25 May 2027, 17:00 – 19:00, Info 4

L3-level courses

Algorithms (Moodle, iCal)

Term:
S1
ECTS:
9
Number of hours:
48
Teachers:
Tatiana STARIKOVSKAYA, Dominique BAZIN
Course type:
Lectures, Tutorials
Evaluation:
Homework, Exam
Prerequisites:
Niveau L2 en Algorithmique et programmation

Le but de ce cours est d’acquérir une maîtrise des concepts de base et de certains concepts avancés de l’algorithmique et des structures de données, ainsi que de se familiariser à l’implémentation de ces concepts dans un langage de programmation. Le cours consiste en des leçons hebdomadaires, suivies de sessions de travaux dirigés. Des devoirs à la maison, avec une partie théorique et une partie implémentation, sont à réaliser chaque semaine. Le cours se conclut par un examen. Les concepts abordés sont les suivants : introduction à l’algorithmique et aux structures de données diviser pour régner ; programmation dynamique et algorithmes gloutons ; algorithmes de tri ; ensembles et tableaux associatifs ; algorithmes de texte ; ensembles disjoints ; arbre couvrant minimal ; recherche en profondeur ; plus courts chemins ; réseaux de flots.

Schedule…
  • Lectures:
    • Thursday 1 October 2026, 13:15 – 15:15, E. Noether
    • Thursday 8 October 2026, 13:15 – 15:15, E. Noether
    • Thursday 15 October 2026, 13:15 – 15:15, E. Noether
    • Thursday 22 October 2026, 13:15 – 15:15, E. Noether
    • Thursday 5 November 2026, 13:15 – 15:15, E. Noether
    • Thursday 12 November 2026, 13:15 – 15:15, E. Noether
    • Thursday 19 November 2026, 13:15 – 15:15, E. Noether
    • Thursday 3 December 2026, 13:15 – 15:15, E. Noether
    • Thursday 10 December 2026, 13:15 – 15:15, E. Noether
    • Thursday 17 December 2026, 13:15 – 15:15, E. Noether
    • Thursday 7 January 2027, 13:15 – 15:15, E. Noether
    • Thursday 14 January 2027, 13:15 – 15:15, E. Noether
    • Thursday 21 January 2027, 13:15 – 15:15, E. Noether
    • Thursday 28 January 2027, 13:15 – 15:15, E. Noether
  • Tutorials:
    (group 1)
    • Thursday 1 October 2026, 15:15 – 17:00, E. Noether
    • Thursday 8 October 2026, 15:15 – 17:00, E. Noether
    • Thursday 15 October 2026, 15:15 – 17:00, E. Noether
    • Thursday 22 October 2026, 15:15 – 17:00, E. Noether
    • Thursday 5 November 2026, 15:15 – 17:00, E. Noether
    • Thursday 12 November 2026, 15:15 – 17:00, E. Noether
    • Thursday 3 December 2026, 15:15 – 17:00, E. Noether
    • Thursday 10 December 2026, 15:15 – 17:00, E. Noether
    • Thursday 17 December 2026, 15:15 – 17:00, E. Noether
    • Thursday 7 January 2027, 15:15 – 17:00, E. Noether
    • Thursday 14 January 2027, 15:15 – 17:00, E. Noether
    • Thursday 21 January 2027, 15:15 – 17:00, E. Noether

    (group 2)
    • Friday 2 October 2026, 10:30 – 12:15, E. Noether
    • Friday 9 October 2026, 10:30 – 12:15, E. Noether
    • Friday 16 October 2026, 10:30 – 12:15, E. Noether
    • Friday 23 October 2026, 10:30 – 12:15, E. Noether
    • Friday 6 November 2026, 10:30 – 12:15, E. Noether
    • Friday 13 November 2026, 10:30 – 12:15, E. Noether
    • Friday 4 December 2026, 10:30 – 12:15, E. Noether
    • Friday 11 December 2026, 10:30 – 12:15, E. Noether
    • Friday 18 December 2026, 10:30 – 12:15, E. Noether
    • Friday 8 January 2027, 10:30 – 12:15, E. Noether
    • Friday 15 January 2027, 10:30 – 12:15, E. Noether
    • Friday 22 January 2027, 10:30 – 12:15, E. Noether

Statistical learning (Moodle, iCal)

Term:
S2
ECTS:
9
Number of hours:
48
Teachers:
Umut SIMSEKLI
Course type:
Lectures, Tutorials
Evaluation:
Exam

L’apprentissage statistique est une discipline en plein essor à l’interface de l’informatique et des mathématiques appliquées (probabilités / statistiques, optimisation, etc.) et qui joue aujourd’hui un rôle majeur en matière d’innovation technologique. À la différence d’un cours de statistique traditionnel, l’apprentissage statistique se préoccupe particulièrement de l’analyse de données de grande dimension ainsi que de l’efficacité des algorithmes pour traiter d’importants volumes de données telles que rencontrées dans des domaines d’applications divers tels l’analyse d’image et du son, le traitement automatique du langage, la bio-informatique ou la finance. L’objectif du cours est de présenter les théories et algorithmes majeurs de l’apprentissage statistique. Les méthodes abordées reposeront en particulier sur des arguments d’analyse convexe.

Schedule…
  • Lectures:
    • Thursday 18 February 2027, 08:30 – 10:30, E. Noether
    • Thursday 25 February 2027, 08:30 – 10:30, E. Noether
    • Thursday 4 March 2027, 08:30 – 10:30, E. Noether
    • Thursday 11 March 2027, 08:30 – 10:30, E. Noether
    • Thursday 18 March 2027, 08:30 – 10:30, E. Noether
    • Thursday 25 March 2027, 08:30 – 10:30, E. Noether
    • Thursday 1 April 2027, 08:30 – 10:30, E. Noether
    • Thursday 8 April 2027, 08:30 – 10:30, E. Noether
    • Thursday 22 April 2027, 08:30 – 10:30, E. Noether
    • Thursday 29 April 2027, 08:30 – 10:30, E. Noether
    • Thursday 13 May 2027, 08:30 – 10:30, E. Noether
    • Thursday 20 May 2027, 08:30 – 10:30, E. Noether
    • Thursday 27 May 2027, 08:30 – 10:30, E. Noether
  • Tutorials:
    • Thursday 18 February 2027, 10:30 – 12:15, E. Noether
    • Thursday 25 February 2027, 10:30 – 12:15, E. Noether
    • Thursday 4 March 2027, 10:30 – 12:15, E. Noether
    • Thursday 11 March 2027, 10:30 – 12:15, E. Noether
    • Thursday 18 March 2027, 10:30 – 12:15, E. Noether
    • Thursday 25 March 2027, 10:30 – 12:15, E. Noether
    • Thursday 1 April 2027, 10:30 – 12:15, E. Noether
    • Thursday 8 April 2027, 10:30 – 12:15, E. Noether
    • Thursday 22 April 2027, 10:30 – 12:15, E. Noether
    • Thursday 29 April 2027, 10:30 – 12:15, E. Noether
    • Thursday 13 May 2027, 10:30 – 12:15, E. Noether
    • Thursday 20 May 2027, 10:30 – 12:15, E. Noether
    • Thursday 27 May 2027, 10:30 – 12:15, E. Noether

Databases (Moodle, iCal)

Term:
S2
ECTS:
9
Number of hours:
48
Teachers:
Pierre SENELLART, Leonid LIBKIN, Michaël THOMAZO, Paul BONIOL, Lucas LARROQUE
Course type:
Lectures, Tutorials, Lab sessions
Evaluation:
Homework, Exam
Prerequisites:
Algorithmique ; Langages formels, calculabilité et complexité

Ce cours couvre les grands principes des systèmes de gestion de données (SGBD). Les SGBD sont des logiciels génériques permettant le stockage et la manipulation efficace de données pour une très large gamme d’applications. Du point de vue pratique, les SGBD sont des logiciels sophistiqués, très largement utilisés, omniprésents dans le monde industriel. Du point de vue théorique, la conception de ces systèmes repose sur des fondements conceptuels, logiques, algorithmiques, en lien avec d’autres domaines de la science informatique. Le cours ira des aspects théoriques aux aspects systèmes des SGBD, en particulier ceux basés sur le modèle relationnel.

Schedule…
  • Lectures:
    • Wednesday 17 February 2027, 08:30 – 10:15, E. Noether
    • Wednesday 24 February 2027, 08:30 – 10:15, E. Noether
    • Wednesday 3 March 2027, 08:30 – 10:15, E. Noether
    • Wednesday 10 March 2027, 08:30 – 10:15, E. Noether
    • Wednesday 17 March 2027, 08:30 – 10:15, E. Noether
    • Wednesday 24 March 2027, 08:30 – 10:15, E. Noether
    • Wednesday 31 March 2027, 08:30 – 10:15, E. Noether
    • Wednesday 7 April 2027, 08:30 – 10:15, E. Noether
    • Wednesday 21 April 2027, 08:30 – 10:15, E. Noether
    • Wednesday 28 April 2027, 08:30 – 10:15, E. Noether
    • Wednesday 5 May 2027, 08:30 – 10:15, E. Noether
    • Wednesday 12 May 2027, 08:30 – 10:15, E. Noether
    • Wednesday 19 May 2027, 08:30 – 10:15, E. Noether
    • Wednesday 26 May 2027, 08:30 – 10:15, E. Noether
  • Lectures:
    • Lab sessions:
      • Wednesday 17 February 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 24 February 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 3 March 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 10 March 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 17 March 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 24 March 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 31 March 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 7 April 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 21 April 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 28 April 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 5 May 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 12 May 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 19 May 2027, 10:15 – 12:15, Info 3 & 4
      • Wednesday 26 May 2027, 10:15 – 12:15, Info 3 & 4

    Practical Computing (Moodle, iCal)

    Term:
    S1
    ECTS:
    0
    Number of hours:
    34
    Teachers:
    Pierre SENELLART, Timothy BOURKE, Jean-Christophe FILLIÂTRE, Nicolas GEORGE, Lucas LARROQUE
    Course type:
    Lectures, Lab sessions

    Cette semaine de pré-rentrée du DI est une semaine d'initiation intensive aux aspects pratiques de l'informatique : utilisation d'un systèmes Linux, réseaux, travail collaboratif et à distance, utilisation avancée d'éditeurs de texte, programmation en C et OCaml, chaîne de compilation, LaTeX…

    Schedule…
    • Lectures:
      • Monday 21 September 2026, 08:30 – 11:45, E. Noether
    • Lectures:
      • Tuesday 22 September 2026, 08:30 – 11:45, E. Noether
    • Lectures:
      • Wednesday 23 September 2026, 08:30 – 11:45, E. Noether
    • Lectures:
      • Thursday 24 September 2026, 08:30 – 11:45, E. Noether
    • Lectures:
      • Friday 25 September 2026, 08:30 – 11:45, Info 3 & 4
    • Lab sessions:
      • Monday 21 September 2026, 13:15 – 17:00, Info 3 & 4
    • Lab sessions:
      • Tuesday 22 September 2026, 13:15 – 17:00, Info 3 & 4
    • Lab sessions:
      • Wednesday 23 September 2026, 13:15 – 17:00, Info 3 & 4
    • Lab sessions:
      • Thursday 24 September 2026, 13:15 – 17:00, Info 3 & 4
    • Lab sessions:
      • Friday 25 September 2026, 13:15 – 17:00, Info 3 & 4

    Computer science by practice (Moodle, iCal)

    Term:
    S2
    ECTS:
    9
    Number of hours:
    48
    Teachers:
    David NACCACHE
    Course type:
    Lectures, Project
    Evaluation:
    Project

    Le cours d’Informatique scientifique par la pratique permet aux élèves de s’initier à la rédaction d’un article en s’attaquant à un véritable problème de recherche. Le travail s’effectue en appliquant des techniques mathématiques et informatiques vues lors de divers cours de l’ENS et en explorant et en apprenant de nouveaux outils, autant que nécessaire. Les étudiants se voient exposer au début du cours plusieurs défis mathématiques et informatiques et forment des groupes. Chaque défi est analysé par le groupe (sous la supervision de l’enseignant et ses doctorants) et des solutions théoriques lui sont proposées et débattues. Les solutions sont ensuite analysées et programmées. Les résultats sont structurés (en anglais) sous la forme d’un article de « professionnel » qui peut être soumis à une conférence, à un comité de lecture (ou même à un journal).

    Schedule…
    • Lectures:
      • Friday 19 February 2027, 13:15 – 17:00, N. Bourbaki
      • Friday 26 February 2027, 13:15 – 17:00, N. Bourbaki
      • Friday 5 March 2027, 13:15 – 17:00, N. Bourbaki
      • Friday 12 March 2027, 13:15 – 17:00, N. Bourbaki
      • Friday 19 March 2027, 13:15 – 17:00, N. Bourbaki
      • Friday 26 March 2027, 13:15 – 17:00, N. Bourbaki
      • Friday 2 April 2027, 13:15 – 17:00, N. Bourbaki
      • Friday 9 April 2027, 13:15 – 17:00, N. Bourbaki
      • Friday 23 April 2027, 13:15 – 17:00, N. Bourbaki
      • Friday 30 April 2027, 13:15 – 17:00, N. Bourbaki
      • Friday 14 May 2027, 13:15 – 17:00, N. Bourbaki
      • Friday 21 May 2027, 13:15 – 17:00, N. Bourbaki
      • Friday 28 May 2027, 13:15 – 17:00, N. Bourbaki
    • Lectures:

      Introduction to cryptography (Moodle, iCal)

      Term:
      S2
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Phong NGUYEN, Brice MINAUD
      Course type:
      Lectures, Tutorials
      Evaluation:
      Exam
      Prerequisites:
      Ce cours fera essentiellement appel aux notions de classes de complexité, de machine de Turing et de problèmes NP. Un minimum de connaissances en algèbre et en probabilité sera aussi requis. Enfin les outils algorithmiques de base devront être maîtrisés. Certains TDs conduiront à de la programmation en langage C ou Python.

      Ce cours s’adresse aux étudiants ayant un goût pour l’algorithmique, à la fois dans ses aspects mathématiques et dans ses aspects pratiques. Son but est d’enseigner la problématique de la cryptologie, et les principaux outils utilisés par la cryptologie pour proposer des solutions aux problèmes de sécurité. Il sert d’introduction et de préparation aux cours de cryptologie proposés au MPRI. Ce cours commence par les notions de base de cryptographie symétrique (chiffrement par blocs et par flot, fonctions de hachage, et cryptanalyse) et asymétrique (RSA, Diffie-Hellman et ElGamal), puis présente de façon informelle plusieurs techniques plus avancées - Preuves zero-knowledge - Cryptographie distribuée - Cryptographie à base de couplages sur courbes elliptiques - Cryptographie à base de réseaux euclidiens (cryptographie post-quantique) - La Blockchain et bitcoin

      Schedule…
      • Lectures:
        • Monday 15 February 2027, 14:00 – 17:45, E. Noether
        • Monday 22 February 2027, 14:00 – 17:45, E. Noether
        • Monday 1 March 2027, 14:00 – 17:45, E. Noether
        • Monday 8 March 2027, 14:00 – 17:45, E. Noether
        • Monday 15 March 2027, 14:00 – 17:45, E. Noether
        • Monday 22 March 2027, 14:00 – 17:45, E. Noether
        • Monday 5 April 2027, 14:00 – 17:45, E. Noether
        • Monday 19 April 2027, 14:00 – 17:45, E. Noether
        • Monday 26 April 2027, 14:00 – 17:45, E. Noether
        • Monday 3 May 2027, 14:00 – 17:45, E. Noether
        • Monday 10 May 2027, 14:00 – 17:45, E. Noether
        • Monday 17 May 2027, 14:00 – 17:45, E. Noether
        • Monday 24 May 2027, 14:00 – 17:45, E. Noether

      Lambda-calculus and logic (Moodle, iCal)

      Term:
      S2
      ECTS:
      6
      Number of hours:
      40
      Teachers:
      Jean GOUBAULT-LARRECQ
      Course type:
      Lectures, Tutorials
      Evaluation:
      Homework, Exam

      Ce cours a lieu à l’ENS Paris-Saclay. Ce cours explore les bases du lambda-calcul, un outil inventé par le logicien Alonzo Church dans les années 1930 et qui est aujourd’hui fondamental tant en sémantique des langages de programmation (informatique) qu’en théorie de la preuve (logique). Lambda-calcul pur, (non-)terminaison, confluence, standardisation Lambda-calcul typé, correspondances de Curry-Howard pour diverses logiques, classiques ou intuitionnistes, allant de la logique propositionnelle minimale (types simples) à l’arithmétique du second ordre (système F) Machines, lambda-calculs à substitutions explicites, et propriétés mathématiques d’iceux

      Schedule…
      • Lectures:
        • Tuesday 16 February 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 23 February 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 2 March 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 9 March 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 16 March 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 23 March 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 30 March 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 6 April 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 20 April 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 27 April 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 4 May 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 11 May 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 18 May 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
        • Tuesday 25 May 2027, 14:00 – 16:00, ENS Paris-Saclay, ?
      • Tutorials:
        • Tuesday 16 February 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 23 February 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 2 March 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 9 March 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 16 March 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 23 March 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 30 March 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 6 April 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 20 April 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 27 April 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 4 May 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 11 May 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 18 May 2027, 16:00 – 18:00, ENS Paris-Saclay, ?
        • Tuesday 25 May 2027, 16:00 – 18:00, ENS Paris-Saclay, ?

      Programming languages and compilation (Moodle, iCal)

      Term:
      S1
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Jean-Christophe FILLIÂTRE, Samuel VIVIEN
      Course type:
      Lectures, Lab sessions
      Evaluation:
      Project, Exam

      Ce cours présente les principaux concepts des langages de programmation au travers de l’étude de leur compilation, c’est-à-dire de leur traduction vers le langage machine. Les TDs ont pour objectif de programmer certaines des notions vues en cours. L’évaluation comprend un projet consistant en la réalisation d’un petit compilateur.

      Schedule…
      • Lectures:
        • Friday 2 October 2026, 08:30 – 10:30, E. Noether
        • Friday 9 October 2026, 08:30 – 10:30, E. Noether
        • Friday 16 October 2026, 08:30 – 10:30, E. Noether
        • Friday 23 October 2026, 08:30 – 10:30, E. Noether
        • Friday 6 November 2026, 08:30 – 10:30, E. Noether
        • Friday 13 November 2026, 08:30 – 10:30, E. Noether
        • Friday 20 November 2026, 08:30 – 10:30, E. Noether
        • Friday 4 December 2026, 08:30 – 10:30, E. Noether
        • Friday 11 December 2026, 08:30 – 10:30, E. Noether
        • Friday 18 December 2026, 08:30 – 10:30, E. Noether
        • Friday 8 January 2027, 08:30 – 10:30, E. Noether
        • Friday 15 January 2027, 08:30 – 10:30, E. Noether
      • Lectures:
        • Friday 29 January 2027, 08:30 – 11:30, E. Noether
      • Lab sessions:
        (group 1)
        • Friday 2 October 2026, 10:30 – 12:15, Info 3 & 4
        • Friday 9 October 2026, 10:30 – 12:15, Info 3 & 4
        • Friday 16 October 2026, 10:30 – 12:15, Info 3 & 4
        • Friday 23 October 2026, 10:30 – 12:15, Info 3 & 4
        • Friday 6 November 2026, 10:30 – 12:15, Info 3 & 4
        • Friday 13 November 2026, 10:30 – 12:15, Info 3 & 4
        • Friday 20 November 2026, 10:30 – 12:15, Info 3 & 4
        • Friday 4 December 2026, 10:30 – 12:15, Info 3 & 4
        • Friday 11 December 2026, 10:30 – 12:15, Info 3 & 4
        • Friday 18 December 2026, 10:30 – 12:15, Info 3 & 4
        • Friday 8 January 2027, 10:30 – 12:15, Info 3 & 4
        • Friday 15 January 2027, 10:30 – 12:15, Info 3 & 4

        (group 2)
        • Thursday 8 October 2026, 15:15 – 17:00, Info 3 & 4
        • Thursday 15 October 2026, 15:15 – 17:00, Info 3 & 4
        • Thursday 22 October 2026, 15:15 – 17:00, Info 3 & 4
        • Thursday 5 November 2026, 15:15 – 17:00, Info 3 & 4
        • Thursday 12 November 2026, 15:15 – 17:00, Info 3 & 4
        • Thursday 19 November 2026, 15:15 – 17:00, Info 3 & 4
        • Thursday 3 December 2026, 15:15 – 17:00, Info 3 & 4
        • Thursday 10 December 2026, 15:15 – 17:00, Info 3 & 4
        • Thursday 17 December 2026, 15:15 – 17:00, Info 3 & 4
        • Thursday 7 January 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 14 January 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 21 January 2027, 15:15 – 17:00, Info 3 & 4

      Formal languages, computability and complexity (Moodle, iCal)

      Term:
      S1
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Michaël THOMAZO, Anne BOUILLARD
      Course type:
      Lectures, Tutorials
      Evaluation:
      Project, Exam

      1. Langages réguliers, leurs propriétés et leur caractérisation par automates, expressions régulières, formules logiques, monoïdes. Langages sans étoile. Premières notions sur les langages de mots infinis. 2. Grammaires et hiérarchie de Chomski. Langages hors contexte, leurs propriétés, leur caractérisation par automates à pile 3. Calculabilité (fonctions récursives et Machines de Turing). Problèmes décidables, indécidables, semi-décidables. 4. Complexité en temps et espaces. Bornes de complexité. Classes de complexité (NP, Pspace) et problèmes complets.

      Schedule…
      • Lectures:
        • Thursday 1 October 2026, 08:30 – 10:30, E. Noether
        • Thursday 8 October 2026, 08:30 – 10:30, E. Noether
        • Thursday 15 October 2026, 08:30 – 10:30, E. Noether
        • Thursday 22 October 2026, 08:30 – 10:30, E. Noether
        • Thursday 5 November 2026, 08:30 – 10:30, E. Noether
        • Thursday 12 November 2026, 08:30 – 10:30, E. Noether
        • Thursday 19 November 2026, 08:30 – 10:30, E. Noether
        • Thursday 3 December 2026, 08:30 – 10:30, E. Noether
        • Thursday 10 December 2026, 08:30 – 10:30, E. Noether
        • Thursday 17 December 2026, 08:30 – 10:30, E. Noether
        • Thursday 7 January 2027, 08:30 – 10:30, E. Noether
        • Thursday 14 January 2027, 08:30 – 10:30, E. Noether
        • Thursday 21 January 2027, 08:30 – 10:30, E. Noether
        • Thursday 28 January 2027, 08:30 – 10:30, E. Noether
      • Tutorials:
        • Thursday 1 October 2026, 10:30 – 12:15, E. Noether
        • Thursday 8 October 2026, 10:30 – 12:15, E. Noether
        • Thursday 15 October 2026, 10:30 – 12:15, E. Noether
        • Thursday 22 October 2026, 10:30 – 12:15, E. Noether
        • Thursday 5 November 2026, 10:30 – 12:15, E. Noether
        • Thursday 12 November 2026, 10:30 – 12:15, E. Noether
        • Thursday 19 November 2026, 10:30 – 12:15, E. Noether
        • Thursday 3 December 2026, 10:30 – 12:15, E. Noether
        • Thursday 10 December 2026, 10:30 – 12:15, E. Noether
        • Thursday 17 December 2026, 10:30 – 12:15, E. Noether
        • Thursday 7 January 2027, 10:30 – 12:15, E. Noether
        • Thursday 14 January 2027, 10:30 – 12:15, E. Noether
        • Thursday 21 January 2027, 10:30 – 12:15, E. Noether
        • Thursday 28 January 2027, 10:30 – 12:15, E. Noether

      Random structures and algorithms (Moodle, iCal)

      Term:
      S1
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Louise BUDZYNSKI, Alexandra Kortchemski
      Course type:
      Lectures, Tutorials
      Evaluation:
      Exam

      Ce cours vise à donner aux étudiants les bases de probabilités qui sont utilisées dans divers domaines de l’informatique (algorithmique, algorithmes stochastiques, réseaux de communication, ...). Ce cours est divisé en deux parties : Probabilités discrètes et applications (Variables aléatoires, indépendance, conditionnement /Méthode probabiliste / Graphes aléatoires) Modèles markoviens (Chaînes de Markov, comportement asymptotique / Simulation Monte Carlo et simulation parfaite / Champs de Gibbs) Pour chaque thème abordé, des exemples d’application dans divers domaines de l’informatique seront présentés.

      Schedule…
      • Lectures:
        • Friday 2 October 2026, 13:15 – 15:00, Bourbaki
        • Friday 9 October 2026, 13:15 – 15:00, Bourbaki
        • Friday 16 October 2026, 13:15 – 15:00, Bourbaki
        • Friday 23 October 2026, 13:15 – 15:00, Bourbaki
        • Friday 6 November 2026, 13:15 – 15:00, Bourbaki
        • Friday 13 November 2026, 13:15 – 15:00, Bourbaki
        • Friday 20 November 2026, 13:15 – 15:00, Bourbaki
        • Friday 4 December 2026, 13:15 – 15:00, Bourbaki
        • Friday 11 December 2026, 13:15 – 15:00, Bourbaki
        • Friday 18 December 2026, 13:15 – 15:00, Bourbaki
        • Friday 8 January 2027, 13:15 – 15:00, Bourbaki
        • Friday 15 January 2027, 13:15 – 15:00, Bourbaki
        • Friday 22 January 2027, 13:15 – 15:00, Bourbaki
        • Friday 29 January 2027, 13:15 – 15:00, Bourbaki
      • Tutorials:
        • Friday 2 October 2026, 15:00 – 17:00, Bourbaki
        • Friday 9 October 2026, 15:00 – 17:00, Bourbaki
        • Friday 16 October 2026, 15:00 – 17:00, Bourbaki
        • Friday 23 October 2026, 15:00 – 17:00, Bourbaki
        • Friday 6 November 2026, 15:00 – 17:00, Bourbaki
        • Friday 13 November 2026, 15:00 – 17:00, Bourbaki
        • Friday 20 November 2026, 15:00 – 17:00, Bourbaki
        • Friday 4 December 2026, 15:00 – 17:00, Bourbaki
        • Friday 11 December 2026, 15:00 – 17:00, Bourbaki
        • Friday 18 December 2026, 15:00 – 17:00, Bourbaki
        • Friday 8 January 2027, 15:00 – 17:00, Bourbaki
        • Friday 15 January 2027, 15:00 – 17:00, Bourbaki
        • Friday 22 January 2027, 15:00 – 17:00, Bourbaki
        • Friday 29 January 2027, 15:00 – 17:00, Bourbaki

      Operating Systems (Moodle, iCal)

      Term:
      S2
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Timothy BOURKE, Balthazar PATIACHVILI
      Course type:
      Lectures, Tutorials
      Evaluation:
      Project, Exam

      Le cours présente les concepts fondamentaux des systèmes d’exploitation, leur utilisation et leur mise en œuvre dans le système Unix. La première partie étudie le cas d’Unix : organisation de la mémoire, systèmes de fichiers, gestion des processus lourds et léger (“threads”), signaux, communication entre processus, interruption, ordonnancement préemptif, pipes, sockets. La seconde partie étudie les problèmes classiques : inter blocage et famine entre processus, courses critiques, prise en compte des temps de calcul, etc. Le cours aborde la modélisation de ces questions et comment les techniques de vérification formelle automatiques permettent de définir des implémentations prouvées correctes. Un projet de programmation est présenté en début du cours. Il est réalisé en groupe (typiquement en binôme) et donne lieu à une soutenance. Une feuille de TD est distribuée à chaque cours.

      Schedule…
      • Lectures:
        • Thursday 18 February 2027, 13:15 – 15:15, E. Noether
        • Thursday 25 February 2027, 13:15 – 15:15, E. Noether
        • Thursday 4 March 2027, 13:15 – 15:15, E. Noether
        • Thursday 11 March 2027, 13:15 – 15:15, E. Noether
        • Thursday 18 March 2027, 13:15 – 15:15, E. Noether
        • Thursday 25 March 2027, 13:15 – 15:15, E. Noether
        • Thursday 1 April 2027, 13:15 – 15:15, E. Noether
        • Thursday 8 April 2027, 13:15 – 15:15, E. Noether
        • Thursday 22 April 2027, 13:15 – 15:15, E. Noether
        • Thursday 29 April 2027, 13:15 – 15:15, E. Noether
        • Thursday 13 May 2027, 13:15 – 15:15, E. Noether
        • Thursday 20 May 2027, 13:15 – 15:15, E. Noether
        • Thursday 27 May 2027, 13:15 – 15:15, E. Noether
      • Lab sessions:
        • Thursday 18 February 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 25 February 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 4 March 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 11 March 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 18 March 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 25 March 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 1 April 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 8 April 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 22 April 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 29 April 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 13 May 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 20 May 2027, 15:15 – 17:00, Info 3 & 4
        • Thursday 27 May 2027, 15:15 – 17:00, Info 3 & 4

      Digital systems (Moodle, iCal)

      Term:
      S1
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Hadrien BARRAL, Georges-Axel JALOYAN
      Course type:
      Lectures, Lab sessions
      Evaluation:
      Project, Exam

      Le cours théorique présente la composante matérielle du monde informatique. Des principes de conception et de réalisation des circuits, à diverses applications du calcul numérique haute performance : en physique, électronique, algèbre et télécommunication. Chaque application va de l’algorithme (logiciel) au circuit (matériel) : mêmes opérations, autres performances. La partie pratique du cours est un projet, à réaliser par groupes : chaque groupe doit entièrement concevoir un microprocesseur, et le réaliser au moyen de portes logiques élémentaires ; il faut ensuite simuler les portes en fonctionnement, et programmer le microprocesseur pour en faire une montre numérique, simulée en temps-réel.

      Schedule…
      • Lectures:
        (group 1)
        • Tuesday 29 September 2026, 13:15 – 17:00, Salle W
        • Tuesday 6 October 2026, 13:15 – 17:00, Salle W
        • Tuesday 13 October 2026, 13:15 – 17:00, Salle W
        • Tuesday 20 October 2026, 13:15 – 17:00, Salle W
        • Tuesday 3 November 2026, 13:15 – 17:00, Salle W
        • Tuesday 10 November 2026, 13:15 – 17:00, Salle W
        • Tuesday 17 November 2026, 13:15 – 17:00, Salle W
        • Tuesday 1 December 2026, 13:15 – 17:00, Salle W
        • Tuesday 15 December 2026, 13:15 – 17:00, Salle W
        • Tuesday 5 January 2027, 13:15 – 17:00, Salle W
        • Tuesday 12 January 2027, 13:15 – 17:00, Salle W
        • Tuesday 19 January 2027, 13:15 – 17:00, Salle W
        • Tuesday 26 January 2027, 13:15 – 17:00, Salle W

        (group 2)
        • Tuesday 8 December 2026, 15:00 – 18:30, Salle W

      Semantics and applications to the verification of programs (Moodle, iCal)

      Term:
      S2
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Xavier RIVAL, Jérôme FERET, Charles DE HARO
      Course type:
      Lectures, Tutorials
      Evaluation:
      Homework, Project, Exam

      Dans ce cours, nous étudierons les techniques permettant de raisonner sur les programmes, afin de vérifier des propriétés de correction. Nous nous intéresserons tout d’abord aux fondements de la sémantique des langages de programmations, et à la notion de preuve de programmes à l’aide de triplets "à la Hoare". Ensuite, nous formaliserons les différents types de propriétés intéressantes (sûreté, vivacité, sécurité). Enfin, nous aborderons plusieurs approches permettant de vérifier des programmes de manière automatique (analyse statique par interprétation abstraite, vérification de modèles de systèmes finis, résolution modulo théorie) : l’inférence des étapes de la preuve est alors confiée à un autre programme informatique.

      Schedule…
      • Lectures:
        • Friday 19 February 2027, 08:30 – 10:30, E. Noether
        • Friday 26 February 2027, 08:30 – 10:30, E. Noether
        • Friday 5 March 2027, 08:30 – 10:30, E. Noether
        • Friday 12 March 2027, 08:30 – 10:30, E. Noether
        • Friday 19 March 2027, 08:30 – 10:30, E. Noether
        • Friday 26 March 2027, 08:30 – 10:30, E. Noether
        • Friday 2 April 2027, 08:30 – 10:30, E. Noether
        • Friday 9 April 2027, 08:30 – 10:30, E. Noether
        • Friday 23 April 2027, 08:30 – 10:30, E. Noether
        • Friday 30 April 2027, 08:30 – 10:30, E. Noether
        • Friday 14 May 2027, 08:30 – 10:30, E. Noether
        • Friday 21 May 2027, 08:30 – 10:30, E. Noether
        • Friday 28 May 2027, 08:30 – 10:30, E. Noether
      • Tutorials:
        • Friday 19 February 2027, 10:30 – 12:15, E. Noether
        • Friday 26 February 2027, 10:30 – 12:15, E. Noether
        • Friday 5 March 2027, 10:30 – 12:15, E. Noether
        • Friday 12 March 2027, 10:30 – 12:15, E. Noether
        • Friday 19 March 2027, 10:30 – 12:15, E. Noether
        • Friday 26 March 2027, 10:30 – 12:15, E. Noether
        • Friday 2 April 2027, 10:30 – 12:15, E. Noether
        • Friday 9 April 2027, 10:30 – 12:15, E. Noether
        • Friday 23 April 2027, 10:30 – 12:15, E. Noether
        • Friday 30 April 2027, 10:30 – 12:15, E. Noether
        • Friday 14 May 2027, 10:30 – 12:15, E. Noether
        • Friday 21 May 2027, 10:30 – 12:15, E. Noether
        • Friday 28 May 2027, 10:30 – 12:15, E. Noether

      Information theory and coding (Moodle, iCal)

      Term:
      S2
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Bartek BLASZCZYSZYN, Mohamed-Kadhem KARRAY
      Course type:
      Lectures, Tutorials
      Evaluation:
      Exam

      Ce cours présente la théorie de l’information et du codage dans un cadre discret. On s’intéresse à la quantité d’information contenue dans un message et aux moyens de transmettre ce message à travers un canal bruité. On s’intéresse donc à la fois aux méthodes de compression des données et aux méthodes de détection et de correction d’erreurs. I - Compression des données : taux de compression et entropie ; algorithme de Huffman, ZivLempel et optimalité II - Canal de transmission : capacité d’un canal, théorème de Shannon III - Codes correcteurs d’erreurs : codes linéaires, codes cycliques, code de Hamming, codes BCH.

      Schedule…
      • Lectures:
        • Tuesday 16 February 2027, 08:30 – 10:30, E. Noether
        • Tuesday 23 February 2027, 08:30 – 10:30, E. Noether
        • Tuesday 2 March 2027, 08:30 – 10:30, E. Noether
        • Tuesday 9 March 2027, 08:30 – 10:30, E. Noether
        • Tuesday 16 March 2027, 08:30 – 10:30, E. Noether
        • Tuesday 23 March 2027, 08:30 – 10:30, E. Noether
        • Tuesday 30 March 2027, 08:30 – 10:30, E. Noether
        • Tuesday 6 April 2027, 08:30 – 10:30, E. Noether
        • Tuesday 20 April 2027, 08:30 – 10:30, E. Noether
        • Tuesday 27 April 2027, 08:30 – 10:30, E. Noether
        • Tuesday 4 May 2027, 08:30 – 10:30, E. Noether
        • Tuesday 11 May 2027, 08:30 – 10:30, E. Noether
        • Tuesday 18 May 2027, 08:30 – 10:30, E. Noether
        • Tuesday 25 May 2027, 08:30 – 10:30, E. Noether
      • Tutorials:
        • Tuesday 16 February 2027, 10:30 – 12:15, E. Noether
        • Tuesday 23 February 2027, 10:30 – 12:15, E. Noether
        • Tuesday 2 March 2027, 10:30 – 12:15, E. Noether
        • Tuesday 9 March 2027, 10:30 – 12:15, E. Noether
        • Tuesday 16 March 2027, 10:30 – 12:15, E. Noether
        • Tuesday 23 March 2027, 10:30 – 12:15, E. Noether
        • Tuesday 30 March 2027, 10:30 – 12:15, E. Noether
        • Tuesday 6 April 2027, 10:30 – 12:15, E. Noether
        • Tuesday 20 April 2027, 10:30 – 12:15, E. Noether
        • Tuesday 27 April 2027, 10:30 – 12:15, E. Noether
        • Tuesday 4 May 2027, 10:30 – 12:15, E. Noether
        • Tuesday 11 May 2027, 10:30 – 12:15, E. Noether
        • Tuesday 18 May 2027, 10:30 – 12:15, E. Noether
        • Tuesday 25 May 2027, 10:30 – 12:15, E. Noether

      M1-level courses

      Deep Learning (Moodle, iCal)

      Term:
      S1
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Jill-Jênn VIE, Kimia NADJAHI
      Course type:
      Lectures, Lab sessions
      Evaluation:
      Homework, Project
      Prerequisites:
      Cours Apprentissage statistique

      Les réseaux de neurones profonds sont aujourd'hui incontournables pour de nombreuses tâches d'apprentissage, notamment en vision (classification et détection d'objets, génération d'images photoréalistes) et en traitement du langage (reconnaissance de la parole, traduction automatique, génération de texte). Leur capacité remarquable à extraire l'information utile de très larges bases de données en font un outil de choix pour des applications industrielles en informatique, physique, chimie ou encore dans le secteur automobile. Ce cours propose une présentation approfondie des aspects pratiques et théoriques de l'apprentissage profond, et fournira aux étudiants une maîtrise de l’implémentation Python / Pytorch de ces modèles (implémentation, débuggage, visualisation) doublé d’une analyse théorique permettant de mieux comprendre leurs forces et faiblesses.

      Schedule…
      • Lectures:
        • Friday 2 October 2026, 09:00 – 10:30, Salle W
        • Friday 9 October 2026, 09:00 – 10:30, Salle W
        • Friday 16 October 2026, 09:00 – 10:30, Salle W
        • Friday 23 October 2026, 09:00 – 10:30, Salle W
        • Friday 6 November 2026, 09:00 – 10:30, Salle W
        • Friday 13 November 2026, 09:00 – 10:30, Salle W
        • Friday 20 November 2026, 09:00 – 10:30, Salle W
        • Friday 27 November 2026, 09:00 – 10:30, Salle W
        • Friday 4 December 2026, 09:00 – 10:30, Salle W
        • Friday 11 December 2026, 09:00 – 10:30, Salle W
        • Friday 18 December 2026, 09:00 – 10:30, Salle W
        • Friday 8 January 2027, 09:00 – 10:30, Salle W
        • Friday 15 January 2027, 09:00 – 10:30, Salle W
        • Friday 22 January 2027, 09:00 – 10:30, Salle W
        • Friday 29 January 2027, 09:00 – 10:30, Salle W
      • Tutorials:
        • Friday 2 October 2026, 10:30 – 12:00, Salle W
        • Friday 9 October 2026, 10:30 – 12:00, Salle W
        • Friday 16 October 2026, 10:30 – 12:00, Salle W
        • Friday 23 October 2026, 10:30 – 12:00, Salle W
        • Friday 6 November 2026, 10:30 – 12:00, Salle W
        • Friday 13 November 2026, 10:30 – 12:00, Salle W
        • Friday 20 November 2026, 10:30 – 12:00, Salle W
        • Friday 27 November 2026, 10:30 – 12:00, Salle W
        • Friday 4 December 2026, 10:30 – 12:00, Salle W
        • Friday 11 December 2026, 10:30 – 12:00, Salle W
        • Friday 18 December 2026, 10:30 – 12:00, Salle W
        • Friday 8 January 2027, 10:30 – 12:00, Salle W
        • Friday 15 January 2027, 10:30 – 12:00, Salle W
        • Friday 22 January 2027, 10:30 – 12:00, Salle W
        • Friday 29 January 2027, 10:30 – 12:00, Salle W

      Advanced complexity (iCal, Site)

      Term:
      S1
      ECTS:
      7
      Number of hours:
      48
      Teachers:
      Jean GOUBAULT-LARRECQ, Philippe SCHNOEBELEN, Guillaume SCERRI
      Course type:
      Lectures, Tutorials
      Evaluation:
      Exam

      La théorie de la complexité va bien au-delà de celle de la NP-complétude. Le but de ce cours est d’aller regarder un certain nombre d’autres constructions fondamentales de la théorie de la complexité : complexité en espace, notions de machines alternantes, ou randomisées. On y verra quelques théorèmes fascinants : l’équivalence du temps alternant et de l’espace déterministe par exemple, ou le théorème IP=PSPACE de Shamir. NB. Ce cours a lieu à ENS Paris-Saclay.

      Schedule…
      • Lectures:
        • Thursday 10 September 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 17 September 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 24 September 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 1 October 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 8 October 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 15 October 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 22 October 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 5 November 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 12 November 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 19 November 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 26 November 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 3 December 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 10 December 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 17 December 2026, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 7 January 2027, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 14 January 2027, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 21 January 2027, 08:30 – 10:30, ENS Paris-Saclay, 1B10
        • Thursday 28 January 2027, 08:30 – 10:30, ENS Paris-Saclay, 1B10
      • Tutorials:
        • Thursday 24 September 2026, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 1 October 2026, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 8 October 2026, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 15 October 2026, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 22 October 2026, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 5 November 2026, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 12 November 2026, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 19 November 2026, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 26 November 2026, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 3 December 2026, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 10 December 2026, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 17 December 2026, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 7 January 2027, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 14 January 2027, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 21 January 2027, 10:45 – 12:45, ENS Paris-Saclay, 1B10
        • Thursday 28 January 2027, 10:45 – 12:45, ENS Paris-Saclay, 1B10

      Introduction to computer vision (Moodle, iCal)

      Term:
      S1
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Jean PONCE, Gabriel FIASTRE
      Course type:
      Lectures, Tutorials
      Evaluation:
      Exam

      Ce cours présente les principes et les fondations techniques de la vision artificielle, un domaine scientifique dont le but est de doter les ordinateurs de la capacité d’interpréter le contenu des images numériques (photographies et vidéos). Le cours comprend des exercices de programmation. 1. Formation des images : Modèles des appareils de prise de vue, de la lumière et de la couleur. 2. Traitement d’image local : Filtres, détection de contours, caractéristiques visuelles, texture. 3. Groupes de pixels : Méthodes de "clustering", régression, et segmentation. 4. Plusieurs images : Géométrie multi images, stéréo, analyse du mouvement. 5. Analyse de scène : Détection et reconnaissance de visages, sacs de caractéristiques visuelles pour la reconnaissance de catégories d’objets.

      Schedule…
      • Lectures:
        • Tuesday 22 September 2026, 09:00 – 10:30, Salle W
      • Lectures:
        • Tuesday 29 September 2026, 09:00 – 10:30, E. Noether
        • Tuesday 6 October 2026, 09:00 – 10:30, E. Noether
        • Tuesday 13 October 2026, 09:00 – 10:30, E. Noether
        • Tuesday 20 October 2026, 09:00 – 10:30, E. Noether
        • Tuesday 3 November 2026, 09:00 – 10:30, E. Noether
        • Tuesday 10 November 2026, 09:00 – 10:30, E. Noether
        • Tuesday 17 November 2026, 09:00 – 10:30, E. Noether
        • Tuesday 24 November 2026, 09:00 – 10:30, E. Noether
        • Tuesday 1 December 2026, 09:00 – 10:30, E. Noether
        • Tuesday 8 December 2026, 09:00 – 10:30, E. Noether
        • Tuesday 15 December 2026, 09:00 – 10:30, E. Noether
        • Tuesday 5 January 2027, 09:00 – 10:30, E. Noether
        • Tuesday 12 January 2027, 09:00 – 10:30, E. Noether
        • Tuesday 19 January 2027, 09:00 – 10:30, E. Noether
        • Tuesday 26 January 2027, 09:00 – 10:30, E. Noether
      • Tutorials:
        • Tuesday 22 September 2026, 10:30 – 12:00, Salle W
      • Tutorials:
        • Tuesday 29 September 2026, 10:30 – 12:00, E. Noether
        • Tuesday 6 October 2026, 10:30 – 12:00, E. Noether
        • Tuesday 13 October 2026, 10:30 – 12:00, E. Noether
        • Tuesday 20 October 2026, 10:30 – 12:00, E. Noether
        • Tuesday 3 November 2026, 10:30 – 12:00, E. Noether
        • Tuesday 10 November 2026, 10:30 – 12:00, E. Noether
        • Tuesday 17 November 2026, 10:30 – 12:00, E. Noether
        • Tuesday 24 November 2026, 10:30 – 12:00, E. Noether
        • Tuesday 1 December 2026, 10:30 – 12:00, E. Noether
        • Tuesday 8 December 2026, 10:30 – 12:00, E. Noether
        • Tuesday 15 December 2026, 10:30 – 12:00, E. Noether
        • Tuesday 5 January 2027, 10:30 – 12:00, E. Noether
        • Tuesday 12 January 2027, 10:30 – 12:00, E. Noether
        • Tuesday 19 January 2027, 10:30 – 12:00, E. Noether
        • Tuesday 26 January 2027, 10:30 – 12:00, E. Noether

      Lambda calculus and categories (Moodle, iCal)

      Term:
      S1
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Paul-André MELLIES, Hugo PAQUET
      Course type:
      Lectures, Tutorials
      Evaluation:
      Exam

      Ce cours s’intéresse à la syntaxe et à la sémantique des langages de programmation, à partir du lambda-calcul. On rappellera les principaux théorèmes syntaxiques du lambda-calcul : confluence, standardisation, résultats de terminaison. Puis on étudiera les modèles du lambdacalcul : pour ce faire, le langage de la théorie des catégories sera utilisé. Plus généralement, les catégories servent à interpréter bien des extensions du lambda-calcul (avec références, exceptions, etc.), ainsi qu’à comprendre et structurer des notions de concurrence (notamment la notion de bisimulation). Le cours fournit une introduction assez générale et complète au formalisme catégorique, et l’applique à la sémantique des langages de programmation. Interpréter un langage dans un modèle s’apparente à une compilation, et les modèles offrent ainsi des occasions de retour sur la syntaxe : machines abstraites pour l’exécution des programmes, preuves de propriétés de programmes. Dans le même ordre d’idées, ce sont des observations sur un modèle du lambda-calcul qui ont conduit Girard à la logique linéaire, munie de connecteurs exprimant un contrôle sur l’usage des hypothèses vues comme ressources, ou bien plus récemment Thomas Ehrhard au lambda-calcul différentiel, qui relie de manière originale substitution et... formule de Taylor.

      Schedule…
      • Lectures:
        • Monday 21 September 2026, 08:30 – 10:30, Salle W
      • Lectures:
        • Monday 5 October 2026, 08:30 – 10:30, E. Noether
        • Monday 12 October 2026, 08:30 – 10:30, E. Noether
        • Monday 19 October 2026, 08:30 – 10:30, E. Noether
        • Monday 2 November 2026, 08:30 – 10:30, E. Noether
        • Monday 9 November 2026, 08:30 – 10:30, E. Noether
        • Monday 16 November 2026, 08:30 – 10:30, E. Noether
        • Monday 23 November 2026, 08:30 – 10:30, E. Noether
        • Monday 30 November 2026, 08:30 – 10:30, E. Noether
        • Monday 7 December 2026, 08:30 – 10:30, E. Noether
        • Monday 14 December 2026, 08:30 – 10:30, E. Noether
        • Monday 4 January 2027, 08:30 – 10:30, E. Noether
        • Monday 11 January 2027, 08:30 – 10:30, E. Noether
        • Monday 18 January 2027, 08:30 – 10:30, E. Noether
        • Monday 25 January 2027, 08:30 – 10:30, E. Noether
      • Tutorials:
        • Monday 21 September 2026, 10:30 – 12:15, Salle W
      • Tutorials:
        • Monday 5 October 2026, 10:30 – 12:15, E. Noether
        • Monday 12 October 2026, 10:30 – 12:15, E. Noether
        • Monday 19 October 2026, 10:30 – 12:15, E. Noether
        • Monday 2 November 2026, 10:30 – 12:15, E. Noether
        • Monday 9 November 2026, 10:30 – 12:15, E. Noether
        • Monday 16 November 2026, 10:30 – 12:15, E. Noether
        • Monday 23 November 2026, 10:30 – 12:15, E. Noether
        • Monday 30 November 2026, 10:30 – 12:15, E. Noether
        • Monday 7 December 2026, 10:30 – 12:15, E. Noether
        • Monday 14 December 2026, 10:30 – 12:15, E. Noether
        • Monday 4 January 2027, 10:30 – 12:15, E. Noether
        • Monday 11 January 2027, 10:30 – 12:15, E. Noether
        • Monday 18 January 2027, 10:30 – 12:15, E. Noether
        • Monday 25 January 2027, 10:30 – 12:15, E. Noether

      Models and algorithms for networks (Moodle, iCal)

      Term:
      S1
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Ana BUSIC
      Course type:
      Lectures, Tutorials
      Evaluation:
      Homework, Project
      Prerequisites:
      Il est recommandé d’avoir suivi le cours Structures et Algorithmes Aléatoires

      Ce cours constitue une introduction aux techniques mathématiques et algorithmiques nécessaires à la modélisation et à l’étude des réseaux. Les problématiques étudiées seront principalement celles des réseaux de communications, des réseaux sociaux et des réseaux d’énergie. L’objectif du cours est d’étudier des problématiques spécifiques aux réseaux de grande taille. En particulier, nous allons nous intéresser à l’émergence d’une coordination globale à travers des actions locales, fondées sur une vision partielle et locale du système. Nous allons étudier des problèmes suivants : partage de ressources dans un réseau, émergence d’opinion et la coordination distribuée, propagation d’informations et d’influences, distribution de contenus. Quelques exemples des applications concrètes abordées : Pourquoi l’Internet ne s’écroule pas sous la congestion ? Est-il équitable que mon voisin a un meilleur débit que moi ? Comment marchent les moteurs de recherche ? Peut-on améliorer son influence sur les réseaux sociaux ? Peut-on avoir une énergie renouvelable et fiable ? Nous allons utiliser principalement l’optimisation convexe, l’algorithmique distribuée, les algorithmes et modèles probabilistes.

      Schedule…
      • Lectures:
        • Tuesday 22 September 2026, 13:15 – 15:15, N. Bourbaki
        • Tuesday 29 September 2026, 13:15 – 15:15, N. Bourbaki
        • Tuesday 6 October 2026, 13:15 – 15:15, N. Bourbaki
        • Tuesday 13 October 2026, 13:15 – 15:15, N. Bourbaki
        • Tuesday 20 October 2026, 13:15 – 15:15, N. Bourbaki
        • Tuesday 3 November 2026, 13:15 – 15:15, N. Bourbaki
        • Tuesday 10 November 2026, 13:15 – 15:15, N. Bourbaki
        • Tuesday 17 November 2026, 13:15 – 15:15, N. Bourbaki
        • Tuesday 24 November 2026, 13:15 – 15:15, N. Bourbaki
        • Tuesday 1 December 2026, 13:15 – 15:15, N. Bourbaki
        • Tuesday 8 December 2026, 13:15 – 15:15, N. Bourbaki
        • Tuesday 15 December 2026, 13:15 – 15:15, N. Bourbaki
        • Tuesday 5 January 2027, 13:15 – 15:15, N. Bourbaki
        • Tuesday 12 January 2027, 13:15 – 15:15, N. Bourbaki
        • Tuesday 19 January 2027, 13:15 – 15:15, N. Bourbaki
        • Tuesday 26 January 2027, 13:15 – 15:15, N. Bourbaki
      • Lab sessions:
        • Tuesday 22 September 2026, 15:15 – 17:00, N. Bourbaki
        • Tuesday 29 September 2026, 15:15 – 17:00, N. Bourbaki
        • Tuesday 6 October 2026, 15:15 – 17:00, N. Bourbaki
        • Tuesday 13 October 2026, 15:15 – 17:00, N. Bourbaki
        • Tuesday 20 October 2026, 15:15 – 17:00, N. Bourbaki
        • Tuesday 3 November 2026, 15:15 – 17:00, N. Bourbaki
        • Tuesday 10 November 2026, 15:15 – 17:00, N. Bourbaki
        • Tuesday 17 November 2026, 15:15 – 17:00, N. Bourbaki
        • Tuesday 24 November 2026, 15:15 – 17:00, N. Bourbaki
        • Tuesday 1 December 2026, 15:15 – 17:00, N. Bourbaki
        • Tuesday 8 December 2026, 15:15 – 17:00, N. Bourbaki
        • Tuesday 15 December 2026, 15:15 – 17:00, N. Bourbaki
        • Tuesday 5 January 2027, 15:15 – 17:00, N. Bourbaki
        • Tuesday 12 January 2027, 15:15 – 17:00, N. Bourbaki
        • Tuesday 19 January 2027, 15:15 – 17:00, N. Bourbaki
        • Tuesday 26 January 2027, 15:15 – 17:00, N. Bourbaki

      Models and languages for programming reactive systems (Moodle, iCal)

      Term:
      S1
      ECTS:
      9
      Number of hours:
      48
      Teachers:
      Marc POUZET, Timothy BOURKE
      Course type:
      Lectures, Tutorials
      Evaluation:
      Homework, Project

      Modèles et langages pour la programmation des systèmes réactifs. La programmation réactive touche désormais tous les domaines de l'informatique: controle en temps réel de systèmes embarqués (avions, voitures, train), interfaces graphiques, réseaux de capteurs, etc. Ce nouveau cours choisit de placer la correction et la modularité comme objectifs prioritaires. L’objectif de ce cours est l’étude et la mise en oeuvre des principes et modèles fondamentaux utilisés pour concevoir et réaliser les systèmes réactifs: les différents modèles de composition et de temps, le parallélisme déterministe, l’expression de modèles mathématiques dans des langages de haut niveau (modèle synchrone, modèle flot-de-données, modèle hybride), la spécification de propriétés temporelles (logique temporelle, observateurs), leur vérification formelle (model checking), la compilation de langages de haut niveau vers une cible séquentielle et parallèle dont on peut montrer la correction vis-à-vis du modèle. Le cours sera illustré à l'aide d'exemples écrits dans les langages ReactiveML (http://rml.lri.fr), Lustre (http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/reactive-toolbox/) et Zelus (https://zelus.di.ens.fr) et les outils de vérification formelle tels que Kind2 (https://github.com/tinelli/kind2) et Cubicle (http://cubicle.lri.fr). Le cours comporte un aspect fortement pratique dans les TD/TPs pour mettre en oeuvre des points du cours. Un projet de programmation ambitieux sera proposé (par ex., la programmation d'un drone, d'un arduino ou l'écriture d'un compilateur d'un langage dédié). Modalités de contrôle des connaissances : Projet Format du cours : cours présentiel, hybride si nécessaire.

      Schedule…
      • Lectures:
        • Monday 21 September 2026, 13:15 – 15:15, N. Bourbaki
        • Monday 28 September 2026, 13:15 – 15:15, N. Bourbaki
        • Monday 5 October 2026, 13:15 – 15:15, N. Bourbaki
        • Monday 12 October 2026, 13:15 – 15:15, N. Bourbaki
        • Monday 19 October 2026, 13:15 – 15:15, N. Bourbaki
        • Monday 2 November 2026, 13:15 – 15:15, N. Bourbaki
        • Monday 9 November 2026, 13:15 – 15:15, N. Bourbaki
        • Monday 16 November 2026, 13:15 – 15:15, N. Bourbaki
        • Monday 23 November 2026, 13:15 – 15:15, N. Bourbaki
        • Monday 30 November 2026, 13:15 – 15:15, N. Bourbaki
        • Monday 7 December 2026, 13:15 – 15:15, N. Bourbaki
        • Monday 14 December 2026, 13:15 – 15:15, N. Bourbaki
        • Monday 4 January 2027, 13:15 – 15:15, N. Bourbaki
        • Monday 11 January 2027, 13:15 – 15:15, N. Bourbaki
        • Monday 18 January 2027, 13:15 – 15:15, N. Bourbaki
        • Monday 25 January 2027, 13:15 – 15:15, N. Bourbaki
      • Tutorials:
        • Monday 21 September 2026, 15:15 – 17:00, N. Bourbaki
        • Monday 28 September 2026, 15:15 – 17:00, N. Bourbaki
        • Monday 5 October 2026, 15:15 – 17:00, N. Bourbaki
        • Monday 12 October 2026, 15:15 – 17:00, N. Bourbaki
        • Monday 19 October 2026, 15:15 – 17:00, N. Bourbaki
        • Monday 2 November 2026, 15:15 – 17:00, N. Bourbaki
        • Monday 9 November 2026, 15:15 – 17:00, N. Bourbaki
        • Monday 16 November 2026, 15:15 – 17:00, N. Bourbaki
        • Monday 23 November 2026, 15:15 – 17:00, N. Bourbaki
        • Monday 30 November 2026, 15:15 – 17:00, N. Bourbaki
        • Monday 7 December 2026, 15:15 – 17:00, N. Bourbaki
        • Monday 14 December 2026, 15:15 – 17:00, N. Bourbaki
        • Monday 4 January 2027, 15:15 – 17:00, N. Bourbaki
        • Monday 11 January 2027, 15:15 – 17:00, N. Bourbaki
        • Monday 18 January 2027, 15:15 – 17:00, N. Bourbaki
        • Monday 25 January 2027, 15:15 – 17:00, N. Bourbaki

      Combinatorial optimization (Moodle, iCal)

      Term:
      S1
      ECTS:
      4.5
      Number of hours:
      24
      Teachers:
      Anne BOUILLARD, Meike NEUWOHNER
      Course type:
      Lectures, Tutorials
      Evaluation:
      Project, Exam

      Combinatorial optimization is a field of computer science and discrete mathematics, combining combinatorics and algorithm theory, to solve optimization problems on discrete structures. In this class we will mainly be interested in graph theory and investigate matching problems and flow algorithms.

      Schedule…
      • Lectures:
        (group 1)
        • Thursday 3 December 2026, 14:30 – 16:00, Salle Bethier U 207
        • Thursday 10 December 2026, 14:30 – 16:00, Salle Bethier U 207

        (group 2)
        • Thursday 17 December 2026, 14:30 – 16:00, Salle Paul Langevin

        (group 3)
        • Thursday 7 January 2027, 14:30 – 16:00, Salle Bethier U 207
        • Thursday 14 January 2027, 14:30 – 16:00, Salle Bethier U 207
        • Thursday 21 January 2027, 14:30 – 16:00, Salle Bethier U 207

        (group 4)
        • Thursday 28 January 2027, 14:30 – 16:00, Salle Paul Langevin
      • Tutorials:
        (group 1)
        • Thursday 3 December 2026, 16:00 – 17:30, Salle Berthie U 207
        • Thursday 10 December 2026, 16:00 – 17:30, Salle Berthie U 207

        (group 2)
        • Thursday 17 December 2026, 16:00 – 17:30, Salle Paul Langevin

        (group 3)
        • Thursday 7 January 2027, 16:00 – 17:30, Salle Berthie U 207
        • Thursday 14 January 2027, 16:00 – 17:30, Salle Berthie U 207
        • Thursday 21 January 2027, 16:00 – 17:30, Salle Berthie U 207

        (group 4)
        • Thursday 28 January 2027, 16:00 – 17:30, Salle Paul Langevin

      Convex optimization (Moodle, iCal)

      Term:
      S1
      ECTS:
      4.5
      Number of hours:
      24
      Teachers:
      TBA
      Course type:
      Lectures, Tutorials
      Evaluation:
      Project, Exam

      L'optimisation convexe est une branche relativement mature de l'optimisation continue, dans laquelle un grand nombre de problèmes peuvent être résolus de manières efficaces, avec une théorie forte. Ce cours est une introduction aux problèmes et concepts en optimisation convexe. Nous aborderons d'une part les propriétés et les familles importantes de problèmes convexes, afin de mieux les reconnaitre et de les résoudre. D'autre part, nous parcourrons les techniques algorithmiques classiques de résolution de tels problèmes, ainsi que l'étude de leurs complexités. Parmi les termes abordés: problèmes convexes, notamment linéaires, quadratiques, et semi-définis. Algorithmes du premier ordre: notamment (sous)gradients, proximaux, Frank-Wolfe, accélération, localisation, et stochasticité. Algorithmes du second ordre: Newton et points intérieurs.

      Schedule…
      • Lectures:
        (group 1)
        • Thursday 24 September 2026, 14:30 – 16:00, Salle 306 (46 rue d'Ulm)

        (group 2)
        • Thursday 1 October 2026, 14:30 – 16:00, Salle Paul Langevin

        (group 3)
        • Thursday 8 October 2026, 14:30 – 16:00, Salle Émilie Borel U 203
        • Thursday 15 October 2026, 14:30 – 16:00, Salle Émilie Borel U 203

        (group 4)
        • Thursday 22 October 2026, 14:30 – 16:00, Salle Paul Langevin

        (group 5)
        • Thursday 5 November 2026, 14:30 – 16:00, Salle Émilie Borel U 203

        (group 6)
        • Thursday 12 November 2026, 14:30 – 16:00, Salle Paul Langevin

        (group 7)
        • Thursday 26 November 2026, 14:30 – 18:30, Salle W
      • Tutorials:
        (group 1)
        • Thursday 24 September 2026, 16:00 – 17:30, Salle 306 (46 rue d'Ulm)

        (group 2)
        • Thursday 1 October 2026, 16:00 – 17:30, Salle Paul Langevin

        (group 3)
        • Thursday 8 October 2026, 16:00 – 17:30, Salle Émilie Borel
        • Thursday 15 October 2026, 16:00 – 17:30, Salle Émilie Borel

        (group 4)
        • Thursday 22 October 2026, 16:00 – 17:30, Salle Paul Langevin

        (group 5)
        • Thursday 5 November 2026, 16:00 – 17:30, Salle Émilie Borel

        (group 6)
        • Thursday 12 November 2026, 16:00 – 17:30, Salle Paul Langevin

      Supervised research project (Moodle)

      Term:
      S1
      ECTS:
      6
      Number of hours:
      72
      Teachers:
      Tatiana STARIKOVSKAYA
      Course type:
      Project
      Evaluation:
      Project
      Prerequisites:
      5 cours obligatoires de L3 d’informatique

      Les équipes de recherches du DI ENS proposent aux normaliens de réaliser un projet de recherche encadré en leur sein, sur une de leurs thématiques de recherche. Les sujets sont proposés par les équipes ou sollicités par les étudiants et sont réalisés sous la responsabilité de l’un des chercheurs de l’équipe, permanent ou non permanent. Les étudiants travaillent pendant l’ensemble du premier semestre de M1 sur le sujet, en parallèle des autres enseignements suivis. Les étudiants sont invités à participer à la vie de l’équipe (en particulier séminaires) pendant cette période, dans la limite de ce qui est compatible avec leur emploi du temps. Des réunions régulières (au minimum toutes les 2 semaines) de suivi de l’avancement sont mises en place. Le projet de recherche est évalué sur la base d’une soutenance, réalisée en présence de l’encadrant et d’un autre membre du département informatique, extérieur à l’équipe.

      M2-level courses

      Random geometric models (iCal)

      Term:
      S2
      ECTS:
      6
      Number of hours:
      30
      Teachers:
      Bartek BLASZCZYSZYN
      Course type:
      Lectures
      Evaluation:
      Exam

      Cours attaché au M2 « Probabilité et Modèles Aléatoires » de Sorbonne Université. Le cours fournit un accès rapide à certains modèles populaires dans la théorie de graphes aléatoires, processus ponctuels et ensembles aléatoires. On rencontre ces modèles dans l’analyse mathématique de réseaux (sociaux, de communication, biologique, etc). Le cours est composé des quinze leçons suivantes: - Percolation sur la grille carrée, - Arbre de Galton-Watson, - Graphe d’Erdős–Rényi --- l’émergence de la composante géante, - Modèle de configuration --- graphe avec la distribution des dégrées donnée, - Graphes aléatoires unimodulaires --- noeud typique du graphe, - Graphe d’Erdős–Rényi --- l’émergence de la connectivité, - Processus ponctuel de Poisson, - Probabilités de Palm --- conditionnement par un point, - Processus à noyau dur (hard core), - Processus ponctuels stationnaires --- principe de transport de masse, - Mosaïque stationnaire de Voronoi --- formules inverse et d’échange de Neveu, - Ergodicité et les point-shifts invariants, - Ensembles fermés aléatoires, - Modèle Booléen et les processus de couverture, - Connexité des ensembles aléatoires et la percolation continue.

      Schedule…
      • Lectures:
        • Friday 19 February 2027, 14:00 – 16:00, E. Noether
        • Friday 26 February 2027, 14:00 – 16:00, E. Noether
        • Friday 5 March 2027, 14:00 – 16:00, E. Noether
        • Friday 12 March 2027, 14:00 – 16:00, E. Noether
        • Friday 19 March 2027, 14:00 – 16:00, E. Noether
        • Friday 26 March 2027, 14:00 – 16:00, E. Noether
        • Friday 2 April 2027, 14:00 – 16:00, E. Noether
        • Friday 9 April 2027, 14:00 – 16:00, E. Noether
        • Friday 23 April 2027, 14:00 – 16:00, E. Noether
        • Friday 30 April 2027, 14:00 – 16:00, E. Noether
        • Friday 14 May 2027, 14:00 – 16:00, E. Noether
        • Friday 21 May 2027, 14:00 – 16:00, E. Noether
        • Friday 28 May 2027, 14:00 – 16:00, E. Noether
      • Lectures:
        • Friday 4 June 2027, 14:00 – 18:00, E. Noether