Information Presentation Directory Contact and access Thematic teams Algebra and computation Algorithms and complexity Analysis and conception of systems Automata and applications Combinatorics Distributed computing Modeling and verification 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