162 views | tracked by 2 users: gauwin, mukeshscssjnu

Workshop on Adding structure to words

(ASTRUW 2010)   Bookmark and Share

Link: http://astruw.dsi.unimi.it/
 
When Nov 14, 2010 - Nov 16, 2010
Where Palazzo Feltrinelli, Gargnano (Brescia),
Submission Deadline TBD
Categories    automata theory   language theory   XML   logic
 

Call For Papers

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)