The LoCo conjecture

Speaker(s)

Nathanael Fijalkow

Affiliation

Uniwersytet Warszawski

Date

June 24, 2015, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

I will talk about the LoCo conjecture, which has been conjecture by Christof Löding and Thomas Colcombet in 2010. It talks about games with counters, and implies the decidability of the Rabin-Mostowski hierarchy.

I will show that the conjecture is in general wrong, but that it holds in a special case.

---