Es kommt immer darauf an, was das für Bäume sind. Grundsätzlich kann man zu jeder Jahreszeit schneiden. Es gibt aber bei einigen Arten bevorzugte Zeiten, die können aber auch im Frühjahr liegen.
Bei euch im Hof sind bestimmt Bäumchen aus Kulturzüchtungen. Um ein Wildwuchs, oder Vergreisung zu verhindern, oder aber auch um Neutrieb anzuregen, werden Kulturformen geschnitten. Ohne Schnitt werden die Bäumchen in ein paar Jahren unansehnlich oder und die Blühwilligkeit geht zurück.
Keine Sorge, in der Regel wissen die beauftragten Firmen, was sie machen.