Plonge dans l'impact des nouvelles technologies sur les processus de recrutement et de sélection dans les entreprises, en insistant sur la nécessité de prévoir le rendement futur du travail.
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.
