Présentation du LSV pour la rentrée du département info

Posté le 12-09-2019 par Aliaume Lopez – lecture en 1 minutes (≈ 214 mots)

Contexte

Tous les ans, le Laboratoire de Spécification et Vérification organise une journée “portes ouvertes” pour les étudiants de L3 de l’École Normale Supérieure Paris-Saclay. Étant doctorant dans cet établissement depuis peu, j’ai été chargé de produire une petite présentation de 15 à 20 minutes. Cette présentation a pour but de présenter le laboratoire, mais aussi l’informatique théorique en général, car c’est un sujet peu ou pas abordé en CPGE.

La présentation

Une première question est : quel sujet choisir ? Bien entendu, il faut quelque chose d’abordable pour des non-informaticiens, mais aussi un domaine qui possède assez de contenu pour présenter des parties très différentes de l’informatique et du laboratoire.

Le choix d’une de mes collègues a été le λ-calcul, ce qui est très judicieux car il est à la fois très simple à définir, mais donne lieu à d’innombrables questions dont certaines sont des sujets actuels de recherche.

Pour ma part, j’ai décidé de prendre un problème très simple, SAT. En effet, la logique est quelque chose d’omniprésent en informatique, et le problème SAT joue le rôle du λ-calcul : assez facile à décrire, mais se trouve être compliqué à étudier.

Le lien

Sans l’orateur, une présentation est beaucoup moins pertinente, mais vous pouvez tout de même trouver les diapositives par ici.