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

Working groups

  • Analysis and conception of systems
  • Higher categories, polygraphs and homotopy
  • Logic, automata, algebra and games
  • Semantics
  • Type theory and realisability