Sites Inria

English version

Colloquium Jacques Morgenstern

Brian Cantwell Smith – Semantics in the Time of Computing

Brian Cantwell Smith Brian Cantwell Smith

Brian Cantwell Smith, de l'Université de Toronto, viendra nous présenter ses travaux le 8 décembre 2016. L'intitulé de son exposé : "Semantics in the Time of Computing"

  • Date : 8/12/2016
  • Lieu : Amphithéâtre du Bâtiment Kahn, Inria, Sophia Antipolis
  • Intervenants : Brian Cantwell Smith (Université de Toronto)
  • Organisateurs : Comité du Colloquium

Résumé et présentation en anglais.

Much of the technical terminology of computer science betrays its logical heritage: ‘language’, ‘symbol’, ‘syntax’, ‘semantics’, ‘value’, ‘reference’, ‘identifier’, ‘data’, etc.  Classically, such terms were used to name essential phenomena underlying logic, human thought and language — phenomena, it was widely believed, that would never succumb to scientific (causal, mechanical) explanation.  Computer science, however, now uses all these terms in perfectly good scientific ways, to name respectable scientific (causally explicable, mathematically modellable) phenomena.

Lire la suite (en anglais)

Keywords: Semantics Inria - Centre de Recherche Sophia Antipolis - Méditerranée Colloquium Morgenstern Computing

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !