Workshop sur les schémas récursifs d'ordre supérieur et les automates à pile

Ce workshop sera l'occasion de faire le point sur les avancées récentes, d'initier de nouvelles collaborations et de provoquer l'intérêt de chercheurs extérieurs au domaine. Il aura lieu du 10 au 12 mars 2010. Date limite d'inscription : 28 février 2010