The Soofi consortium presents initial performance results for "Soofi S," the first building block of a European AI model family. The project, funded by the Federal Ministry for Economic Affairs and Energy as part of the IPCEI-CIS / 8ra initiative, aims to develop high-performance foundation models on European infrastructure, offering…
MPI-SWS researchers Travis Hance, Laila Elbeheiry, and Derek Dreyer--along with their collaborator Yusuke Matsushita--have received a PLDI 2026 Distinguished Paper Award for their paper "VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System." At PLDI this year, only 10 papers were given this award out of…
At the international high-tech and startup trade fair Vivatech in Paris (June 17–20, 2026), the German Research Center for Artificial Intelligence (DFKI) and the French computer science institute Inria will showcase their close research collaboration in the German Park (Hall 7.3, Booth 3E14) and send a strong signal for the…
Starting next winter semester, students will be able to enrol on the new Master's degree programme in Quantum Information Theory (QIT) at Saarland University. The M.Sc. programme, which is taught in English, allows students to acquire knowledge and skills at the intersection of mathematics, computer science and physics – equipping…
The future of European industry will not be shaped solely by whether Europe can keep pace with the rapid development of artificial intelligence. Its competitiveness will depend above all on how successfully AI can be transferred from the digital domain into the physical world – into robots, production lines, logistics…
