Creation of the Joint Center between Inria and UCL

The agreement between Inria and UCL to establish the 𝗜𝗻𝗿𝗶𝗮–𝗨𝗖𝗟 𝗝𝗼𝗶𝗻𝘁 𝗖𝗲𝗻𝘁𝗿𝗲 was signed during President Emmanuel Macron’s State Visit to the United Kingdom.The creation of the Joint Center between UCL and Inria is an important milestone for the Inria London program, which aims to increase the bandwidth in digital…

Continue reading

Associate Teams 2026: call for proposals is now open!

We are pleased to announce the publication of the 2026 call for proposals for the Inria Associate Teams program. The full documentation of the 2026 call for proposals is available on Inria website: https://www.inria.fr/en/call-for-projects-international-partnerships-associate-teams-2026 The Inria researcher coordinating the project on the French side have to submit the online application…

Continue reading

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…

Continue reading

Associate Teams 2023: call for proposals is now open!

We are pleased to announce the publication of the 2023 call for proposals for the Inria Associate Teams program. The full documentation of the 2023 call for proposals is available on the Inria website: https://www.inria.fr/en/call-for-projects-international-partnerships-associate-teams-2023 The Inria researcher coordinating the project on the French side have to submit the online application form…

Continue reading