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

Fund your european postdoc at Inria!

Inria offers numerous opportunities and dedicated support to host postdoctoral fellows in its 9 centres as part of the Marie Skłodowska Curie Actions (MSCA) (opportunities already available at EURAXESS). The Marie Skłodowska Curie Actions (MSCA) is the European Union’s reference programme for doctoral and postdoctoral training of researchers. Inria is…

Continue reading

Welcome to the new Associate Teams 2022

We are glad to announce the selection of 5 new Associate Teams as part of the 2022 Inria Associate Teams call :     Bubbles – « Bubbles and modulations for solving Schroedinger equations » Erwan Faou, research team MINGUS, Inria Rennes – Bretagne Atlantique Pierre Raphaël, University of Cambridge…

Continue reading

Associate Teams 2022: call for proposals is now open!

We are pleased to announce the publication of the 2022 call for proposals for the Inria Associate Teams program. The full documentation of the 2022 call for proposals is available on the website: https://www.inria.fr/en/call-for-projects-international-partnerships-associated-teams An Associate Team is a joint research project created between an Inria research team and a research team…

Continue reading

The Inria London Programme: kickoff

The official launch of The Inria London Programme was held online on February 1st, 2021. Geraint Rees, Nigel Titchener-Hooker, Steve Hailes, David Barber and John Shawe-Taylor (for UCL), and Bruno Sportisse, Jean-Frédéric Gerbeau and Cécile Vigouroux (for Inria) discussed the strategic, scientific and operational aspects of the programme (chaired by…

Continue reading