Le traitement du temps et des événements est au centre de beaucoup de domaines de l’informatique moderne : circuits mono ou multi-horloges, systèmes temps-réels embarqués, simulation et commande de systèmes physiques, informatique musicale, etc. Nous montrerons que les conceptions et formalisations classiques du temps doivent être considérablement étendues pour l’informatique, à travers des niveaux d’abstraction multiples : temps et communication synchrones, vibratoires, ou asynchrones, instants atomiques ou épais, temps multiformes provoqués par la répétition d’événements quelconques, etc. Nous discuterons des langages permettant de raisonner et programmer avec le temps. Nous montrerons enfin que les concepts précités peuvent être utiles dans des domaines bien différents comme les neurosciences.
Gérard BERRY, Membre de l’Académie des sciences, professeur au Collège de France