Publications

Conference: Computability in Europe: Logic and Theory of Algorithms

2023

• Paweł Parys , Aleksander Wiącek, Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games, Unity of Logic and Computation - 19th Conference on Computability in Europ, Batumi, Georgia, 24 July 2023 - 28 July 2023. See in PBN

2017

• Lorenzo Carlucci, Leszek Kołodziejczyk , Francesco Lepore, Konrad Zdanowski, New Bounds on the Strength of Some Restrictions of Hindman’s Theorem, Computability in Europe 2017: Unveiling Dynamics and Complexity, Turku, Finland, 12 June 2017 - 16 June 2017. See in PBN