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…
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…
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…
As part of the Amba-series “Covid-19 : Science and Policy”, the Higher Education, Research and Innovation Department at the French Embassy to the United Kingdom, in partnership with the Inria London Programme and the Franco-British Data Society, organises a webinar the 21th May 2021, from 11 to 12:30 AM (BST),…
