Workshop on Higher-Order Recursion Schemes & Pushdown Automata
10-12 March 2010 — Paris, France




News

Subject

The Workshop on Higher-Order Recursion Schemes and Pushdown Automata will be an opportunity to assess and disseminate recent advances in higher-order recursion schemes, higher-order pushdown automata, related models and their applications. It aims to promote interaction and collaboration between experts in these areas, and stimulate interest from researchers in related fields.

Important Dates

Sponsors

The workshop is sponsored by the following Research Networking Programmes of the European Science Foundation:

Organisers

Sponsors:

AutoMathA
AutoMathA Project

AutoMathA

CNRS