Copilot
Your everyday AI companion
About 87,000 results
Open links in new tab
  1. See more
    See more
    See all on Wikipedia
    See more
    Wikipedia
    https://en.wikipedia.org/wiki/French_Institute_for...

    French Institute for Research in Computer Science and Automation

    The National Institute for Research in Digital Science and Technology (Inria) (French: Institut national de recherche en sciences et technologies du numérique) is a French national research institution focusing on computer science and applied mathematics. It was created under the name French Institute for … See more

    Administrative status

    Inria has nine research centers distributed across France (in Bordeaux, Grenoble-Inovallée, Lille, Lyon, Nancy, Paris-Rocquencourt See more

    Research image
    Further reading

    • Beltran, Alain; Griset, Pascal (2007). Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria [Story of a computer pioneer: 40 … See more

    Overview image
    Research

    Inria does both theoretical and applied research in computer science. In the process, it has produced many widely used programs, such as
    • Bigloo, a Scheme implementation
    • CADP, a tool box for the verification of asynchronous See more

    History

    During the summer of 1988, the INRIA connected its Sophia-Antipolis unit to the NSFNet via Princeton using a satellite link leased to France Telecom and MCI. The link became … See more

    External links

    • Media related to INRIA at Wikimedia Commons
    • Official website (in English) See more

    From Wikipedia
    From Wikipedia
    Content
    Administrative status
    Research
    History
    Further reading
    External links
    See all sections
    Wikipedia text under CC-BY-SA license
    Feedback
  2. Wikipédia
    https://fr.wikipedia.org/wiki/Institut_national_de...

    Institut national de recherche en informatique et en automatique

  3. Inria
    https://www.inria.fr/en/our-history

    Our history - Inria

  4. Wikipedia
    https://en.wikipedia.org/wiki/Coq_(software)

    Coq (software) - Wikipedia

    Tags:
    Software
    Coq
  5. Inria
    https://www.inria.fr/en/building-digital-sovereignty

    Building digital sovereignty - Inria

  6. Wikipedia
    https://en.wikipedia.org/?title=INRIA&redirect=no

    INRIA - Wikipedia

    Tags:
    Inria
    French Institute for Research in Computer Science and Automation
  7. Feedback
  8. Inria
    https://www.inria.fr/en/inria-paris-centre

    Inria Paris Centre

    WEBThe Inria Paris centre is fully committed to the development of Paris’s three world-class research and innovation universities: Paris Sciences et Lettres (PSL), Sorbonne University (SU) and Paris Cité University.

    Missing:

    • wikipedia

    Must include:

    Tags:
    Paris
    Centre Region, France
  9. Inria
    https://www.inria.fr/en/serge-abiteboul-computer...

    Serge Abiteboul, “for the love of computer science” | Inria

    Tags:
    Paris
    Serge Abiteboul
  10. Université PSL (Paris Sciences & Lettres)
    https://psl.eu/en/university/schools/inria

    Inria - PSL

    Tags:
    PSL*
    Computer Science
  11. Thot Cursus
    https://cursus.edu/en/institutions/33339/inria...

    INRIA - National Institute for Research in Computer Science

    Tags:
    Inria
    French Institute for Research in Computer Science and Automation