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.
Introduit les fondamentaux de la programmation C, couvrant les familles de langues, les types de données, les pointeurs et les processus de compilation.