Delia KESNER

Membre de l'équipe PPS
Membre du Laboratoire IRIF (UMR 8243 du CNRS)
Professeur de l'UFR d'Informatique - Université Paris Diderot
Membre senior de l'Institut Universitaire de France (IUF)
Directrice (France) du Laboratoire Franco-Argentin SINFIN

Coordinates
Publications
Teaching
PhD students and Post-Docs
International Cooperation
Steering Committees
Events
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 of the GDR IM
The french working group on the geometry of computation of the GDR IM
Ecole de Printemps d'Informatique Théorique (What is EPIT?)
My Erdös number is 4.