Logic List Mailing Archive

Workshop on Distance Automata and Generalisations

16-18 Nov 2009
Paris, France

Workshop on Distance Automata and Generalisations

Paris, 16 - 18 of November 2009
http://www.liafa.jussieu.fr/~colcombe/Workshop-distance/index.html


Subject:
Hashiguchi's model of distance automata and related models (desert
automata, nested distance desert automata,
B-automata, S-automata and R-automata).

Program:
Apart from the contributed talks and discussions slots, we will have
survey talks by Christof Lding (Aachen), Alex Thomo (Victoria) and by
the organizers: Mikolaj Bojanczyk (Warsaw), Thomas Colcombet (Paris),
Daniel Kirsten (Leipzig).

Submissions:
We invite submissions on the following topics (as well as related fields):
  * results on distance automata and related models
  * applications to language theory
  * applications to logic
  * applications to databases
  * applications to game theory
Submissions in the form of an abstract of at most two pages should be
sent to the organizers, at distance@mimuw.edu.pl

Funding:
The workshop is supported by the ESF programme AutoMathA, as well as
the ESF programme Games. From our limited budget, we will try to
provide funding for participants from countries involved in these
projects.Please refer to the webpage for latest details.

Important dates:
  * submission by 30th of September, 2009
  * notification by 7th of October, 2009
  * registration by the 16th of October, 2009
  * workshop the 16th,17th,18th of November, 2009

Organisers:
  * Mikolaj Bojanczyk (bojan@mimuw.edu.pl)
  * Thomas Colcombet (thomas.colcombet@liafa.jussieu.fr)
  * Daniel Kirsten (daniel.kirsten@gmx.net)