INFORMATION
Presentation of IRIF
Members
Contact and access
News
STRUCTURE
Algorithms and discrete structures
Algorithms and complexity
Combinatorics
Complex Systems, Networks, and Distributed Computing
Theory and algorithmics of graphs
Automata, Structures, and Verification
Automata and applications
Modeling and verification
Proofs, programs and systems
Algebra and computation
Analysis and conception of systems
Proofs and programs
INRIA project-teams
GANG
$\pi r^2$
EVENTS
Seminars
IRIF seminar
Algorithms and complexity
Automata
Enumerative and analytic combinatorics
Graphs
Proofs, programs and systems
Complex systems
Verification
PhD students seminar
Working groups
Analysis and conception of systems
Higher categories, polygraphs and homotopy
Semantics
Type theory and realisability
Other working groups
Defences
PhD defences
Habilitation defences
SOFTWARE
Coq
Babel
C-SHORe
CDuce
KaSim
Ocsigen
Stamina
Vaucanson
Common Upgradeability Description Format (CUDF)
Complete list
INTRANET
Translations of this page
Translations of this page
Français
English
Log In
INRIA project-teams
$\pi r^2$
GANG