AAMAS Tutorial: Hands-On Interaction-Oriented Programming

We will make the tutorial material available here in the upcoming days, including notes and software needed to run the tutorial exercises.

What you will need to get the most of the tutorial

• A pen and some paper to write and draw upon
• A laptop with the following software
  • Protocol verification software. For this please install python and git and follow the instructions at https://gitlab.com/masr/bspl/
  • Protocol implementation software. Please follow instructions given at https://www.di.unito.it/~baldoni/argonauts/

Exercises

Slides