Inria — Вікіпедія
Inria (фр. Institut national de recherche en informatique et en automatique; національний науково-дослідний інститут з вивчання інформатики та автоматичного керування) – французький національний науково-дослідний інститут заснований 1967 року в Роканкурі, спочатку як IRIA (фр. Institut de Recherche en Informatique et en Automatique), потім (в 1979 році) був перейменований в INRIA. З 2011 року офіційна назва Inria пишеться без капіталізації.
Наукові дослідження Inria зосереджені як на фундаментальних напрямах теорії інформатики, таких як семантика мов програмування, теорія складності обчислень, паралелізм, формальна верифікація, так і на більш прикладних дисциплінах (прикладна математика, теорія автоматичного керування, комп'ютерні мережі, тощо).[12]
Як установа, Inria діє під двійним керівництвом національного міністерства освіти[en] та міністерства економіки та фінансів Франції.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/85/Montbonnot-Saint-Martin_abc5_INRIA.jpg/220px-Montbonnot-Saint-Martin_abc5_INRIA.jpg)
- Caml та OCaml - діалекти мови програмування ML.
- Eigen - бібліотека C++ для вирішення задач лінійної алгебри.
- Scilab - пакет наукових програм для чисельних обчислень.
- Pharo - повнофункціональна реалізація середовища мовою Smalltalk з відкритим вихідним кодом.
- Coq – інтерактивний асистент формального доведення теорем.
- Esterel[en] – мова програмування
- ChorusOS[en] – операційна система реального часу на мікроядрі.
- ↑ https://web.archive.org/web/20111204025237/https://www.inria.fr/actualite/actualites-inria/nouvelle-identite-visuelle
- ↑ SIRENE
- ↑ https://www.inria.fr/en/practical-information/legal-notice
- ↑ https://www.inria.fr/fr/inria-son-ecosysteme
- ↑ http://www.couperin.org/presentation/notre-organisation/les-membres-de-couperin/items?cid=162id=221lang=fr
- ↑ https://www.w3.org/Consortium/Member/List
- ↑ https://discovery.renater.fr/renater/
- ↑ https://web.archive.org/web/20231020113811/https://orcid.org/members
- ↑ https://web.archive.org/web/20221123144401/https://www.auf.org/les_membres/nos-membres/
- ↑ https://web.archive.org/web/20231109092552/https://coara.eu/coalition/membership/
- ↑ (англ.) Inria research fields [Архівовано 23 березня 2019 у Wayback Machine.].