next up previous contents
suivant: Contacts monter: DEA, filière méthodes formelles précédent: Présentation   Table des matières

Organisation des études dans la filière

Les étudiants doivent suivre sept modules complets : les trois modules de tronc commun et quatre autres modules au choix parmi ceux de la filière. Il est aussi possible, après accord du responsable de filière, de remplacer un des modules de la filière par un module pris parmi ceux des deux autres filières du DEA. En particulier, un des modules suivants, issus de la filière ``réseaux et systèmes'' peut être suivi dans le cadre de la filière ``génie logiciel et méthodes formelles'': FSR (Fondements des systèmes répartis) et ALPA (Algorithmique Parallèle). Le demi-module TCPR est optionnel (donne lieu à une bonification).

Les étudiants sont aussi invités à suivre les cours-conférences (d'une durée de trois heures) proposés dans le cadre du DEA ainsi que le séminaire 68NQRT annoncé dans le newsgroup irisa.seminaires.