Aller au contenu principal

Accès rapides

  • Agenda
  • Audiovisuel

Navigation principale

  • Enseignements
  • Recherche
  • Bibliothèques & archives
  • Éditions
  • Le Collège de France
    • L'institution et son histoire
    • Les chaires
    • Les prix scientifiques
    • Les grands événements
    • Initiatives spécifiques
    • Diffusion numérique des savoirs
    • La Fondation du Collège de France
    • La Fondation Hugot
    • Université PSL
    • Offres d'emploi et stages
    • Actualités

Accès rapides

  • Agenda
  • Audiovisuel
  • Facebook
  • Twitter
  • Linkedin
  • Copier le lien
Cours

Des expressions et des commandes : la sémantique d'un langage impératif

Sémantiques mécanisées : quand la machine raisonne sur ses langages
28 nov 2019
09:30 - 11:00
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles

Intervenant(s)

Xavier Leroy, Professeur du Collège de France
URL de la vidéo
Écouter l'audio

Documents et médias

  • Télécharger le support
    pdf (1008.86 Ko)

Cycle associé

Sémantiques mécanisées : quand la machine raisonne sur ses langages

Associé à

Xavier Leroy, chaire Sciences du logiciel

Événement suivant

Cours
12 déc 2019
09:30 - 11:00
Cours
Xavier Leroy

Traduttore, traditore : vérification formelle d'un compilateur

Sémantiques mécanisées : quand la machine raisonne sur ses langages

Fil d'Ariane

  1. Accueil
  2. Chaires actuelles
  3. Xavier Leroy, chaire Sciences du logiciel
  4. Cours, séminaires, colloques
  5. Sémantiques mécanisées : quand la machine raisonne sur ses langages
  6. Des expressions et des commandes : la sémantique d'un langage impératif

Accès direct

  • Actualités
  • Presse
  • Le Collège en 10 questions
  • Offres d'emploi et stages
  • Marchés publics
  • La Lettre du Collège
  • Intranet

Nos autres sites

  • Omnia
  • Salamandre
  • Fondation du Collège de France
  • Programme PAUSE
  • Avenir Commun Durable
  • La Vie des idées
  • Campus de l’innovation pour les lycées

S’inscrire à notre lettre d’information

Nous suivre

Footer menu

  • Accès et contacts
  • Mentions légales
  • Crédits
  • Accessibilité : non conforme