During this workshop, you’ll learn what makes the Ada programming language special and why you should use it, how to write bug-free code with SPARK Ada and how to implement the stack data structure in SPARK Ada.

- Registration (20 min)
- Introductions and Networking (25 min)
- Installations (15 min)
- Testing Codes (30 min)
- Writing bug-free code (45 min)
- Break (15 min)
- Implementation (30 min)
- Demos (20 min)
- Pictures (15 min)