Seminaria - Instytut Informatyki Analitycznej
Seminaria
Encoding Dependently-Typed Constructions into Simple Type Theory by Anthony Bordg and Adrián Dona Mateo
28.01.2026
Olgierd Zygmunt
Cycle bases with low congestion in minor-excluded graphs
21.01.2026
Ugo Giocanti, Jagiellonian University
Decremental Strongly-Connected Components and Single-Source Reachability in Near-Linear Time
15.01.2026
Andrii Stolitnii
Cycle lengths in graphs of given minimum degree
14.01.2026
Magdalena Prorok, AGH University of Kraków
Lambda calculus with patterns by Jan Klop, Vincent van Oostromd and Roel de Vrijer
14.01.2026
Mateusz Milewski