Důkazy, programy a systémy

Proofs, Programs and Systems (PPS) je smíšená výzkumná jednotka (UMR 7126) v počítačové logice patřící univerzitě Paris-Diderot a Národnímu centru pro vědecký výzkum, jehož ředitelem je Thomas Ehrhard . Je připojena k Ústavu počítačových věd a jejich interakcí (INS2I) a Ústavu matematických věd a jejich interakcí (INSMI) CNRS . vledna 2016„ Algorithmic Computing Laboratory: Unit of Foundations and Applications and the Evidence, Programmes and Systems research unit merging to form the Fundamental Computing Research Institute (IRIF).

Témata výzkumu

Výzkum laboratoře se zaměřuje hlavně na logické základy programovacích jazyků a distribuovaných systémů . Tedy velmi pestrá a mnoho oblastí výzkumu: teorie důkazu , teorie kategorií , homologie , homotopy , pravděpodobnosti .

Aktivita

Laboratoř pořádá pravidelné semináře na různá témata základního výzkumu výpočetní techniky.

Mnoho osobností je členy laboratoře, jako Jean-Louis Krivine , Roberto Di Cosmo nebo Stefano Zacchiroli .

Podívejte se také

Bibliografie

• Zpráva o výzkumu PPS , Paříž,2007, 66  s. ( číst online )
• AERES, Důkazy, programy a systémy, zpráva odborné komise ,2008, 12  str. ( číst online )

Interní odkazy

• Paris-Diderot University
• Logika
• Pařížská federace pro výzkum matematiky

externí odkazy

• Oficiální stránka

Poznámky a odkazy

1. Prezentace PPS , konzultováno na www.pps.jussieu.fr, le3. září 2010
2. Web IRIF
3. Stránka semináře PPS
4. Členové PPS , konzultováni na www.pps.jussieu.fr, dne3. září 2010