Yes, they will need to go through passport control upon exiting Schengen at KEF. The EU/EEA Passport Control area is clearly marked.
KEF has automated passport control for all EU/EEA passports - scan your passport, look forward so that your picture can be taken, the gate opens, and you are in/out of the Schengen zone (no fingerprint). It literally takes 30 seconds. Probably the easiest EU/EEC passport control - much better and quicker than the French PARAFE. Additionally, the times that I have connected at KEF, there have been no queues in the EU/EEA automated passport control area. I suspect, though, that the queues at the non-Schengen booths (read: manual passport control) are longer. This procedure applies when both entering and departing the Schengen zone.
Last edited by pxm; Apr 1, 2019 at 6:14 pm