Gérard Berry (Collège de France) interviendra sur le thème : "Le traitement du temps et des événements: de la physique à l'informatique".

​Résumé : Le temps qui passe reste un grand mystère, dont le langage usuel a toujours été bien incapable de parler précisément : il est souvent réduit à  de jolies métaphores agricoles comme « sur le champ » et « à tout bout de champ », ou à des expressions physiquement étranges comme « le temps passe vite » ou « de longues minutes ». De plus, la mesure du temps a été longtemps erratique, ce qui posait de grand problème aux marins. Elle n’est réellement fiable que depuis la fin du 18e siècle, et l’heure mondiale n’existe que depuis la fin du 19e. En physique, on parle  traditionnellement de la ligne réelle du temps (sa flèche). Mais, en informatique, le besoin de parler de façon plus générale et bien plus souple du temps, et plus généralement des événements temporels, est devenu essentiel : les horloges dirigent le fonctionnement des circuits, l’informatisation des objets et leur mise en réseau conduit à la généralisation des systèmes cyber-physiques (conduite par ordinateurs d’automobiles, d’avions, de robots ou d’objets plus en plus variés, synchronisation temporelle de ces objets et de l’infrastructure), tous les ordinateurs et téléphones sont finement synchronisés à l’aide d’horloges atomiques et de protocoles informatiques sophistiqués, la gestion fine du temps est indispensable pour le fonctionnement interne des réseaux d’information ou d'énergie, les bases de données intègrent non seulement l’information mais aussi le temps auquel elle a été produite, etc.  Nous montrerons que tout ceci exige une approche tout à fait nouvelle du temps et des événements, dans laquelle le temps ou plutôt des temps sont engendré aussi bien par des mètres, des foulées ou des battements de coeur que par des secondes. Le temps devient ainsi fondamentalement multiforme et irrégulier, et ses instants peuvent ou non avoir de l’épaisseur. Nous expliquerons comment on peut rendre formelle cette nouvelle vision du temps pour spécifier et programmer les applications temporelles, et pourquoi les méthodes et langages associés (historiquement développés en France) sont utilisés dans des champs aussi variés que les circuits électroniques, les logiciels de haute sécurité ou la composition musicale.

​