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