Declarative Models there is more than one way to reach your (process) goals Process Verification Is my process behaving as it should? Regulatory Compliance Are my processes abiding people's rights? Session Types Tame bugs in the interaction of distributed systems Process discovery Find my process from its sources BehAPI COST action on behavioural Application Program Interfaces ECOKnow Effective co-created & compliant adaptive case management for knowledge workers GDHRNet A Global Digital Human Rights Network Process Understandability Can my process by communicated and understood?