The LoCo conjecture

Prelegent(ci)

Nathanael Fijalkow

Afiliacja

Uniwersytet Warszawski

Termin

24 czerwca 2015 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

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.

---