We are pleased to announce the successful completion of the fourth Training in Pedagogical Methods (Problem based Learning) and Robotic Algorithm Verification and Synthesis, which took place from March 10 to March 14, 2025, in Timisoara, organised by West University of Timisoara.

The training covered a range of topics: modern student centered approaches: Problem based Learning (PBL), Introduction to the Theorem and Coq systems, algorithm synthesis and verification in Theorema, algorithm certification in Coq, Brain Computer Interfaces, 3D game development with BCI, Formal Analysis of Specification of Cyber-physical Systems in Rewriting Logic, Telepresence robots, Soft robotics, Generating 2D and 3D maps with collaborative robots, as well as integrating the tools and robotic applications in teaching.

The training provided a dynamic environment for knowledge exchange, enabling participants to share expertise, gain new perspectives, and strengthen collaborative ties. This collective engagement marks another important step forward in advancing the objectives and outcomes of the AiRobo project.

More information here.