Κυρώνονται και έχουν την ισχύ που ορίζει το άρ8ρο 28 παρ 1 του Συντόγματος:
1. Η Συμφωνία μεταξύ των Κυβερνήσεων των Κρατών της οικονομικής Ενωσης τον Μπενελούξ, της ομοσπονδιακής Δημοκρατίας της Γερμανίας και της Γαλλικής Δημοκρατίας, σχετικά με τη σταδιακή κατάργηση των ελέγχων στα κοινά σύνορα, που υπογράφηκε στο Σένγκεν στις 14 Ιουνίου 1985, σε πρωτότυπο στη γαλλική γλώσσα και σε μετάφραση στην ελληνική.
2. Η Σύμβαση Εφαρμογής της Συμφωνίας Σένγκεν της 14ης Ιουνίου 1985 μεταξύ των Κυβερνήσεων των Κρατών της οικονομικής Ενωσης του Μπενελούξ, της Ομοσπονδιακής Δημοκρατίας της Γερμανίας και της Γαλλικής Δημοκρατίας, για τη σταδιακή κατάργηση των ελέγχων στα κοινά σύνορα, που υπογράφηκε στο Σένγκεν στις 19 Ιουνίου 1990, σε πρωτότυπο στη γαλλική και γερμανική γλώσσα και σε μετάφραση στην ελληνική.
3. Τα Πρωτόκολλα και οι Συμφωνίες προσχώρησης στη Συμφωνία Σένγκεν και στη Σύμβαση Εφαρμογής αυτής, μετά των τελικών πράξεων, δηλώσεων και κοινών δηλώσεων:
α) της Ιταλικής Δημοκρατίας, που υπογράφηκε στο Παρίσι στις 27 Νοεμβρίου 1990.
β) του Βασιλείου της Ισπανίας, που υπογράφηκε στη Βόννη στις 25 Ιουνίου 1991, και γ) της Δημοκρατίας της Πορτογαλίας, που υπογράφηκε στη Βόννη στις 25 Ιουνίου 1991, σε πρωτότυπο στη γαλλική γλώσσα και σε μετάφραση στην ελληνική, και
4. Τα Πρωτόκολλα και οι Συμφωνίες προσχώρησης στη Συμφωνία Σένγκεν και στη Σύμβαση Εφαρμογής αυτής, μετά των τελικών πράξεων, δηλώσεων και κοινών δηλώοεων:
α) της Ελληνικής Δημοκρατίας, που υπογράφηκε στη Μαδρίτη στις 6 Νοεμβρίου 1992,
β) της Αυστριακής Δημοκρατίας, που υπογράφηκε στις Βρυξέλλες στις 26 Απριλίου 1995,
γ) της Φινλανδικής Δημοκρατίας, που υπογράφηκε στο Λουξεμβούργο, στις 19 Δεκεμβρίου 1996,
δ) του Βασιλείου της Δανίας, που υπογράφηκε στο Λουξεμβούργο στις 19 Δεκεμβρίου 1996,
ε) του Βασιλείου της Σουηδίας, που υπογράφηκε στο Λουξεμβούργο στις 19 Δεκεμβρίου 1996, σε πρωτότυπο στην ελληνική γλώσσα.
5. Τα κείμενα που αναφέρονται στις προηγούμενες παραγράφους του παρόντος άρθρου έχουν ως εξής:
