19 décembre 2017 - réunion IMD

Jérémie Chalopin, Denis Lugiez, Pierre Guillon, Luigi Santocanale, Benjamin
Monmege, David Kohel, Laurent Regnier, Pierre-Alain Reynier, Vincent Risch,
Lionel Vaux

* Communication

Présentation de la page IMD sur le site du master MAAP (Mathématiques et
applications) : https://maths-sciences.univ-amu.fr/master-maap/M2IMD

Pb : comment synchroniser cette page avec la future page correspondant sur le
futur site du master info (à créer) ?

Demander une affiche pour le parcours IMD à Marie Gaidoukoff

* Options : on décide les options qui seront proposées à la
  rentrée 2018 :

Maths discrètes :
- Théorie de l'information
- Calcul naturel
- Topologie algébrique discrète - topologie algorithmique
- Systèmes dynamiques et théorie de Ramsey

Algorithmique et combinatoire
- Fondements de la PPC et SAT
- Algorithmique distribuée
- Ensembles ordonnés en combinatoire
- Théorie métrique des graphes

Méthodes formelles
- Modélisation et simulation à événements discrets
- Théorie des automates : extensions et applications
- Sémantique dénotationnelle
- Logique computationnelle

Reste à compléter cette liste sur la page IMD ; les contenus de ces cours sont
déjà à peu près définis mais il reste à faire ceux du TC.