INFORMATION
Presentation of IRIF
Contact and access
Organization
Members
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
Special talks
Working groups
Analysis and conception of systems
Higher categories, polygraphs and homotopy
Logic, automata, algebra and games
Semantics
Type theory and realisability
Other working groups
Defences
PhD defences
Habilitation defences
SOFTWARE
Complete list
Babel
CDuce
Coq
C-SHORe
CUDF
Kappa
Ocsigen
Stamina
Vaucanson
JOBS
PhD
Postdoc
Teaching assistant
Faculty member
Researcher
Administrative staff
INTRANET
Translations of this page
Translations of this page
Français
English
Expand/Reduce
Log In
Defences
PhD defences
Habilitation defences