# Laboratory Preuves, Programmes et Systèmes

> former research institute in France, now part of IRIF

**Wikidata**: [Q3402795](https://www.wikidata.org/wiki/Q3402795)  
**Source**: https://4ort.xyz/entity/laboratory-preuves-programmes-et-systemes

## Summary
Laboratory Preuves, Programmes et Systèmes (PPS) was a research institute located in Paris, France, that focused on computer science and academic research. Established in 1999, it operated as a joint research unit (UMR 7126) until it was dissolved in January 2016. The institute was subsequently replaced by and merged into the Institut de Recherche en Informatique Fondamentale (IRIF).

## Key Facts
- **Full Name:** Laboratory Preuves, Programmes et Systèmes
- **Alias:** PPS
- **Location:** Paris, France (Coordinates: Lat 48.829905, Lon 2.381463)
- **Inception:** 1999
- **Dissolution Date:** January 2016
- **Successor:** Institut de Recherche en Informatique Fondamentale (IRIF)
- **Classification:** Academic institution, Research institute, French UMR (Unité Mixte de Recherche)
- **CNRS ID:** UMR7126
- **Parent Organizations:** Paris Diderot University, Institut National de Recherche en Informatique et en Automatique (Inria), and the Institute of Information Sciences and their Interactions.
- **Identifiers:** GRID ID: grid.464059.a; ROR ID: 046p9e825; ISNI: 0000000403670472.

## FAQs
### Q: What happened to the Laboratory Preuves, Programmes et Systèmes?
A: The laboratory was dissolved in January 2016. It was replaced by the Institut de Recherche en Informatique Fondamentale (IRIF), which absorbed its operations and identity.

### Q: Where was the laboratory located?
A: The laboratory was located in Paris, France. It was geographically situated at latitude 48.829905 and longitude 2.381463.

### Q: What type of organization was PPS?
A: PPS was an academic institution and research institute classified as a French UMR (Unité Mixte de Recherche). This indicates it was a joint research unit supported by multiple parent organizations, including CNRS and Paris Diderot University.

## Why It Matters
Laboratory Preuves, Programmes et Systèmes served as a significant node in the French academic research landscape, specifically within the domain of computer science. Operating under the UMR 7126 designation, it represented a collaborative effort between major French scientific bodies, including the CNRS (via the Institute of Information Sciences and their Interactions), Inria, and Paris Diderot University.

The institute's existence highlights the structured nature of French academic research, where specialized laboratories operate under joint supervision to advance fundamental knowledge. Its transition into IRIF in 2016 marks a specific evolution in the organizational strategy of computer science research in Paris, consolidating efforts into a new entity while maintaining the legacy of the original 1999 foundation. The institute's specific focus, suggested by its name (Proofs, Programs, and Systems), indicates its role in theoretical computer science, contributing to the broader scientific output of the Paris Diderot University campus before its integration into IRIF.

## Notable For
- **Status as a UMR:** Operated as a "Unité Mixte de Recherche" (UMR 7126), signifying a high level of integration between university and national research councils in France.
- **Multi-Institutional Support:** Uniquely supported by a triad of major organizations: a university (Paris Diderot), a national research institute (CNRS), and a specialized digital institute (Inria).
- **Succession:** It is a direct predecessor to the currently active Institut de Recherche en Informatique Fondamentale (IRIF).
- **Longevity:** Maintained active operations for approximately 17 years (1999–2016) within the competitive Parisian academic sector.

## Body
### Organizational History
The Laboratory Preuves, Programmes et Systèmes (PPS) was founded in 1999. It functioned as an academic institution and research institute within France. The laboratory was officially designated as a French UMR (Unité Mixte de Recherche) with the identification number UMR7126.

After nearly two decades of operation, the institute was dissolved in January 2016. It was replaced by the Institut de Recherche en Informatique Fondamentale (IRIF), which assumed its role in the research landscape.

### Affiliations and Governance
PPS operated under the auspices of three primary parent organizations:
1.  **Paris Diderot University:** The academic host.
2.  **Institut National de Recherche en Informatique et en Automatique (Inria):** The national institute for research in digital science and technology.
3.  **Institute of Information Sciences and their Interactions:** A branch of the CNRS.

### Location and Identifiers
The institute was physically situated in Paris, France. Its precise location was recorded at latitude 48.829905 and longitude 2.381463.

Key identifiers for the entity include:
*   **GRID ID:** grid.464059.a
*   **ROR ID:** 046p9e825
*   **ISNI:** 0000000403670472
*   **Google Knowledge Graph ID:** /g/120lqlzx

### Web Presence
Prior to its dissolution, the institute maintained a web presence at `http://www.pps.univ-paris-diderot.fr/`, with an English-language version available at `http://www.pps.univ-paris-diderot.fr/en/`.

## References

1. GRID Release 2017-05-22