Bartosz Bednarczyk, Stéphane Demri, Raúl Fervari, and Alessio Mansutti. “Modal Logics with Composition on Finite Forests: Expressivity and
Complexity”, accepted at 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020).
COVID-19: All travels are suspended
Due to the COVID-19 pandemic, all trips have been suspended until further notice.