• 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
    • frFrançais
    • enEnglish
  • Expand/Reduce
  • Log In