Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applications arising in decision theory...
Project-team TRIBE inTeRnet BEyond the usual The TRiBE (inTeRnet BEyond the usual) is a research team of Inria Saclay – Ile de France, located at...
Project-team QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...
© Paris-Saclay SPRING 16–17 May 2024 Startup Studio Meet Inria at the 7th Paris-Saclay SPRING on May 16 and 17, 2024
© Peterschreiber.media sur Stock Adobe Life sciences Using mathematics to understand biological ageing 02/04/2024
© RandOpt - CMA-ES Optimization CMA-ES: optimization software for biology, medicine and engineering 18/03/2024
© Inria / Photo C. Morel Jobs Marie Skłodowska-Curie Actions Postdoctoral Fellowships: 2024 Inria Hosting Offers 06/02/2024
Portrait Estelle Cognacq à gauche - © Christophe Abramowitz - Radio France / Portrait Ioana Manolescu à droite - ©Ioana Manolescu Culture and society Fact checking: using artificial intelligence to help journalists 06/02/2024
© Mind - Read figure legend at bottom of article Neuroscience and cognitive science A language for improving the evaluation of brain activity 07/09/2023