Information
Presentation
Directory
Contact and access
Thematic teams
Algebra and computation
Algorithms and complexity
Automata and applications
Combinatorics
Distributed computing
Modeling and verification
Programs and Languages (PL)
Proofs and programs
Theory and algorithmics of graphs
INRIA project-teams
GANG
πr²
seminaires
Working groups
French version
Publications
2017
2016
2015 (LIAFA or PPS)
2014 (LIAFA or PPS)
Intranet