The inaugural AiRobo conference, held at West University of Timisoara, Romania, between 18 – 22 December 2023, was an unequivocal success, marking a pivotal moment in the convergence of artificial intelligence, robotics, and formal verification. Our deepest gratitude goes to our esteemed partners from five different countries (Greece, Germany, Hungary, France, and Romania) who contributed to the conference’s triumph by graciously sharing their groundbreaking ideas and insights. The event served as a vibrant forum for the exchange of cutting-edge research and teaching, fostering collaboration and cross-cultural dialogue. The diverse perspectives brought forth by our international collaborators enriched the discussions, highlighting the global significance of AI, robotics and formal verification. Their presence and active participation underscored the strength of our collaborative network, propelling us towards new horizons in technological innovation. We extend heartfelt thanks to our partners for their invaluable contributions, making the first AiRobo conference a resounding success and setting a promising trajectory for future collaborative endeavors.