PPS (Proofs, Programs and Systems)

How to get here

The PPS laboratory is located at 175 Rue du Chevaleret, in the 13th district (arrondissement) of Paris, at the intersection with Rue Clisson. Our offices are on the 5th floor (plateau A) and the 6th floor (plateaux A, B and C).

View in Google Maps

By métro / RER

• The nearest subway (métro) station is Chevaleret on line 6. Take the left exit, cross Boulevard Vincent Auriol and head onto Rue du Chevaleret (which runs orthogonal to the subway line). You will see our building on the right side of the street, less than 200 metres away.

• Alternatively, use the station Bibliothèque François Mitterrand on métro line 14 and RER line C. Take exit 1 of the station and turn right onto Rue du Chevaleret, passing under the bridge of Rue de Tolbiac. You should then see the French National Library on your right.

By bus

• Bus number 62 stops close to métro station Bibliothèque, and bus number 89 is close by.
• Bus number 27 stops at the intersection of Rue Jeanne d'Arc and Rue Clisson. From there it is a 5 minutes walk to PPS, taking Rue Clisson downhill.

Getting to PPS from the train stations and airports

Please consult a métro plan, or the simplified plan shown here, and take the following lines when coming from a train station or airport:

• From Charles-de-Gaulle Airport and Gare du Nord: RER line B direction Paris to Denfert-Rochereau, then métro line 6 direction Nation, get off at Chevaleret.

• From Orly Airport: Orlyval shuttle train to Antony, then RER line B direction Paris until Denfert-Rochereau, then métro line 6 direction Nation, get off at Chevaleret. Alternatively, Roissybus to Denfert-Rochereau, then métro line 6 direction Nation, get off at Chevaleret.

• From Gare de l'Est and Gare d'Austerlitz: Métro line 5 to Place d'Italie, then métro line 6 direction Nation, get off at Chevaleret. From Gare d'Austerlitz you may also walk to PPS (about 20 minutes, across the campus of the Salpêtrière hospital, please use a map!)

• From Gare de Lyon and Gare St. Lazare: Métro line 14 direction Olympiades until Bercy, then Métro line 6 direction Etoile, get off at Chevaleret. From Gare de Lyon you may also walk to PPS (about 20 minutes, walkway above rue de Bercy, then pont de Bercy, please use a map!).

• From Gare Montparnasse: Métro line 6 direction Nation, get off at Chevaleret.