En 2008-2009, Pierre-Yves Schobbens est en sabbatique!

Les modalites en ont ete decidees par le Conseil: Les cours suivants suspendus:
  1. Verification de modeles
  2. Techniques d'intelligence artificielle, matieres approfondies
  3. Preuve automatique et preuve de programmes (Grascomp)
  4. Logiques non-monotones (Grascomp)
Les cours suivants sont repris:
  1. Méthodes de programmation (2e partie) sera assuré par Isabelle Pollet.
  2. Théorie des langages : Syntaxe et sémantique (IHDC-B332) sera assuré par Hubert Toussaint en 2009.
  3. Programmation (INFO-B233) sera assuré par le Prof. Baudouin Le Charlier de l'UCL, son ancien titulaire.
  4. Théorie des langages : syntaxe et sémantique (INFO-B314) sera assuré par Hubert Toussaint en 2009.
  5. Questions spéciales d'informatique fondamentale (INFO-M445) sera donné par le co-titulaire Jean-Paul Leclercq en 2009.
  6. Questions Actuelles d'Informatique (IDEA3120) est repris par Patrick Heymans.
  7. SINF B205: Compléments de Programmation est repris par I. Linden
  8. ECIN 1217: Programmation est supprimé
  9. SINF B102: Programmation est repris par W. Vanhoof

    Sujets de stages et de mémoires

  10. MDL ma est repris par N. Habra et al.
  11. TIA est repris par J.M. Jacquet
Approuvé par le Conseil d'Administration en date du 29 aout 2008.