Abstract
We address run-time monitoring of membership, roles and role dynamics in open agent societies. To this end, we build on Dignum's formalization of agent organizations, on the SOCS computational logic agent framework and on the Event Calculus for representing and reasoning about time.