You are not logged in |
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.
I will show that the conjecture is in general wrong, but that it holds in a special case.
