Wiki Agenda Contact English version

Toccata

Formally Verified Programs, Certified Tools and Numerical Computations

• Accueil
• Membres
• Logiciels
  • Logiciels
  • Galerie de
    programmes vérifiés
• Projets
• Publications
• Postes

Contact

Email

Les adresses email sont sur les pages des membres de l'équipe.

Tel (team assistant, Joyce Soares Brito): +33 6 58 97 52 18

Adresse postale

Bâtiment 650
Université Paris-Saclay
91405 Orsay Cedex
France

Comment venir

Le bâtiment 650 (Pôle Commun de Recherche en Informatique « Ada Lovelace ») est situé à l'adresse suivante :

  Rue Raimond Castaing
  91190 Gif-sur-Yvette
  France

Géolocalisation: OpenStreetMap, Google maps

Pour venir en transport en commun, l'arrêt de bus est "Université Paris-Saclay", via le bus ligne 9 depuis la station RER B "Le guichet", ou via le bus 91-06 ou 91-10 depuis la station RER B "Massy-Palaiseau".

Les bureaux de l'équipe Toccata sont situés au premier et au deuxième étage, dans le bloc est.