The illustrations provided suggest that he has to be on vacation during vacation time min (means start before ar_time_max and has to leave afetr ar_time_max + vacation_time_min).
So, when going on vacation after the conference, it is not possible to end the vacation earlier than ar_time_max + vacation_time_min?
Or can he be doing his vacation between ar_time_min and ar_time_max + vacation_time_max, when he stays on vacation for at least vacation_time_min?
If so can he be on vacation longer than vacation_time_max as long as he arrives in time (so before ar_time_max + vacation_time_max)?

