In this talk, I will remind the basics of electronic institution, and briefly explain how we can use it in the specification of a Multi-Agent System.
The talk will end with the demo showing some simple Multi-Agent Systems running on the platform I implemented.