Bizonyítékok, programok és rendszerek

A Proofs, Programs and Systems (PPS) egy vegyes kutatási egység (UMR 7126) a számítógépes logikában, amely a Párizs-Diderot Egyetemhez és a Nemzeti Tudományos Kutatási Központhoz tartozik, amelynek igazgatója Thomas Ehrhard . Csatolva van a Számítástudományi Intézet és kölcsönhatásaikhoz (INS2I), valamint a CNRS Matematikai Tudományok és Interakcióik Intézetéhez (INSMI) . Ban ben2016. január, az Algoritmikus Számítástechnikai Laboratórium: Alapítványok és alkalmazások, valamint az Evidence, Programs and Systems kutatási egység egyesülve megalakítja az Alapvető Számítástechnikai Kutatóintézetet (IRIF).

Kutatási témák

A laboratóriumi kutatások főként a programozási nyelvek és az elosztott rendszerek logikai alapjaira koncentrálnak . Így nagyon változatos és sok kutatási területek: elmélet bizonyítéka , elmélet kategória , homológ , homotopy , valószínűségek .

Tevékenység

A laboratórium rendszeres szemináriumokat szervez az alapvető számítástechnikai kutatások különböző témáiról.

Számos személyiség tagja a laboratóriumnak, például Jean-Louis Krivine , Roberto Di Cosmo vagy Stefano Zacchiroli .

Lásd is

Bibliográfia

• PPS kutatási jelentés , Párizs,2007, 66  p. ( online olvasás )
• AERES, bizonyítékok, programok és rendszerek, a szakértői bizottság jelentése ,2008, 12  o. ( online olvasás )

Belső linkek

• Párizs-Diderot Egyetem
• Logika
• Párizsi Központ Matematikai Kutató Szövetsége

Külső linkek

• Hivatalos oldal

Megjegyzések és hivatkozások

1. PPS bemutató , konzultálva a www.pps.jussieu.fr címen 2010. szeptember 3
2. Az IRIF webhelye
3. PPS szemináriumi oldal
4. PPS-tagok , konzultáció a www.pps.jussieu.fr címen 2010. szeptember 3