-
contribute to the DEBTCHAINS project, which investigates the financialization of capitalism through a transnational study of debt chains across legal and illegal markets. While there has been growing concern
-
multidisciplinary institute, with about 300 people, is structured in 17 research teams gathered in 5 scientific departments which cover the whole chain of knowledge, from basic sciences (solid state physics
-
(ANR-25-CE54-1716) studies the Abavus family of glossaries, which constitute a lexicographical chain parallel to that formed by the Liber glossarum and its descendants. Despite its importance in
-
snow deposits outside the poles and is a vital water source for Asia's major river systems, supplying a rapidly growing population of over two billion people. Climate change has altered the cryosphere
-
Formal Methods can provide guarantees on AI systems, and on the other hand how AI can help Formal Methods to be more efficient and easier to use by practitioners. The vision is to intertwine Formal Methods