Seminaria - Instytut Informatyki Analitycznej
Seminaria
Improving the performance guarantee (approximation factor) for approximate graph coloring
18.12.2025
Szymon Szulc
From Types to Sets by Local Type Definition in Higher-Order Logic by Kuncar and Popescu
17.12.2025
Szymon Trofimiec
Fine-grained complexity of integer programming with few constraints
17.12.2025
Karol Węgrzycki, Max Planck Institute for Informatics