INFORMATION
Presentation
Contact and access
IRIF Members Charter
Equality
Environment
Directory
IRIF’s mentoring program
Childcare 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
Programs and Languages (PL)
Proofs and programs
Picube (Inria)
PUBLICATIONS (hal)
EVENTS
IRIF events
Algebraic aspects of symbolic dynamics 2026
IRIF Distinguished Talks Series
IRIF days
IRIF and environment group
Pole meetings
SymDynAr Roscoff 2026
Research seminars
Algorithms and complexity
Algorithms and discrete structures
Automata
Enumerative and analytic combinatorics
Formath
Graphs and distributed computing
Non-permanent members’ seminar
Proofs, programs and systems
Verification
Online seminars
Graph Transformation Theory and Applications
One world numeration seminar
Working groups
Graphs and Logic
Higher categories, polygraphs and homotopy
Logic, automata, algebra and games
Programming
Realizability toposes
Semantics
Syntax Meets Semantics
Type theory and homotopy theory
Type theory and realisability
Defences
PhD defences
Habilitation defences
MEDIATION
Fête de la Science
Middle/High school internships
Research profiles
50 Years Exhibitation
Projet QuBOBS (quantum computing explained)
HIGHLIGHTS
Awards and Honors
Software
Grants
International Collaborations
The EPIT Research School
Academics
JOIN US
Visitor program
Research support position
Faculty members
Researchers
Postdocs
Teaching assistants
PhD Studies
Master Internships
Middle/High school internships
INTRANET
Translations of this page
Translations of this page
Français
English
Log In
Online seminars
Graph Transformation Theory and Applications
One world numeration seminar