Workshop 11: Performance monitoring (TKI)