INFORMATION
Presentation of IRIF
Contact and access
Organization
Members
Visit IRIF
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
Algorithms and complexity
Algorithms and discrete structures
Automata
Complex systems
Enumerative and analytic combinatorics
Graphs
Proofs, programs and systems
Verification
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
IRIF events
IRIF seminar
PhD students seminar
Special talks
IRIF days
Defences
PhD defences
Habilitation defences
HIGHLIGHTS
Awards and Honors
Academics
Software
Grants
International Collaborations
JOBS
PhD Studies
Postdocs
Teaching assistants
Faculty members
Researchers
Research support
INTRANET
Translations of this page
Translations of this page
Français
English
Expand/Reduce
Log In
Defences
PhD defences
Habilitation defences