🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

If you're stomping off to other platforms, remember that we also have an account on Mastodon too. Come and follow us for all our toots, on the ACM server: buff.ly/48DQdaE

Did you know that we also have an accouont on Mastodon? You can find us here: buff.ly/3OOrY0x We will be cross-posting, at least for a while.

We have branched out, so updates about ACM's Special Interest Group on AI are now available on 3 platforms. We will cross-post for a while and see what happens. * Skeets: @acmsigai.bsky.social * Toots: ACM SIGAI@mastodon.acm.org * Tweets @acm_sigai See you out there!

"Does current AI represent a dead end?" by Eerke Boiten Some interesting points, e.g "The only verification that is possible is of the system in its entirety ... but it can never represent more than a drop in the ocean." bcs.org/articles-opini… BCS, The Chartered Institute for IT

What better way to start the week than reminiscing about #FMAS2021 talks! Watch the talks again on YouTube: buff.ly/5Pflkvg - Help or Hazard: Towards Verifying Autonomous Robot Systems by Clare Dixon - Understanding and Verifying Deep Neural Networks by Divya Gopinath

#ThrowbackThursday to the invited talks from #FMAS2022! Watch the talks by Marija Slavkovik on "Common Ground in Moral Norms" and by Taylor T Johnson on "Formal Verification for Neural Networks in Autonomous Cyber-Physical Systems" here: buff.ly/4gtwy2k

The invited talks from #FMAS2023 can be found on FME YouTube channel: buff.ly/uTJ5ZBQ Talks: - "Formal methods within the TAS Governance node" by Alice Miller - "SMT: Something you Must Try" by Erika Ábrahám (joint with iFM)

Everything you say to an Alexa speaker will now be sent to Amazon ift.tt/opXikgY

34 #Workshops for #IJCAI2025 are out! 🚀Websites are going live in real time—keep checking in and submit your work to participate! 🌐 2025.ijcai.org/workshops/ #ArtificialIntelligence #Research #Innovation

🎥 RoboCup GermanOpen - Aftermovie released! Missed the RoboCup GermanOpen? No worries — we've got a highlight video showing the best moments from last month's event! Watch here: youtu.be/MHc35BQF7Wg?si… #RoboCup #Robotics #AI

#AAAI2025 invited talk round-up 1: labour economics, and reasoning about spatial information ift.tt/HiGMRTy

ChatGPT’s Studio Ghibli-style images show its creative power – but raise new copyright problems ift.tt/n5ARcYZ

Accelerating drug development with AI ift.tt/lQU6DAe

🚀 Europe’s AI Recap: March Highlights Europe is making significant strides in artificial intelligence. Here are three key developments this month advancing the vision of a sovereign, open, and human-centered AI ecosystem. 1️⃣ European Commission Launches €200 Billion InvestAI

Great to hear from AAAI / ACM SIGAI doctoral consortium participant Amina Mević, who is applying machine learning to semiconductor manufacturing problems. Find out more about her research in this interview aihub.org/2025/04/17/int…

Great to chat to Onur Boyar about his research designing molecules and crystals using generative models, latent space representations, and optimization techniques. Onur took part in the AAAI / ACM SIGAI doctoral consortium at #AAAI2025 aihub.org/2025/05/09/int…

Great to chat to Ananya Joshi about her research developing human-in-the-loop systems to identify and diagnose data events from large volumes of streaming data. The latest in our series meeting AAAI / ACM SIGAI doctoral consortium participants aihub.org/2025/05/13/int…

In our latest interview with AAAI / ACM SIGAI doctoral consortium participants, we met with Filippos Gouidis to find out more about his work on object state classification #AAAI2025 aihub.org/2025/05/20/int…

Great to hear from Debalina Padariya, AAAI / ACM SIGAI doctoral consortium participant, about her work on privacy-preserving generative models. aihub.org/2025/06/03/int…

In the latest of our interviews featuring AAAI / ACM SIGAI doctoral consortium participants, we hear from Amar Halilovic about his research on explainable AI for robotics aihub.org/2025/06/10/int…