PhD Defense : Pierre Kimmel
Pierre Kimmel (Types team) will defend his thesis on Thursday, December 6th at 10am in room B013. His presentation is entitled "Modal extensions of resource logics : expressiveness and calculi". The jury members are : Nicolas Olivetti, Professeur Université Aix-Marseille, LSIS, Marseille Serenella Cerrito, Professeur Université Evry Val d’Essonne, IBISC, Evry David Pym, Professeur University College […]


