Activity: Visiting an external institution › Visit abroad
Description
A 5-day research visit to Leibniz Universität Hannover. I continued my earlier work with local doctoral student Martin Lück on succinctness of propositional team logics. We made significant progress and made concrete plans to publish a paper.