Aims & Scope:
The purpose of the meeting is to bring together people interested in nominal sets on one hand, and in automata with data on the other. Recently nominal techniques have found interesting applications in the field of automata, and it seems that several people are approaching similar ideas from different angles. It is time to get together to exchange ideas and problems worth of study, agree on terminology, and in general let the two communities interact a little more.
The main topic of the workshop is applications of nominal sets to the theory of automata, computation and language theory, but presentations on data automata and other computation models without a clear connection to nominal sets, as well as on nominal techniques without an immediate application to automata, are also welcome.
Venue:
The workshop will be held in Kazimierzowski Palace (Brudziński Room) in the main campus of the University of Warsaw.
Registration:
There is no formal registration procedure. If you are interested in attending, send an e-mail to klicvwn@mwveimuw.edu.ptol.
Accommodation:
20 single rooms have been blocked for workshop participants at Hotel Harenda. It is a small hotel conveniently located very close to the workshop venue.
The price per person*night is 285PLN (approx. 65EUR). To get this rate you need to book by 15 January, 2012 and quote the name of the workshop: "Nominal sets meet automata theory".