Yes, it's called the Schengen Agreement.
But there are no such border controls or checks for departing int'l pax at GLA. The int'l pier is openly accessible (if slightly removed) for both int'l and domestic passengers once they're aside. I'm still lost as to why departing int'l pax can't be handled from the domestic pier, which would save BMI money and the passengers some shoe leather.