Aller au contenu principal

Accès rapides

  • Agenda
  • Audiovisuel

Navigation principale

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

Accès rapides

  • Agenda
  • Audiovisuel
  • Facebook
  • Twitter
  • Linkedin
  • Copier le lien
Séminaire

Logiques de programmes : quand la machine raisonne sur ses logiciels

du
11 Mar 2021  → 
15 avr 2021

Associé à

Xavier Leroy, chaire Sciences du logiciel

Documents et médias

  • Télécharger le programme
    pdf (286 Ko)

Programme

Séminaire
11 Mar 2021
11:15 - 12:15
Séminaire
Loïc Correnson

Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP

Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire
18 Mar 2021
11:15 - 12:15
Séminaire
Yannick Moy

Preuve auto-active de programmes en SPARK

Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire
25 Mar 2021
11:15 - 12:15
Séminaire
Bart Jacobs

VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic

Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire
01 avr 2021
11:15 - 12:15
Séminaire
François Pottier

Raisonner à propos du temps en logique de séparation

Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire
08 avr 2021
11:15 - 12:15
Séminaire
Jacques-Henri Jourdan

Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris

Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire
15 avr 2021
11:15 - 12:15
Séminaire
Philippa Gardner

Gillian: a Multi-language Platform for Compositional Symbolic Analysis

Logiques de programmes : quand la machine raisonne sur ses logiciels

Fil d'Ariane

  1. Accueil
  2. Chaires actuelles
  3. Xavier Leroy, chaire Sciences du logiciel
  4. Cours, séminaires, colloques
  5. Logiques de programmes : quand la machine raisonne sur ses logiciels

Accès direct

  • Actualités
  • Presse
  • Le Collège en 10 questions
  • Formation doctorale
  • Offres d'emploi et stages
  • Marchés publics
  • La Lettre du Collège
  • Visiter le Collège de France

Nos autres sites

  • Intranet
  • 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