• English
  • Français
  • L'Institut
  • Actualités
  • Recherche
  • Opportunités
  • Bibliothèque
  • M ● ⬛
  • Tout public
  • En pratique
  • Accueil
  • Trimestres thématiques
    • Calendrier
    • Trimestre en cours
    • Trimestres à venir
    • Trimestres thématiques 2010 - ...
    • Archives - Trimestres thématiques de 1994 à 2010
  • Formation doctorale
    • Cours doctoraux 2019
    • Archives - Programmes doctoraux -
  • Research in Paris
    • Research in Paris 2020
    • Archives "Research In Paris"
  • Procédures financières
  • Activités hébergées
    • Séminaires et groupes de travail
    • Séminaire d'Histoire des Mathématiques de l'IHP
    • Mathematic Park
    • "Une question, un chercheur"
  • Annales de l'IHP
    • Annales Henri Poincaré
    • Annales IHP Probab. Stat.
    • Annales IHP Anal. Non Linéaire
    • Annales IHP D
    • Prix des Annales
  • Sorbonne Universit
  • CNRS

  • Accueil
  • Recherche
  • Trimestres thématiques
  • Trimestres thématiques 2010 - ...
  • Sémantique des preuves et des programmes et formalisation des mathématiques
Version imprimable

Abstraction and verification in semantics

23 Juin 2014 - 27 Juin 2014

Inscription aux colloques

Pour vous inscrire à ce colloque, veuillez compléter ce formulaire

  • Programme
  • Liste des participants
  • Informations pratiques

Pour toute information complémentaire, merci d’envoyer un courriel a l’adresse suivante : proofs@ihp.fr

Send to a friend

© 2010 - Copyright IHP. Tous droits réservés.

  • Nous contacter
  • Plan du site
  • Accès
  • Mentions legales
  • Crédits
  • Inscription newsletter
  • Intranet