French Institute for Research in Computer Science and Automation

Property	Value
rdf:type	owl:NamedIndividual Information technology research institute Member of the European Research Consortium for Informatics and Mathematics Scientific agency of the government of France Computer science institute in France Computer science research organization
rdfs:label	French Institute for Research in Computer Science and Automation
owl:sameAs	dbr:French_Institute_for_Research_in_Computer_Science_and_Automation
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Computer_science_research_organizations http://en.wikipedia.org/wiki/Sorbonne_University_Association http://en.wikipedia.org/wiki/Community_Universit%C3%A9_Grenoble_Alpes http://en.wikipedia.org/wiki/Category:Information_technology_research_institutes http://en.wikipedia.org/wiki/Paris_Sciences_et_Lettres_University http://en.wikipedia.org/wiki/P%C3%B4le_de_recherche_et_d'enseignement_sup%C3%A9rieur http://en.wikipedia.org/wiki/Polytechnic_Institute_of_Paris http://en.wikipedia.org/wiki/Genostar http://en.wikipedia.org/wiki/Public_Scientific_and_Technical_Research_Establishment http://en.wikipedia.org/wiki/C%C3%B4te_d'Azur_University http://en.wikipedia.org/wiki/European_Doctoral_College_Lille_Nord-Pas_de_Calais http://en.wikipedia.org/wiki/University_of_Lille_Nord_de_France http://en.wikipedia.org/wiki/Category:Computer_science_institutes_in_France http://en.wikipedia.org/wiki/Symbrion http://en.wikipedia.org/wiki/Dagstuhl http://en.wikipedia.org/wiki/Category:Scientific_agencies_of_the_government_of_France http://en.wikipedia.org/wiki/Paris-Saclay_University http://en.wikipedia.org/wiki/Category:Members_of_the_European_Research_Consortium_for_Informatics_and_Mathematics
skos:prefLabel	French Institute for Research in Computer Science and Automation
skos:altLabel	IRIA French Institute for Research in Computer Science and Automation (INRIA) INRIA Inria Institut national de recherche en informatique et en automatique National Institute for Research in Computer Science and Automation (INRIA) Institute for Research in Computer Science and Automation Institut National de Recherche en Informatique et Automatique
clgo:budget	2.35E8
clgo:foundingDate	1967-01-03
clgo:headquarter	France Rocquencourt, Yvelines
clgo:numberOfStaff	1772
clgo:purpose	Research
clgo:type	Research institute Learned society
is clgo:affiliation of	Paris-Saclay Software Heritage LIRYC
is clgo:almaMater of	Sihem Amer-Yahia Nadim Kobeissi Avik Bhattacharya Zeynep Akata Bruno Courcelle
is clgo:author of	TousAntiCovid
is clgo:award of	Catherine Plaisant
is clgo:designer of	ANSI/ISO C Specification Language
is clgo:developer of	Construction and Analysis of Distributed Processes DIET ProActive Siconos Frama-C Integer set library Simulation Open Framework Architecture RIOT (operating system) Tom (pattern matching language) ATLAS Transformation Language SYNTAX Scicos ANSI/ISO C Specification Language Le Lisp Bigloo JoCaml OCaml Join-pattern Amaya (web editor)
is clgo:institution of	Wendy Mackay Jean-Daniel Fekete Paris Kanellakis Grigori Fursin Philippe Flajolet Anne Canteaut Olivier Faugeras Gregory Grefenstette Marie-France Sagot Tim Teitelbaum Thomas W. Reps Claude Lemaréchal Thierry Goudon Gérard Le Lann Susan B. Horwitz

About: clgr:French_Institute_for_Research_in_Computer_Science_and_Automation