• English
  • Français
  • L'Institut
  • Actualités
  • Recherche
  • Postuler
  • Bibliothèque
  • Tout public
  • Mdm 2020
  • En pratique
  • Accueil
  • Trimestres thématiques
    • Trimestre en cours
    • Trimestres à venir
    • Calendrier
    • Trimestres thématiques 2010 - ...
    • Archives - Trimestres thématiques de 1994 à 2010
  • Formation doctorale
    • Cours doctoraux à venir
    • Archives - Programmes doctoraux -
  • Research in Paris (R.I.P)
    • Research in Paris (R.I.P) 2017
    • Archives - Research In Paris -
  • Chaire Poincaré
  • Activités hébergées
    • Séminaires et groupes de travail
    • Mathematic Park
    • Séminaire d'Histoire des Mathématiques de l'IHP
    • "Une question, un chercheur"
  • Annales de l'IHP
  • CNRS
  • UPMC
  • 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