Skip to content

Presentation
- Organisation chart
Teams
- Logic, Computation and Programming
- Systems Specification and Verification
Members
Publications
Seminar
Contact
- How to get here?
Log In

Presentation
- Organisation chart
Teams
- Logic, Computation and Programming
- Systems Specification and Verification
Members
Publications
Seminar
Contact
- How to get here?
Log In

Publications

Publications
Filtres

Contact

Disciplines

Mots-clefs

Auteurs

Revues

Année de production

Institutions

Laboratoires

Départements

Équipes de recherche

documents

Documents récupérés de l'archive ouverte HAL

Next seminars

Subgame Perfect Equilibria in (quantitative) Reachability Games
November 25, 2019
Marie Van Den Bogaard
TBA
January 13, 2020
Yann Strozecki
TBA
January 20, 2020
Samuel Petite

© 2019 LACL