L3 Informatique - LMD5

Choix d’option au S6 – Inscription sur IPWEB

Au semestre 6, vous devez choisir une option parmi :
• HAI603I – Vérification
• HAI611I – Bioinformatique

Aucune de ces deux options n’est un prérequis pour les Masters, mais chacune peut vous aider à affiner votre orientation :
– Bioinformatique : algorithmes sur les séquences, analyse statistique, manipulation de données (utile pour Bioinfo, IA, Science des données, Algo.).
– Vérification : méthodes formelles, logique, preuve de programmes (utile pour IA, Algorithmique, Génie Logiciel, Cybersécurité).

Les groupes Math-Info ne choisissent pas : ils sont inscrits directement en Vérification.

Capacités d’accueil : 54 places en HAI603I, 65 places en HAI611I.
Les inscriptions ouvrent sur IPWEB le 8 décembre.
Une fois les capacités atteintes, il ne sera plus possible de s’inscrire.

M. Delahaye présentera brièvement l’UE Vérification vendredi 5 décembre