Membres de PPS :

connectez-vous

INS2I INSMI CNRS Université Paris Diderot

PPS

PPS (Proofs, Programs and Systems)

CNRS UMR 7126

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

By bus

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:
http://www.pps.univ-paris-diderot.fr/en/acces
www.pps.univ-paris-diderot.fr
crawl=CC-MAIN-2013-48
11839
application/http; msgtype=response
sha1:NTQDMYTGITZDTIMYGCMGONYTPQLJQRJF
<urn:uuid:38233299-4700-4d58-98a9-6e2426455d96>
2013-12-05T01:50:10Z
81.194.27.174
sha1:BF3NG3BN3KKBZ6DRP7ZJKJ6HQCJFSWGJ
<urn:uuid:a6078e11-f10a-4ad9-9016-29b23a98de7f>
http://www.pps.univ-paris-diderot.fr/en/acces
length
response
<urn:uuid:26b5689a-7817-434e-bd2d-e2028615667d>
robots: classic
hostname: ip-10-33-133-15.ec2.internal
software: Nutch 1.6 (CC)/CC WarcExport 1.0
isPartOf: CC-MAIN-2013-48
operator: CommonCrawl Admin
description: Wide crawl of the web with URLs provided by Blekko for Winter 2013
publisher: CommonCrawl
format: WARC File Format 1.0
conformsTo: http://bibnum.bnf.fr/WARC/WARC_ISO_28500_version1_latestdraft.pdf