Everything Totally Explained


Ask & we'll explain, totally!
Institut national de recherche en informatique et en automatique
Totally Explained


  NEW! All the latest news in the worlds of computer gaming, entertainment, the environment,  
finance, health, politics, science, stocks & shares, technology and much, much, more.  


View this entry using RSS

Everything about Inria totally explained

The Institut national de recherche en informatique et en automatique (INRIA) (English: The French National Institute for Research in Computer Science and Control) is a French national research institution focusing on computer science, control theory and applied mathematics. Created in 1967 at Rocquencourt near Paris, on the premises abandoned by SHAPE, INRIA is a public scientific and technological establishment (EPST) under the double supervision of the French Research Ministry and the Ministry of Economy, Finance and Industry.

Research in Computer Science

INRIA does both theoretical and applied research in computer science. In the process, it has produced many widely used programs. Indeed, it has designed CaML, a language from the ML family, and developed both the Caml Light and OCaml implementations. It has also developed Bigloo, a Scheme implementation, Coq, a theorem prover, SmartEiffel, a free Eiffel compiler, Scilab, a numerical computation software package similar to MATLAB, and Esterel, a programming language for State Automata.

Administrative status

It has 8 research units:
  • INRIA Saclay (a suburb of Paris) http://www.inria.fr/saclay
  • INRIA Lille - http://www.inria.fr/lille
  • INRIA Bordeaux - http://www.inria.fr/bordeaux
  • INRIA Lorraine (LORIA - in association with CNRS and local universities) http://www.loria.fr/INRIA/
  • INRIA Rennes (IRISA - in association with CNRS and local universities) http://www.irisa.fr/
  • INRIA Rhône-Alpes (near Grenoble) http://www.inrialpes.fr/
  • INRIA Rocquencourt (a suburb of Paris) http://www-rocq.inria.fr/
  • INRIA Sophia-Antipolis (near Nice) http://www-sop.inria.fr/ and also contributes to academic research teams outside of those centres.
Further Information

Get more info on 'Inria'.


External Link Exchanges

Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:

    <a href="http://institut_national_de_recherche_en_informatique_et_en_automatique.totallyexplained.com">Institut national de recherche en informatique et en automatique Totally Explained</a>

Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
   As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned.



Copyright © 2007-8 totallyexplained.com | Licensed under the GNU Free Documentation License | Site Map
This article contains text from the Wikipedia article Institut national de recherche en informatique et en automatique (History) and is released under the GFDL | RSS Version