The first lecture offered a general introduction to the discipline of computer science and its ways of thinking. It takes the form of a series of lessons on various subjects central to the field : algorithms, circuits, programming, networks, image processing, etc. The second lecture, which was more technical, studied the mathematical and algorithmic foundations of the notion of computation, emphasizing its formalizations and the importance of programming correctly and demonstrating it. Lectures in the Algorithms, Machines and Languages chair will continue in this vein, focusing more specifically on problems relating to time and events in computer science. Although essential in modern ubiquitous computing, this topic remains surprisingly little addressed in the community: algorithmics says little about it, and classical programming languages only pay lip service to it.
The lecture introduces the subject and presents specific formalizations and results for central sub-problems. I give an in-depth presentation of the synchronous methods and languages that have occupied my work for the past 30 years.