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.