workshop: further details on PinT Workshop 2015