Logic List Mailing Archive

Wadge theory and automata

28 Jan 2015
Turin, Italy

Dear all,

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 take place on January 28th, 2015 at Palazzo Campana in the 
center of Turin, and will consist of four talks. The speakers are 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

Everyone is cordially invited to attend. Please forward this announcement to 
anyone who could be interested in this event.

We will make available modest travel awards to graduate or recent Ph.D. 
students so that they may attend the workshop. To be considered for a travel 
award, please send a letter of application by e-mail at the address 
luca.mottoros@unito.it. The application letter should be brief (preferably one 
page) and should include: (1) your name; (2) your home institution; (3) your 
thesis supervisor?s name; (4) a one-paragraph description of your studies and 
work in logic, and a paragraph indicating why it is important to attend the 
meeting; (5) your estimate of the travel expenses you will incur. The deadline 
for the submission of a letter of application is 09.01.2014.

We hope to see you soon in Turin!

Alessandro Andretta, Raphaël Carroy, Luca Motto Ros and Matteo Viale

-- 
Luca Motto Ros
Università degli Studi di Torino
Dipartimento di Matematica
via Carlo Alberto, 10 - 10123 Torino, Italy

e-mail: luca.mottoros@unito.it
webpage: http://www.personalweb.unito.it/luca.mottoros/
office phone: (+39) 011 670 2905
fax: (+39) 011 670 2878