1st Meeting
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.
1st Training
We are pleased to announce the successful completion of the Training in Robotics (II), which took place from June 17 to June 29, 2024, in Thessaloniki ♖ 🇬🇷, organized by the University of Macedonia.
The training covered a range of topics from basic to advanced robotics .
- Week 1 included an introduction to social robotics, programming fundamentals, speech and interaction, autonomous robotics, vision and object recognition, and project planning.
We are pleased to announce the successful completion of the Training in Verification of Robotic Hybrid Systems held for academic staff as part of our ongoing european Erasmus+ project, Cooperation partnerships for Higher Education, AiRobo: Artificial Intelligence based Robotics, which took place in 9 – 13 September 2024 at RWTH Aachen University, Germany. The training covered topics as: SMT solving, Neural network verification, Hybrid systems analysis, as well as integrating the tools in teaching. This training provided an excellent opportunity for participants to share valuable insights, and exchange knowledge in these rapidly evolving fields.