Associate Teams 2025: call for proposals is now open!
We are pleased to announce the publication of the 2025 call for proposals for the Inria Associate Teams program. The full documentation of the 2025 call for proposals is available on Inria website: https://www.inria.fr/en/call-for-projects-international-partnerships-associate-teams-2025 The Inria researcher coordinating the project on the French side have to submit the online application…
Launch of the call for projects under the Sophie Germain Funding Scheme
Following the Franco-British Joint Science and Technology Committee, held in London in February 2024, fundings have been provided to finance joint research projects on energy transition and hydrogen, space, AI, and research security. This year is a pilot phase of the Sophie Germain programme due to agenda constraints and is…
Publication of an article at the national conference “Journées Francophones des Langages Applicatifs”
Formal semantics for architectural description – Hadrien Renaud’s PhD project, co-supervised by Jade Alglave at UCL and Luc Maranget at INRIA This PhD proposal aims to explore formal semantics for architectural description languages, such as the Arm Specification Language (ASL), and the domain-specific language called cat, which is used to…
Call for Postdoctoral Research Positions – Inria London
Every year Inria International Relations Department has a few postdoctoral positions in order to support Inria international collaborations. In 2024, six postdoctoral positions have been allocated for this purpose, to be selected among the following institutional collaborations and priorities:Inria Brasil, Inria Chile, Inria CWI (The Netherlands), Inria ECDF (Germany), Inria…
