Delia KESNER

• Coordinates
• Research Interests
• Teaching
• Publications
• PhD students and Post-Docs
• Events
• International Cooperation prize
• Steering Committees
• Standing Committee for Gender Equality in Science

• The International Conference on Formal Structures for Computation and Deduction (FSCD)
• The International Workshop on Higher-Order Rewriting (HOR)
• The GDRI Linear Logic (GDRI-LL)
• The IFIP Working Group 1.6 Rewriting
• The French working group on formal structures for computation and proofs (SCALP) of the GDR IM
• The French working group on Logique, homotopie, catégories (LHC) of the GDR IM
• Ecole de Printemps d'Informatique Théorique (What is EPIT?)