🎉We're happy to announce the formation of the new Open Source Robotics Alliance, which will orchestrate and fund the future development of our open source projects. Big thanks to our inaugural platinum members NVIDIA Robotics and Intrinsic. Details: osralliance.org

Attention #ROS Community: Tomorrow (March 20th) at 4pm PST we're holding a live Q&A session with the our CEO Vanessa Yamzon-Orsi and CTO Geoff Biggs regarding the Open Source Robotics Alliance. All are welcome. Please bring your questions! bit.ly/OSRA-QA

💡Calling every #SoftwareDeveloper- share your insight! 🤖Do you prefer using Petri Nets or Behaviour Trees for software system coordination? #PollOfTheDay #SoftwareDevelopment #Innovation

📢 Save the date for #ETAPS2024 from April 6th-11th in Luxembourg 🏰🤖 👉 Don’t miss the ETAPS #IndustryDay on April 9th, featuring André Krüger | @boschhh.bsky.social showcasing Formal Methods in Autonomous Systems Engineering. 💡Learn more: etaps.org/2024/ #Software #Innovation #Robotics #AI

🌈Happy #easter2024 from CONVINCE ! Enjoy precious moments with family and friends, and may your heart be uplifted with the spirit of renewal and new beginnings.🥚🐰 #HappyEasterShowtime #AprilFoolsDay #EasterBunny

💡Make sure you check out CONVINCE Newsletter April 2024 Link: 👉 linkedin.com/pulse/newslett… #newsletter #innovative #UPDATE #ComingSoon #progress

👏Make sure you don't miss our new MEET THE DEVELOPER series where we introduce you to our amazing team! #DreamTeam #womenintech #WomenEmpowerment #womeninAI 👉linkedin.com/pulse/meet-dev…

💡Interested in advancing the ROS collaboration environment? 🌎Join the ROS Deliberation Working Group! More Information here: 👉 lnkd.in/dxy5Pb4W #ROS #robotics #standardization #BehaviourTrees #AI #innovation #collaboration #SoftwareDeveloper #Robots

👏Another MEET THE DEVELOPER series where we introduce you to our amazing team! This month meet Dr Masoumeh Mansouri, an Associate Professor at the University of Birmingham. 🔎 To learn more about Masoumeh’s robotics journey, click the link below. linkedin.com/pulse/meet-dev…

We are excited to share a curated list of 🌟 awesome robotic deliberation tools 🔧, libraries 📚and resources! 🔍You can explore the list here: github.com/ros-wg-delib/a… 👉What other deliberation tools are you using? 💬 Drop your favourites in the comments!

🚀 Insights from the Autonomous Systems Developer Survey 🚀 We’re excited to share findings from our survey on the preferences and challenges faced by robotic developers in building autonomous systems deliberation capabilities: convince-project.eu/news/survey #Robotics #AI

💭 Visualising the future of smarter, more robust robots in our homes, factories and museums... First release: convince-project.github.io Project website: convince-project.eu #Robotics #AI

👏Another MEET THE DEVELOPER edition where we introduce you to our amazing team! This month meet Razane Azrou, a Research Engineer from CEA. 📷 To learn more about Razane's robotics journey, click the link below. linkedin.com/pulse/meet-raz…

🚀 Insights from the CONVINCE Autonomous Systems Developer Survey! 🚀 Key preferences & challenges for robotic developers revealed. See our findings: convince-project.eu/news/survey #ConvinceProject #Robotics #AutonomousSystems #AI #Innovation #OpenSource #HorizonEurope

Our Towards a Verifiable Toolchain for Robotics publication won the Best Paper Award at the recent #AAAIFall Symposium! 🏆 #Robotics #CONVINCE #Innovation #formalmethods #modelchecking ojs.aaai.org/index.php/AAAI…

Did you miss our latest newsletter? Catch up here: linkedin.com/pulse/december… #Robotics #formalmethods #verification #convinceproject

Check out our new paper: 𝐀𝐒2𝐅𝐌: 𝐄𝐧𝐚𝐛𝐥𝐢𝐧𝐠 𝐒𝐭𝐚𝐭𝐢𝐬𝐭𝐢𝐜𝐚𝐥 𝐌𝐨𝐝𝐞𝐥 𝐂𝐡𝐞𝐜𝐤𝐢𝐧𝐠 𝐨𝐟 𝐑𝐎𝐒 2 𝐒𝐲𝐬𝐭𝐞𝐦𝐬 𝐟𝐨𝐫 𝐑𝐨𝐛𝐮𝐬𝐭 𝐀𝐮𝐭𝐨𝐧𝐨𝐦𝐲 arxiv.org/abs/2508.18820

Last week, Razane Azrou shared her work at #PAISSSummerSchool in Grenoble! Poster: “Towards More Secure & Autonomous Robots: Anomaly Handling Pipeline” 🤖 Exploring 🔄 fast, explainable vs 🆔 generalizable AI models for anomaly detection. 👉 “Full details on CONVINCE LinkedIn.

🌟 The CONVINCE Project is heading to Hangzhou 🇨🇳 for #IROS2025! We’re proud to have 4️⃣ papers accepted on #robust & #verifiable autonomy. Read the papers👉: convince-project.eu/dissemination