Topics of Interest
Quantitative monadic second order and temporal logic for strings, trees, graphs, texts, traces, etc, and connections to weighted automata. Quantitative computational logics. Algorithms and complexity of quantitative logics. Applications of quantitative logics.