Intéresse les personnes ayant déjà une certaine pratique de la programmation et qui désirent acquérir des connaissances plus approfondies, en particulier sur la preuve de la correction des programmes et sur leur évaluation.