29 June – 2 July, 2026
Department of Computer Science & Institute for Safe Autonomy, University of York, UK
| Time | Activities | Presenter(s) | |
|---|---|---|---|
| Day 1 | 8:30 | Registration opens | |
| 9:10 | Starting lecture: Overview of RoboStar | Ana Cavalcanti (bio) | |
| 10:10 | Coffee break | ||
| 10:30 | Module 1: Modelling Control Software: RoboChart | Ana Cavalcanti (bio); Ziggy Attala (bio), Simon Foster (bio), Pedro Ribeiro (bio), & Burkhart Wolff (bio) | |
| 12:00 | Lunch | ||
| 13:00 | Module 1: Modelling Control Software: RoboChart (continued) | Ana Cavalcanti (bio); Ziggy Attala (bio), Simon Foster (bio), Pedro Ribeiro (bio), & Burkhart Wolff (bio) | |
| 14:45 | Module 2: Normative Requirements Engineering for Autonomous Agents | Radu Calinescu (bio) | |
| 15:30 | Coffee break | ||
| 16:00 | Module 2: Normative Requirements Engineering for Autonomous Agents (continued) | Radu Calinescu (bio) | |
| 17:30 | Close | ||
| Day 2 | 9:00 | Module 3: Enhancing Autonomy for Robots | Peter Gorm Larsen (bio) & Lukas Esterle (bio); Ana Cavalcanti (bio), James Baxter (bio) |
| 10:30 | Coffee break | ||
| 11:00 | Module 3: Enhancing Autonomy for Robots (continued) | Peter Gorm Larsen (bio) & Lukas Esterle (bio); James Baxter (bio), Ana Cavalcanti (bio) | |
| 12:30 | Lunch | ||
| 13:30 | Module 4: From RoboChart Designs to RoboSim Simulations to Code Generation | Augusto Sampaio (bio); Alvaro Miyazawa (bio) | |
| 15:00 | Coffee break | ||
| 15:30 | Module 4: From RoboChart Designs to RoboSim Simulations to Code Generation (continued) | Augusto Sampaio (bio); Alvaro Miyazawa (bio) | |
| 16:30 | Institute for Safe Autonomy tours | ||
| 17:00 | Close & drinks reception | ||
| Day 3 | 9:00 | Module 5: Implementing Models with a Safety Platform | Thierry Lecomte (bio) |
| 10:30 | Coffee break | ||
| 11:00 | Module 5: Implementing Models with a Safety Platform (continued) | Thierry Lecomte (bio) | |
| 12:30 | Lunch | ||
| 13:30 | Module 6: RoboSim Physical Models: modelling, simulation and verification of robotic applications | Alvaro Miyazawa (bio); Simon Foster (bio), & Jim Woodcock (bio) | |
| 15:00 | Coffee break | ||
| 15:30 | Module 6: RoboSim Physical Models: modelling, simulation and verification of robotic applications (continued) | Alvaro Miyazawa (bio); Simon Foster (bio), & Jim Woodcock (bio) | |
| 17:00 | Close | ||
| Day 4 | 9:00 | Module 7: Capturing Operational Requirements and Testing | Ana Cavalcanti (bio); James Baxter (bio), Felix Brüning (bio), Alvaro Miyazawa (bio) |
| 10:30 | Coffee break | ||
| 11:00 | Module 7: Capturing Operational Requirements and Testing (continued) | Ana Cavalcanti (bio); James Baxter (bio), Felix Brüning (bio), Alvaro Miyazawa (bio) | |
| 12:00 | Institute for Safe Autonomy tours | ||
| 12:30 | Lunch | ||
| 13:30 | Module 8: Assured Human–Robot Collaboration (HRC): working together safely and efficiently | David A. Anisi (bio) & Holly Hendry (bio) | |
| 15:00 | Coffee break | ||
| 15:30 | Module 8: Assured Human–Robot Collaboration (HRC): working together safely and efficiently (continued) | David A. Anisi (bio) & Holly Hendry (bio) | |
| 17:00 | 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
