Section: Dissemination

Internship supervision

From 1/03/2006, William Audry (École Normale Supérieure) was an intern in the Parsifal team. He has worked on the theme: Non-commutative logics and operational semantics. Andrew Gacek, a PhD student from the University of Minnesota took a three month internship during the summer of 2006 to work on the Bedwyr system.