ENS de Cachan
Département
Informatique
Le département Informatique









Description de l'option informatique de l'agrégation de mathématiques

A partir de la session 2006, l'agrégation de mathématiques propose une option informatique (voir les indications pour la session 2006 ). En bref, les élèves qui choisissent cette option passent, au lieu des épreuves habituelles d'oral, trois épreuves spécifiques:
  • Une leçon de mathématiques. Les sujets constituent un sous-ensemble des leçons proposées dans les épreuves d'analyse et d'algèbre des autres options. 25 sujets d'analyse et 25 sujets d'algèbre sont prévus pour cette leçon de mathématiques.
  • Une leçon d'informatique théorique. 25 sujets sont prévus pour cette leçon d'informatique fondamentale.
  • Une épreuve appelée "analyse de systèmes informatiques"
On pourra consulter un extrait des textes légaux ainsi que le numéro spécial du BO qui définit les programmes des concours pour l'année prochaine.

La préparation à l'ENS de Cachan

Pour assurer la préparation des deux épreuves nouvelles d'informatique l'ENS Cachan propose la maquette suivante (Volume= 9h hebdomadaire) :
  • Des séances de révisions/approfondissement du programme, proposées sous forme de séances d'exercices et de suggestions de lectures, le cas échéant completées par des cours de mise a niveau.
  • Des séances de préparation spécifique des leçons d'informatique. Dans la mesure du possible (selon les effectifs de la préparation) chaque leçon devra être présentée par un élève, après avoir pris connaissance des références bibliographiques pertinentes.
  • Des conférences d'intérêt général ayant pour but d'aider à la préparation de l'épreuve d'analyse de systèmes informatiques ainsi que des séances de préparation spécifiques à cette épreuve.
  • Des oraux blancs pour les deux épreuves spécifiques de l'option informatique.

Les élèves interessés par cette préparation sont invités a prendre contact avec Paul[point]Gastin[arobase]lsv[point]ens-cachan[point]fr

Les élèves souhaitant intégrer cette préparation doivent envoyer leur candidature format doc ou pdf au secrétariat du département d'informatique.

Informations pratiques

La réunion de rentrée pour la partie math est le vendredi 2 septembre 2005 à 15h30.
La réunion de rentrée pour la partie info est le lundi 5 septembre 2005 à 10h. Elle se déroulera dans la bibliothèque du LSV. Voir ici pour un plan d'accès.

Les cours commencent dès le 5 septembre 2005.

Toutes les informations sur la préparation à l'option info de l'agrégation de mathématiques seront diffusées sur la mailing liste agreg-info-05-06@dptinfo.ens-cachan.fr
Les étudiants qui suivent la préparation doivent donc s'inscrire sur cette liste.

Les supports de cours/TD

  1. Algorithmique fondamentale
  2. Automates et langages
  3. Calculabilité, décidabilité et complexité
  4. Logique et démonstration
  5. Programmation, langages, compilation

L'emploi du temps

L'emploi du temps (math + info) de la préparation à l'agrégation de l'ENS Cachan peut être consulté ici.
Pour ceux qui ne suivent pas toute la préparation à Cachan, le planning de la préparation à l'option informatique est donné ci-dessous.

  • Les séances de TD visent à fournir des exemples, exercices, développements, ... qui pourront être utilisés pour la préparation des leçons. Elles sont aussi conçues comme des compléments sur les parties du programmes qui ne seraient pas acquises.
  • Les conférences du mois de septembre contribueront à la culture nécessaire à la préparation de l'épreuve d'analyse de systèmes informatiques.

DateSalleObjet
lundi 5/09
10h-12h
bibliothèque du LSV Réunion de rentrée
mardi 6/09
13h30-16h30
Cournot 320 TD algorithmique, Laroussinie
vendredi 9/09
9h30-12h30
Cournot 320 TD langages, Chevalier
lundi 12/09
13h30-16h30
Cournot 320 TD langages, Chevalier
Mardi 13/09
9h -- 10h30
11h -- 12h30
Salle Condorcet 2 conférences:
mardi 13/09
13h30-16h30
Cournot 320 TD algorithmique, Laroussinie
Mercredi 14/09
9h30 - 12h30
Salle Condorcet Conférence d'informatique Jean-Bernard Stefani
The kell calculus: an operational basis for distributed component-based programming
Jeudi 15/09
9h30 - 12h30
Amphi Tocqueville Conférence d'informatique Véronique Cortier
Les protocoles cryptographiques : comment sécuriser les communications ?
Jeudi 15/09
13h30-16h30
Cournot 320 TD langages, Chevalier
Lundi 19/09
matin
Pavillon des Jardins Conférence d'informatique Johan Montagnat
Traitement d'images médicales et grilles de calcul
lundi 19/09
13h30-16h30
Cournot 320 TD langages, Chevalier
Mardi 20/09
9h30 - 12h30
Pavillon des jardins Conférence d'informatique Paul Gastin
Synthèse de contrôleurs pour les systèmes ouverts
mardi 20/09
13h30-16h30
Cournot 320 TD algorithmique, Laroussinie
Mercredi 21/09
9h30--12h30
Pavillon des jardins Conférence d'informatique Michele Sebag
Apprentissage et Fouille de Données
jeudi 22/09
9h30-12h30
Cournot 320 TD langages, Chevalier
Jeudi 22/09 après-midi Pavillon des jardins Conférence d'informatique Alain Darte
Optimisations polyhedrales et transformations de programme multi-dimensionnelles
lundi 26/09
13h30-16h30
Cournot 320 TD Logique, Messika
jeudi 29/09
9h30-12h30
Cournot 320 TD langages, Chevalier
lundi 3/10
9h30-12h30
Cournot 320 TD langages, Chevalier
lundi 3/10
13h30-16h30
Cournot 320 TD Logique, Messika
lundi 10/10
9h30-12h30
Cournot 320 TD langages, Chevalier
lundi 10/10
13h30-16h30
Cournot 320 TD Logique, Messika
mardi 11/10
13h30-16h30
Cournot 320 TD algorithmique, Laroussinie
lundi 17/10
9h30-12h30
Cournot 320 TD algorithmique, Laroussinie
lundi 17/10
13h30-16h30
Cournot 320 TD Logique, Messika
mardi 18/10
13h30-16h30
Cournot 320 TD algorithmique, Laroussinie
lundi 31/10
9h30-12h30
Cournot 320 TD algorithmique, Laroussinie
lundi 31/10
13h30-16h30
Cournot 320 TD Logique, Messika
lundi 7/11
9h00-12h00
Cournot 320 TD Programmation, Lozes
lundi 7/11
13h00-15h30
Cournot 320 TD Calculabilité, Rosaz
mardi 8/11
13h30-16h30
Cournot 320 Jacques Sakarovitch, Paul Gastin et Claudine Picaronny
Leçon 908 Automates finis. Exemples et applications. Labruyère Julien
Leçon 909 Langages rationnels. Exemples et applications. Carrière François
lundi 14/11
9h00-12h00
Cournot 411 TP Programmation, Lozes
lundi 14/11
13h00-15h30
Cournot 320 TD Calculabilité, Rosaz
mardi 15/11
13h30-16h30
Cournot 320 TD Programmation, Lozes
lundi 21/11
9h00-12h00
Cournot 411 TP Programmation, Lozes
lundi 21/11
14h00-17h00
Cournot 320 Géraud Sénizergues, Paul Gastin et Claudine Picaronny
Leçon 910 Langages algébriques. Exemples et applications. Dehornoy Pierre
Leçon 911 Automates à pile ; puissance et limites. Carré Jean-Loup
mardi 22/11
13h30-16h30
Cournot 320 TD Programmation, Lozes
lundi 28/11
9h00-12h00
Cournot 320 Démonstration automatique, Comon
lundi 28/11
13h00-15h30
Cournot 320 TD Calculabilité, Rosaz
mardi 29/11
13h30-16h30
Cournot 320 TD Programmation, Lozes
lundi 5/12
9h00-12h00
Cournot 320 TD Logique, Messika
lundi 5/12
13h00-15h30
Cournot 320 TD Calculabilité, Rosaz
mardi 6/12
13h30-16h30
Cournot 320 Démonstration automatique, Comon
lundi 12/12
9h00-12h00
Cournot 411 TD Programmation, Lozes
lundi 12/12
13h00-15h30
Cournot 320 TD Calculabilité, Rosaz
mardi 13/12
14h00-17h00
Cournot 320 Philippe Chrétienne, Paul Gastin et Claudine Picaronny
Leçon 901 Exemples de structures de données et de leurs applications. Carrière François
Leçon 904 Arbres binaires de recherche. Applications. Dehornoy Pierre
mardi 03/01
14h00-17h00
Cournot 518 Démonstration automatique, Comon
lundi 9/01
9h30-12h30
Cournot 518 TD Calculabilité, Rosaz
lundi 9/01
14h00-17h00
Cournot 411 TP Programmation, Lozes
mardi 10/01
14h00-17h00
Cournot 518 Philippe Chrétienne et François Laroussinie
Leçon 903 Exemples d'algorithmes de tri : complexité. Carré Jean-Loup
Leçon 905 Parcours de graphes : exemples et applications. Labruyère Julien
lundi 16/01
9h30-12h30
Cournot 518 TD Calculabilité, Rosaz
lundi 16/01
14h00-17h00
Cournot 518 Démonstration automatique, Comon
mardi 17/01
14h00-17h00
Cournot 518 Philippe Chrétienne et François Laroussinie
Leçon 902 Diviser pour régner : exemples et applications. Dehornoy Pierre
Leçon 906 Programmation dynamique : exemples et applications. Carrière François
lundi 23/01
9h30-12h30
Cournot 518 TD Calculabilité, Rosaz
lundi 23/01
14h00-17h00
Cournot 518 Démonstration automatique, Comon
mardi 24/01
14h00-17h00
Cournot 518 TD Programmation, Lozes
lundi 30/01
9h30-12h30
Cournot 518 TD Modélisation, Lozes et Messika
lundi 30/01
14h00-17h00
Cournot 518 TD algorithmique, Laroussinie
mardi 31/01
14h00-17h00
Cournot 518 Hubert Comon et Paul Gastin
Leçon 912 Fonctions récursives primitives et non primitives. Carré Jean-Loup
Leçon 915 Classes P et NP, NP-complétude. Exemples. Carrière François
lundi 6/02
9h30-12h30
Cournot 518 TD Modélisation, Lozes et Messika
lundi 6/02
14h00-17h00
Cournot 518 TD algorithmique, Laroussinie
mardi 7/02
14h00-17h00
Cournot 518 Hubert Comon et Paul Gastin
Leçon 913 Machines de Turing. Dehornoy Pierre
Leçon 914 Décidabilité et indécidabilité. Labruyère Julien
lundi 20/02
9h30-12h30
Cournot 518 TP Programmation, Lozes
lundi 20/02
14h00-17h00
Cournot 518 TD Programmation logique, Messika
lundi 27/02
9h30-12h30
Cournot 518 TD Modélisation, Lozes et Messika
mardi 28/02
14h00-17h00
Cournot 518 Jean-Pierre Jouannaud et Hubert Comon
Leçon 916 Formules booléennes. Représentation et satisfiabilité. Labruyère Julien
Leçon 917 Logique du premier ordre : syntaxe et sémantique. Carré Jean-Loup
lundi 06/03
9h30-12h30
Cournot 518 TD Modélisation, Lozes et Messika
mardi 14/03
14h00-17h00
Cournot 518 Jean-Pierre Jouannaud et Hubert Comon
Leçon 919 Unification : algorithmes et applications. Dehornoy Pierre
Leçon 920 Réécriture et formes normales. Carrière François
lundi 20/03
9h30-12h30
Cournot 518 TD Modélisation, Lozes et Messika
lundi 24/04
14h00-17h00
Cournot 518 Jean Goubault et Etienne Lozes
Leçon 921 Langages typés : objectifs, mise en oeuvre, application. Carré Jean-Loup
Leçon 922 Description sémantique des langages de programmation. Carrière François
Mercredi 3/05
14h00-17h00
Cournot 518 Jean Goubault et Etienne Lozes
Leçon 923 Analyses lexicale et syntaxique : principes, mise en oeuvre, applications. Labruyère Julien
Leçon 924 Typage statique : objectifs, mise en oeuvre, applications. Dehornoy Pierre
Lundi 15/05
14h00-17h00
Cournot 518 Jean Goubault et Etienne Lozes
Leçon 918 Méthode de résolution, programmation logique. Carré Jean-Loup
Leçon 925 Génération de code pour une machine à pile : principes, mise en oeuvre, applications. ???
Jeudi 18/05
14h00-17h00
Cournot 518 Paul Gastin et François Laroussinie
Leçon 905 Parcours de graphes : exemples et applications. Labruyère Julien
Leçon 907 Algorithmique du texte : exemples et applications. Dehornoy Pierre
Mardi 6/06
14h00-17h00
Cournot 509 Oraux blancs - Leçons
14h00 : Carré Jean-Loup. Convocation 10h50 à la bibliothèque de l'ENS de Cachan
15h30 : Carrière François. Convocation 12h20 à la bibliothèque de l'ENS de Cachan
Jeudi 8/06
14h00-17h00
Cournot 509 Oraux blancs - Leçons
14h00 : Dehornoy Pierre. Convocation 10h50 à la bibliothèque de l'ENS de Cachan
15h30 : Labruyère Julien. Convocation 12h20 à la bibliothèque de l'ENS de Cachan
Vendredi 16/06
14h00-17h00
Cournot 103 Oraux blancs - Leçons
13h30 : Carré Jean-Loup. Convocation 10h20 à la bibliothèque de l'ENS de Cachan
14h45 : Dehornoy Pierre. Convocation 11h35 à la bibliothèque de l'ENS de Cachan
16h00 : Labruyère Julien. Convocation 12h50 à la bibliothèque de l'ENS de Cachan
Lundi 19/06
14h00-17h00
Cournot 102
Demander la clé à Claudine
Oraux blancs - Modélisation
13h00 : Carré Jean-Loup. Convocation 8h50 à la bibliothèque de l'ENS de Cachan ou voir Etienne Lozes
14h30 : Dehornoy Pierre. Convocation 10h20 à la bibliothèque de l'ENS de Cachan
16h00 : Carrière François. Convocation 11h50 à la bibliothèque de l'ENS de Cachan
17h30 : Labruyère Julien. Convocation 13h20 à la bibliothèque de l'ENS de Cachan


Contacter le Département Informatique
Dernières modifications : le 23/07/2007