What is the best time to cut back a bay tree?

The best time would be in winter or when the tree gets too woody and stops producing proper leaves, the tree is not deciduous so should not be pruned too much.