29 June – 2 July, 2026
Department of Computer Science & Institute for Safe Autonomy, University of York, UK
| Module | Presenter(s) | |
|---|---|---|
| Day 1 | Starting lecture: Overview of RoboStar | Ana Cavalcanti (bio) |
| Modelling Control Software: RoboChart | Ana Cavalcanti (bio); Ziggy Attala (bio), Felix Brüning (bio), Simon Foster (bio), Pedro Ribeiro (bio), Burkhart Wolff (bio), & Jim Woodcock (bio) | |
| Normative Requirements Engineering for Autonomous Agents | Radu Calinescu (bio) | |
| Day 2 | Enhancing Autonomy for Robots | Peter Gorm Larsen (bio); Ana Cavalcanti (bio), & James Baxter (bio) |
| From RoboChart Designs to RoboSim Simulations to Code Generation | Augusto Sampaio (bio); Alvaro Miyazawa (bio) | |
| Day 3 | Implementing Models with a Safety Platform | Thierry Lecomte (bio) |
| RoboSim Physical Models: modelling, simulation and verification of robotic applications | Alvaro Miyazawa (bio); Simon Foster (bio), & Jim Woodcock (bio) | |
| Day 4 | Capturing Operational Requirements: RoboWorld | Ana Cavalcanti (bio); James Baxter (bio) |
| Assured Human–Robot Collaboration (HRC): working together safely and efficiently | David A. Anisi (bio) & Holly Hendry (bio) | |
| Closing session | Ana Cavalcanti (bio) |
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
