| Date: | Thursday, April 24, 2008 |
|---|---|
| Speaker: | Alexey Sniatkov |
| Title: | On decidability of hierarchical generalizations of Semenov arithmetic |
| Speaker: | Alexandr Petrov |
| Title: | On stop problem for extended finite automata |
| Speaker: | Boris Karlov |
| Title: | On categorical grammars of dependences |
| Speaker: | Alexandr Shushunov |
| Title: | On a generalization of automatic structures |