28 January 2015, Wadge theory and automata, Turin, Italy

The logic group in Turin is pleased to announce a one-day workshop on "Wadge theory and automata". Wadge theory is an area of descriptive set theory dealing with the classification of subsets of reals in terms of their topological complexity. It has strong connections with automata theory, in particular when it comes to classifying omega-regular languages that can be recognized by different types of automata.

The workshop will consist of four talks, by Jacques Duparc (Lausanne), Alessandro Facchini (Warsaw), Victor Selivanov (Novosibirsk) and Olivier Finkel (Paris). The meeting will be concluded by a brief discussion session outlining some open problems and future directions of the area.

More information can be found on the webpage of the workshop: http://www.personalweb.unito.it/luca.mottoros/workshop280115.html