Le premier cours propose une présentation générale de la discipline qu’est l’informatique et de ses façons de penser. Il était en forme de leçons de choses sur différents sujets centraux dans le domaine : algorithmique, circuits, programmation, réseaux, traitement d’images, etc. Le deuxième cours, plus technique, étudie les fondements mathématiques et algorithmiques de la notion de calcul, en insistant sur ses formalisations et sur l’importance de programmer juste et le démontrer. Les cours sur la chaire Algorithmes, machines et langages continueront dans cette veine, en s’intéressant plus spécifiquement aux problèmes liés au temps et aux événements en informatique. Bien qu’essentiel dans l’informatique ubiquitaire moderne, ce sujet reste étonnamment peu traité dans la communauté : l’algorithmique en parle peu, et les langages de programmation classiques n’en font mention que du bout des lèvres.
Le cours met en place le sujet et présenté des formalisations et résultats spécifiques à des sous-problèmes centraux. Je présente en profondeur les méthodes et langages synchrones qui occupent mon travail depuis 30 ans.