un faux article qui sert kuste ac ce que le mot clef ’cachée’ soit pris en compte
Browsing
News
- NEWS
- Development, design, and semantics of programming languages Tenure track research position at CNRS
- Seminars
- 26 November 2026 Basile Gros: Proxy-based small inversions for the rocq prover
Seminars
New publications
- Some Recent Publications
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs
- Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani: Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
- Akram Idani, Yves Ledru, German Vega: Formal model-driven security combining B-method and process algebra: The B4MSecure platform
- Marius Bozga, Radu Iosif, Florian Zuleger: Iterating Non-Aggregative Structure Compositions
