[TYPES/announce] Workshop on Higher-Order Recursion Schemes & Pushdown Automata

[Paweł Urzyczyn]

Workshop on Higher-Order Recursion Schemes & Pushdown Automata

10-12 March 2010
Paris, France
http://www.liafa.jussieu.fr/~serre/WorkshopSchemes

*** 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 ***

Registration by the 28th of February.
Workshop the 10th (afternoon only), 11th and 12th (morning only) of 
March 2010.

*** Confirmed Speakers ***

Achim Blumensath (Technische Universität Darmstadt)
A Pumping Lemma for Higher-order Pushdown Automata.

Arnaud Carayol (LIGM — Université Paris-Est & CNRS)
Linear Orders in the Pushdown Hierarchy.

Didier Caucal (LIGM — Université Paris-Est & CNRS)
An Extension of the Pushdown Hierarchy.

Bruno Courcelle (Université Bordeaux 1 & Institut Universitaire de France)
Syntactic Tools for Equivalence Problems.

Irène Guessarian (LIAFA & Université Paris 6)
Program schemes: early results about semantics.

Alexander Kartzow (Technische Universität Darmstadt)
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic.

Naoki Kobayashi (Tohoku University)
Types and Recursion Schemes for Higher-Order Program Verification.

Christof Löding (RWTH Aachen)
Finite Set Interpretations and Tree Automatic Structures of Higher Order.

Luke Ong (Oxford University Computing Laboratory)
Recursion Schemes and Collapsible Pushdown Automata.

Sylvain Salvati (INRIA Bordeaux Sud-Ouest, Université de Bordeaux, LaBRI)
Extending Recognizability to the Simply Typed lambda-Calculus.

Géraud Sénizergues (Université Bordeaux 1)
Automata on Free Groups and Regular Sets of Words of Level k.

Olivier Serre (LIAFA — Université Paris 7 & CNRS)
Applications of the Equi-expressivity Theorem.

Colin Stirling (School of Informatics, University of Edinburgh)
To be announced.

Igor Walukiewicz (LaBRI — Université Bordeaux 1 & CNRS)
A Model-Theoretic Approach to Model Checking Recursion Schemes.

*** Registration Fees & Financial Support ***

There will be no registration fee.
We will be able to cover travel and accomodation costs for a limited 
number of
participants (especially students).
For more information on this support, please contact Olivier Serre.

*** Sponsors ***

The workshop is sponsored by the following Research Networking Programmes of
the European Science Foundation:
     - Automata: from Mathematics to Applications (AutoMathA)
     - Games for Design and Verification (GAMES)


*** Organisers ***

Arnaud Carayol (Arnaud.Carayol at univ-mlv.fr)
Luke Ong (lo at comlab.ox.ac.uk)
Olivier Serre (Olivier.Serre at liafa.jussieu.fr)
Paweł Urzyczyn (urzy at mimuw.edu.pl)