RENSEIGNEMENTS

P. WOLPER
Institut Montefiore, Grande Traverse 10 - Bât. B-28
4000 Liège (Sart Tilman)
Tél. : 04/ 366.20.99 - fax : 04/ 366.29.84
Courriel : pw@montefiore.ulg.ac.be

PRESENTATION

Le D.E.A. interuniversitaire en informatique est issu de la coopération entre la Faculté polytechnique de Mons, les Facultés universitaires Notre-Dame de la Paix à Namur, l'Université Catholique de Louvain, l'Université Libre de Bruxelles, l'Université de Mons-Hainaut et l'Université de Liège. Ce D.E.A. permet aux diplômés du 2e cycle en informatique de perfectionner leurs connaissances et leur capacité de recherche en informatique, en vue de poursuivre une carrière scientifique. Il peut constituer une bonne initiation à la recherche, accessible à ceux ne souhaitant pas investir le temps requis par la préparation d'un doctorat. Il peut également constituer une bonne préparation au doctorat.

CONDITIONS D'ACCES

Ont accès au D.E.A. interuniversitaire en informatique :

• les licenciés ou maîtres en informatique, les ingénieurs civils informaticiens, porteurs d'un diplôme délivré par une université belge;
  
• les porteurs d'un diplôme étranger reconnu équivalent au diplôme de licencié en informatique ou d'ingénieur civil informaticien, en vertu de l'art. 36, 3e al. du Décret relatif au régimes des études universitaires et des grades académiques de la Communauté française de Belgique;
  
• les porteurs d'un grade académique de 2e ou 3e cycle délivré par une université belge ou étrangère, d'un diplôme de 2e cycle délivré par l'Ecole Royale Militaire (E.R.M.) ou par un établissement d'enseignement supérieur de type long, en rapport avec l'informatique, moyennant l'accord du Bureau du D.E.A. interuniversitaire en informatique. Lors de leur demande d'inscription, ces étudiants transmettront un dossier complet sur leur formation antérieure.
  
  

DUREE DE LA FORMATION

Le D.E.A. fait l'objet d'une année d'études au moins. Chaque étudiant peut toutefois répartir ses études sur deux années académiques. Le programme comporte des travaux de recherche, la rédaction de rapports et d'articles concernant ces travaux, deux séminaires obligatoires totalisant 120h, et 120h de cours à option dont 90h au moins parmi des cours de 3e cycle.

CONTENU DU PROGRAMME

Formation à la recherche

La formation à la recherche et à la communication scientifiques constitue une composante majeure du D.E.A. interuniversitaire en informatique. Elle est assurée par les moyens suivants :

• des travaux de recherche sous la direction d'un membre du personnel académique ou scientifique permanent d'une des institutions partenaires. La liste des étudiants, des promoteurs et des sujets de recherche est soumise pour approbation au Bureau du D.E.A.;
  
• la rédaction de rapports et articles concernant ces travaux;
  
• la présentation de ces travaux dans le cadre de séminaires du D.E.A. cf. (ci-dessous) et si possible dans des colloques ou conférences.
  

L'ensemble des activités de formation à la recherche et à la communication scientifiques représente une part significative de la charge de travail du D.E.A.

PROGRAMME DES COURS

Séminaires obligatoires

• S1 Questions actuelles d'informatique - 30h de séminaires
  
• S2 Travaux d'informatique - 150h
  

Cours à option

Outre les deux séminaires obligatoires, le programme des cours comprend des cours à option, dont certains sont des cours de 2e cycle. Les étudiants doivent suivre un total de 120h de cours et d'exercices à option, dont au minimum 90h de cours et exercices de 3e cycle.

Si nécessaire, par exemple afin d'acquérir un pré-requis qui manquerait à sa formation, un étudiant peut suivre un autre cours de 2e cycle inscrit au programme d'une des institutions participantes. Chaque étudiant est guidé dans son choix de cours à option par un conseiller désigné par l'Université où il prend son inscription. Les propositions de choix de cours à option sont approuvées par le Bureau qui en vérifie la cohérence.

1. Intelligence artificielle

• Preuve automatique et preuves de programmes - 30h - P.Y. SCHOBBENS - FUNDP
  
• Logiques non-monotones - 30h - P.Y. SCHOBBENS - FUNDP
  
• Logiques pour l'intelligence artificielle - 30h - A. THAYSE - U.C.L.-INGI3637
  
• Réseaux de neurones artificiels A - 30h - M. VERLEYSEN - U.C.L.-INGI3190
  
• Réseaux de neurones artificiels B - 30h - Y. KAMP - U.C.L.
  
• Principes des systèmes experts - 30h - A. THAYSE - U.C.L.
  

2. Software engineering et systèmes d'information

• Ingénierie transformationnelle des données - 30h - J.L. HAINAUT - FUNDP
  
• Génie logiciel : questions spéciales - 60h - E. DUBOIS, A. VAN LAMSWEERDE - FUNDP et U.C.L.
  
• Questions actuelles à propos de l'orientation objet - 45h - A. PIROTTE, E. ZIMANYI - U.C.L. et U.L.B.
  

3. Codes, automates, complexité

• Cryptologie et sécurité des moyens multimédia - 30h - J. QUISQUATER, Y. ROGGEMAN - U.C.L. et U.L.B.
  
• Théorie des automates et algèbres de Kleene - 30h - (INFO005) - M. BOFFA - U.L.B.
  
• Compléments de théorie de la calculabilité et de la complexité - 15h - J. DRABBE - U.L.B.
  
• Codes et automates - 30h (cours de 2e cycle) - V. BRUYERE - UMH
  
• Fonctions récursives - 15h - (cours de 2e cycle) - C. MICHAUX - UMH
  

4. Programmation et langages

• Interprétation abstraite - 30h - B. LE CHARLIER - FUNDP
  
• Sémantique formelle de langages de programmation - 30h - J.M. JACQUET - FUNDP
  
• Programmation logique - 30h + 15h (cours de 2e cycle) - Y. DEVILLE - U.C.L.-INGI2531
  
• Compléments de théorie de la compilation - 30h - J.E. WAROQUIER - U.L.B.
  

5. Réseaux et systèmes répartis

• Algèbres de processus concurrents communicants - 30h - J.M. JACQUET - FUNDP
  
• Vérification de systèmes parallèles et logique temporelle - 30h + 30h - P. GRIBOMONT, P. WOLPER - ULG
  
• Structure des réseaux informatiques et multimédia - 30h + 30h - (INFO056-0) -
  G. LEDUC - ULg
  
• Modèles markoviens en télécommunication - 30h - G. LATOUCHE - U.L.B.
  

6. Algorithmique

• Analyse d'algorithmes - 30h - G. LOUCHARD - U.L.B.- INFO003
  
• Algorithmique avancée - 30h + 30h (cours de 2e cycle) - P.A. DE MARNEFFE - ULg
  
• Analyse numérique II - 30h - R. BEAUWENS - U.L.B.
  
• Méthodes de calcul numérique parallèle et vectoriel - 15h - R. BEAUWENS - U.L.B.
  
• Algorithmique parallèle et distribuée - 15h + 20h - G. LIBERT, P. MANNEBACK - FPMs-1104-07