Précédent : Collaboration avec l'Université de Southampton Remonter : Actions régionales, nationales et internationales Suivant : Collaboration avec l'ENS de Paris
Précédent : Collaboration avec l'Université de Southampton
Remonter : Actions régionales, nationales et internationales
Suivant : Collaboration avec l'ENS de Paris
Participant :
Daniel Hirschkoff.
Daniel Hirschkoff travaille avec Christine Röckl, de la Technische
Universität de Munich (TUM), sur la formalisation de preuves de
bisimulation pour le 
-calcul dans l'assistant à la preuve
Isabelle, développé à la TUM et à Cambridge (Royaume Uni).