Parsifal  

Parsifal

  • Membres de l’équipe
  • Recherche
    • Publications
    • Logiciel
  • Offres d’emploi
  • Séminaire
  • Calendrier
  • Actualités Here you can see what is happening in our EPIIci vous pouvez voir ce qui se passe dans notre EPI

(English) New paper on Combining Intuitionistic and Classical Logics

(English) RAPT/Promis Workshop in McGill University, Canada

Oct 09

(English) David Baelde visits and speaks

  • De Dale MILLER dans la catégorie Talks, Visitors

Dale MILLER

Recent News

  • (English) Three visitors during Fall 2018
  • (English) Map of rooms in the Alan Turing Building
  • (English) Gabriel Scherer joins team
  • (English) New offices
  • (English) Zak Chihani defends his PhD today

Voir aussi

  • How to reach LIX and INRIA Saclay (Alan Turing Building)
  • Information about bus service between X and Massy-Palaiseau
  • Meta (login, etc.)
  • Reimbursements from INRIA for travel

© 2012 INRIA

Construit avec par Thèmes Graphene.
Mentions légales & CGU & Politique de confidentialité & Cookies

Nous utilisons des cookies pour vous offrir la meilleure expérience sur notre site.

You can find out more about which cookies we are using or switch them off in .

Parsifal
Powered by  GDPR Cookie Compliance
Résumé de la politique de confidentialité

Ce site utilise des cookies afin que nous puissions vous fournir la meilleure expérience utilisateur possible. Les informations sur les cookies sont stockées dans votre navigateur et remplissent des fonctions telles que vous reconnaître lorsque vous revenez sur notre site Web et aider notre équipe à comprendre les sections du site que vous trouvez les plus intéressantes et utiles.

Cookies strictement nécessaires

Cette option doit être activée à tout moment afin que nous puissions enregistrer vos préférences pour les réglages de cookie.

Si vous désactivez ce cookie, nous ne pourrons pas enregistrer vos préférences. Cela signifie que chaque fois que vous visitez ce site, vous devrez activer ou désactiver à nouveau les cookies.