SAT, 11.07.2020, 14:00-15:00 UTC+2
• Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata
• Cost Automata, Safe Schemes, and Downward Closures
• Computing measures of weak-MSO definable sets of trees
• Single-use automata and transducers for infinite alphabets
• From linear to additive cellular automata
• When is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?