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.
- 10:00 to 10:50 – Jacques Duparc (Lausanne)
Reductions by relatively continuous relations on the space of finite and infinite sequences of integers
- 11:00 to 11:20 – Coffee Break
- 11:20 to 12:10 – Alessandro Facchini (Warsaw)
The Index and Borel/Wadge Definability Problems for Regular Languages of Infinite Trees
- 12:20 to 14:00 – Lunch Break
- 14:00 to 14:50 – Victor Selivanov (Novosibirsk)
Extending the Wagner hierarchy to k-partitions
- 15:00 to 15:20 – Coffee Break
- 15:20 to 16:10 – Olivier Finkel (Paris)
Logic, Complexity, and Infinite Computations
- 16:20 to 16:40 – Discussion session
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 email@example.com. 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