The Correctness-by-Construction tutorial focuses on a structured programming approach for correct software development. Besides functional correctness, also non-functional properties such as security ...

Educational robotics is an approach that uses robotics as a mean to aid in the learning process, fundamentally of more abstract concepts. In the practical OBR - ...