Wadge theory and automata, January 28, 2015

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.

Program

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 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

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.