Thematic team Algebra and computation
Inria project-team Picube (Inria)
Thematic team Programs and Languages (PL)
Thematic team Proofs and programs
Proofs, programs and systems
Head
Research themes
The pole Proofs, programs and systems (PPS) aims at advancing the state of the art in the fields of theoretical foundations of programming languages, of interactive proof assistants, and more generally of computational formalisms. We investigate these subjects by combining three different approaches:
- a syntactic approach, developing theoretical languages based on logical formalisms,
- an algebraic approach, studying the mathematical structures underlying computation,
- a practical approach, modeling and analyzing actual computational systems.
The pole is structured into three thematic teams, according to the three different approaches. These teams use their specific methods to contribute to the common scientific goals:
The PPS pole hosts the project-team πr2 which is joined between INRIA, CNRS and Université Paris-Diderot — Paris 7. We also host several members of IRILL, the Center for Research and Innovation on Free Software which is a joined structure of INRIA, Université Paris-Diderot — Paris 7 and Université Pierre-et-Marie-Curie — Paris 6.
Events
- Seminar Proofs, programs and systems
- Online seminar Graph Transformation Theory and Applications
- Working groups
- Meetings Proofs, programs and systems
Permanent members
Non-permanent members