Paris/Berlin, 18 June 2026 – The German Research Center for Artificial Intelligence (DFKI) and the French National Institute for Research in Digital Science and Technology (Inria) are taking their existing partnership to the next level: today the two leading research organizations signed an agreement at Vivatech in Paris to establish…
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…
MPI-SWS researchers Tung Phung and Adish Singla, jointly with colleagues from the University of Michigan, the University of Minnesota and Microsoft, have received a Best Paper Award at the 57th ACM Technical Symposium on Computer Science Education (SIGCSE TS 2026), for their paper titled Closing the Loop: An Instructor-in-the-Loop AI Assistance System for Supporting…
