INFORMATION
Presentation
Contact and access
IRIF Members Charter
Gender Equality
Members
Visitor program
RESEARCH
Algorithms and discrete structures
Algorithms and complexity
Combinatorics
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
$\pi r^2$ (Inria)
EVENTS
IRIF events
ICALP 2022
IRIF Distinguished Talks Series
IRIF days
Pole meetings
Research seminars
Algorithms and complexity
Algorithms and discrete structures
Automata
Enumerative and analytic combinatorics
Graphs and distributed computing
Proofs, programs and systems
Verification
PhD students seminar
Online seminars
Graph Transformation Theory and Applications
One world numeration seminar
Working groups
Analysis and conception of systems
Higher categories, polygraphs and homotopy
Logic, automata, algebra and games
Programming
Semantics
Type theory and realisability
Defences
PhD defences
Habilitation defences
HIGHLIGHTS
Awards and Honors
Software
Grants
International Collaborations
The EPIT Research School
Academics
OPPORTUNITIES
Research support
Faculty members
Researchers
Postdocs
Teaching assistants
PhD Studies
Master Internships
School internships
INTRANET
Translations of this page
Translations of this page
Français
English
Expand/Reduce
Log In
Defences
PhD defences
Habilitation defences