**Langages formels** **[L3, département informatique](https://lmf.cnrs.fr/deptinfo-ens/L3/), 2ème semestre, 2025-2026** **[ENS Paris-Saclay](https://www.ens-paris-saclay.fr)** * Cours : [Sam van Gool](https://www.samvangool.net) (première partie), [Stefan Schwoon](https://lsv.ens-paris-saclay.fr/~schwoon/) (deuxième partie), les jeudis de 14h à 16h, 1Z68 * TD : [Guillaume Scerri](https://lmf.cnrs.fr/GuillaumeScerri/HomePage?from=Main.GuillaumeScerri) (première partie), [Luc Lapointe](https://home.lmf.cnrs.fr/LucLapointe/) (deuxième partie), les jeudis de 16h15 à 18h15, 1Z61 Le cours se découpe en deux parties. Ceci est la page de la première partie. Le programme de la première partie ========================== 1. 22 janvier 2. 29 janvier 3. 5 février (12 février : pas de cours) 4. 19 février 5. 26 février (5 mars : pas de cours) 6. 12 mars Partiel: 19 mars, en salle **1Z61** Conditions de validation ========================== * Première session - contrôle continu TD partie 1: 1 - partiel: 2 - contrôle continu TD partie 2: 1 - projet: 1 - examen: 2 * Deuxième session - contrôle continu TD partie 1: 1 - contrôle continu TD partie 2: 1 - projet: 1 - examen: 4 Les notes pour le projet, CC 1 et CC 2 de la première session seront maintenues en deuxième session.