Theoretical Foundations of Computer Science

The seminar takes place on Thursday at 15:00 in room 310 (the third building of Tver State University)

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

The list of the previous talks