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
Algorithms and complexity
Automata
Complex systems
Enumerative and analytic combinatorics
Graphs
IRIF seminar
PhD students seminar
Proofs, programs and systems
Verification
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
HIGHLIGHTS
Grants
Software
Awards and Honors
International Collaborations
The EPIT Research School
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