Instytut Informatyki Analitycznej

数学与计算机系 uj-lift-theme.uniwersytet-jagiellonski

Seminaria

Lonely runner conjecture

23.04.2020

Fast Synchronization of Random Automata by Cyril Nicaud

22.04.2020

Synchronizing Automata and the Černý Conjecture

16.04.2020

Online Computation with Untrusted Advice

16.04.2020

Singular value automata and approximate minimization by Borja Balle, Prakash Panangaden and Doina Precup

15.04.2020

Seymour's Second Neighbourhood Conjecture

09.04.2020

Collatz conjecture

09.04.2020

Complexity of translations from resolution to sequent calculus by GISELLE REIS and BRUNO PALEO

08.04.2020

Undirected edge geography

02.04.2020

ARRIVAL game

02.04.2020