ASTRUW 2010 - ASTRUW 2010 : Workshop on Adding structure to words

Website astruw.dsi.unimi.it | Edit Freely

Category ASTRUW 2010

Deadline: September 05, 2010 | Date: November 14, 2010-November 16, 2010

Venue/Country: Gargnano, Italy

Updated: 2010-07-31 13:54:27 (GMT+9)

Call For Papers - CFP

The workshop, whose title is inspired by the seminal paper "Adding nested structure to words" by R. Alur and P. Madhusudan, aims to bring together researchers interested in the study of deterministic subclasses of context-free languages defined by using structured alphabets: from parenthesis languages to XML applications, through operator precedence grammars, balanced grammars, visibly pushdown automata and nested words.

Typical topics include: theoretical advances from the point of view of language theory or logic, and applications to program analysis, verification, model checking, XML processing.

ASTRUW workshop's purpose is to assess the state of the art, disseminate recent results, propose open questions and find new directions of research.

We encourage everybody to participate in this workshop and present their contribution. These contributions could describe original works; results submitted or accepted somewhere else, that the authors wish to publicize at ASTRUW; works in progress, on which the authors wish to get feedback at ASTRUW.

The workshop is supported by the ESF programme AutoMathA (Automata: from Mathematics to Applications). Young researchers and students presenting their ideas can apply for free accommodation and meals.

The meeting will be held at Palazzo Feltrinelli, Gargnano (Brescia), Italy.

The organizing and scientific committee

Stefano Crespi Reghizzi (Politecnico di Milano, Italy)

Violetta Lonati (Università degli Studi di Milano, Italy)

Matteo Pradella (IEIIT-CNR, Italy)